litlas
Log inCreate account

Martin Suda

Active 1987–2026

91
Papers
77,622
Citations
19
h-index
32
i10-index

Citations

Citations per year for Martin Suda1988: 1 citations1998: 1 citations2003: 1 citations2004: 2 citations2005: 8 citations2006: 13 citations2007: 12 citations2008: 8 citations2009: 11 citations2010: 29 citations2011: 14 citations2012: 25 citations2013: 32 citations2014: 25 citations2015: 29 citations2016: 33 citations2017: 65 citations2018: 69 citations2019: 92 citations2020: 77 citations2021: 102 citations2022: 65 citations2023: 69 citations2024: 76 citations2025: 74 citations2026: 43 citations1989–1997: no citations, so these years are not shown1999–2002: no citations, so these years are not shown

Citation sources

Countries

World map of the countries and regions citing this authorGermany: 206 citing papers, 17.2% of this breakdownUnited States: 154 citing papers, 12.9% of this breakdownAustria: 128 citing papers, 10.7% of this breakdownUnited Kingdom: 116 citing papers, 9.7% of this breakdownFrance: 69 citing papers, 5.8% of this breakdownCzechia: 57 citing papers, 4.8% of this breakdownItaly: 53 citing papers, 4.4% of this breakdownChina: 49 citing papers, 4.1% of this breakdownNetherlands: 48 citing papers, 4% of this breakdownSweden: 32 citing papers, 2.7% of this breakdownCanada: 27 citing papers, 2.3% of this breakdownSpain: 24 citing papers, 2% of this breakdown
0%17.2%Other 19.4%

Institutions

Fields

  • Computer Science91.9%
  • Physics and Astronomy2.6%
  • Engineering1.5%
  • Social Sciences1%
  • Biochemistry, Genetics and Molecular Biology0.6%
  • Decision Sciences0.6%
  • Other1.8%

Topics

  • Logic, programming, and type systems15.1%
  • Formal Methods in Verification14.3%
  • Logic, Reasoning, and Knowledge9.1%
  • Quantum Information and Cryptography5.3%
  • Software Testing and Debugging Techniques4%
  • Quantum Computing Algorithms and Architecture3.7%
  • Other48.5%

Coauthors

All papers

Open in search
  1. SAT Competition 2020

    Authors: Nils Froleyks, Marijn Heule, Ashlin Iser, Matti Järvisalo, Martin Suda - Artificial Intelligence, Artif. Intell. 2021 cited by 83

  2. SPASS Version 3.5

    Authors: Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski - Lecture notes in computer science, CADE 2009 cited by 231

  3. TOOLympics 2019: An Overview of Competitions in Formal Methods

    Authors: Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada - Lecture notes in computer science, TACAS (3) 2019 cited by 47

  4. Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning

    Authors: Giles Reger, Martin Suda, Andrei Voronkov - Lecture notes in computer science, TACAS (1) 2018 cited by 24

  5. A Higher-Order Vampire (Short Paper)

    Authors: Ahmed Bhayat, Martin Suda - Lecture notes in computer science, IJCAR (1) 2024 cited by 10

  6. Practical quantum key distribution with polarization entangled photons

    Authors: Andreas Poppe, Alessandro Fedrizzi, Rupert Ursin, H. R. B�hm, T. Lor�nser, O. Maurhardt, Momtchil Peev, Martin Suda, Christian Kurtsiefer, Harald Weinfurter, Thomas Jennewein, A. Zeilinger - Optics Express 2004 cited by 236

  7. The Vampire Diary

    Authors: Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov - Lecture notes in computer science, CAV (3) 2025 cited by 7

  8. Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description)

    Authors: Martin Suda - Lecture notes in computer science, IJCAR 2022 cited by 8

  9. Regularization in Spider-Style Strategy Discovery and Schedule Construction

    Authors: Filip Bártek, Karel Chvalovský, Martin Suda - Lecture notes in computer science, IJCAR (1) 2024 cited by 7

  10. Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo

    Authors: Anja Petkovic Komel, Michael Rawson, Martin Suda - ArXiv.org, CoRR 2025 cited by 5

  11. Planning Domain Model Acquisition from State Traces without Action Parameters

    Authors: Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Stephan Gocht, Filip Dvorák, Roman Barták, G. Michael Youngblood - TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 cited by 5

  12. Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

    Authors: Uli Sattler, Martin Suda - Lecture notes in computer science, FroCoS 2023 cited by 5

  13. MizAR 60 for Mizar 50

    Authors: Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban - ITP 2023 cited by 76,311

  14. A NOVEL PROTOCOL-AUTHENTICATION ALGORITHM RULING OUT A MAN-IN-THE MIDDLE ATTACK IN QUANTUM CRYPTOGRAPHY

    Authors: Momtchil Peev, Michael Nölle, O. Maurhardt, Thomas Lorünser, Martin Suda, Andreas Poppe, Rupert Ursin, Alessandro Fedrizzi, A. Zeilinger - International Journal of Quantum Information 2004 cited by 38

  15. New Techniques in Clausal Form Generation

    Authors: Giles Reger, Martin Suda, Andrei Voronkov - EPiC series in computing, GCAI 2016 cited by 29

  16. Finding Finite Models in Multi-Sorted First Order Logic

    Authors: Giles Reger, Martin Suda, Andrei Voronkov - Lecture notes in computer science, SAT 2016 cited by 22

  17. Learning Guided Automated Reasoning: A Brief Survey

    Authors: Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban - Lecture notes in computer science, Logics and Type Systems in Theory and Practice 2024 cited by 5

  18. How Much Should This Symbol Weigh? A GNN-Advised Clause Selection

    Authors: Filip Bártek, Martin Suda - EPiC series in computing, LPAR 2023 cited by 4

  19. Selecting the Selection

    Authors: Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov - Lecture notes in computer science, IJCAR 2016 cited by 33

  20. Quantum Random Number Generation

    Authors: Christian Kollmitzer, Stefan Petscharnig, Martin Suda, Miralem Mehić - Quantum science and technology 2020 cited by 12

  21. ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E

    Authors: Karel Chvalovský, Jan Jakubuv, Martin Suda, Josef Urban - Lecture notes in computer science, CADE 2019 cited by 11

  22. Blocked Clauses in First-Order Logic

    Authors: Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere - EPiC series in computing, LPAR 2017 cited by 9

  23. Automated Invention of Strategies and Term Orderings for Vampire

    Authors: Jan Jakubuv, Martin Suda, Josef Urban - EPiC series in computing, GCAI 2017 cited by 6

  24. Neural Precedence Recommender

    Authors: Filip Bártek, Martin Suda - Lecture notes in computer science, CADE 2021 cited by 4