Simon Spies
Active 2019–2025
- 11
- Papers
- 161
- Citations
- 7
- h-index
- 6
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 2 years (2 citations) are not shown (dated before this author's first paper)
Citation sources
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
Fields
- Computer Science96.6%
- Environmental Science0.8%
- Materials Science0.8%
- Medicine0.8%
- Social Sciences0.8%
Topics
- Logic, programming, and type systems31.8%
- Formal Methods in Verification19.7%
- Security and Verification in Computing13.8%
- Distributed systems and fault tolerance9.2%
- Parallel Computing and Optimization Techniques7.2%
- Logic, Reasoning, and Knowledge5.6%
- Other12.8%
Frequent coauthors
- Derek Dreyer8
- Michael Sammler5
- Lennard Gäher4
- Robbert Krebbers4
- Lars Birkedal3
- Joseph Tassarotti2
- Ralf Jung 00022
- Yannick Forster 00022
- Andrea Lattuada 00011
- Armaël Guéneau1
- Daniel Gratzer1
- Deepak Garg 00011
- Emanuele D'Osualdo1
- Haoyi Zeng1
- Hoang-Hai Dang1
- Jeehoon Kang1
- Johannes Hostert1
- Kathrin Stark1
- Neel Krishnaswami1
- Niklas Mück1
- Peter Müller 00011
- Steven Schäfer1
- Youngju Song1
All papers
Loading papers…