Kai Stadtmüller

Countries

This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.

Institutions

• Imperial College London19.2%
• Open University of the Netherlands11%
• University of Kent9.6%
• Karlsruhe University of Applied Sciences8.2%
• Aarhus University6.8%
• University of Chinese Academy of Sciences6.8%
• Other38.4%

Fields

• Computer Science100%

Topics

• Parallel Computing and Optimization Techniques24.7%
• Logic, programming, and type systems20.2%
• Formal Methods in Verification13.5%
• Distributed systems and fault tolerance11.2%
• Software Testing and Debugging Techniques9%
• Security and Verification in Computing4.5%
• Other16.9%