litlas
ログインアカウント作成

Martin Suda

1987–2026 年に発表

91
論文数
77,622
被引用数
19
h 指数
32
i10 指数

被引用数

Martin Suda の年別被引用数1988 年: 被引用 1 件1998 年: 被引用 1 件2003 年: 被引用 1 件2004 年: 被引用 2 件2005 年: 被引用 8 件2006 年: 被引用 13 件2007 年: 被引用 12 件2008 年: 被引用 8 件2009 年: 被引用 11 件2010 年: 被引用 29 件2011 年: 被引用 14 件2012 年: 被引用 25 件2013 年: 被引用 32 件2014 年: 被引用 25 件2015 年: 被引用 29 件2016 年: 被引用 33 件2017 年: 被引用 65 件2018 年: 被引用 69 件2019 年: 被引用 92 件2020 年: 被引用 77 件2021 年: 被引用 102 件2022 年: 被引用 65 件2023 年: 被引用 69 件2024 年: 被引用 76 件2025 年: 被引用 74 件2026 年: 被引用 43 件1989〜1997 年は被引用が無いため表示していません1999〜2002 年は被引用が無いため表示していません

引用元

国・地域

この著者を引用した国・地域の世界地図ドイツ: 引用元論文 206 件、この内訳の 17.2%アメリカ合衆国: 引用元論文 154 件、この内訳の 12.9%オーストリア: 引用元論文 128 件、この内訳の 10.7%イギリス: 引用元論文 116 件、この内訳の 9.7%フランス: 引用元論文 69 件、この内訳の 5.8%チェコ: 引用元論文 57 件、この内訳の 4.8%イタリア: 引用元論文 53 件、この内訳の 4.4%中国: 引用元論文 49 件、この内訳の 4.1%オランダ: 引用元論文 48 件、この内訳の 4%スウェーデン: 引用元論文 32 件、この内訳の 2.7%カナダ: 引用元論文 27 件、この内訳の 2.3%スペイン: 引用元論文 24 件、この内訳の 2%
0%17.2%その他 19.4%

機関

分野

  • Computer Science91.9%
  • Physics and Astronomy2.6%
  • Engineering1.5%
  • Social Sciences1%
  • Biochemistry, Genetics and Molecular Biology0.6%
  • Decision Sciences0.6%
  • その他1.8%

トピック

  • 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%
  • その他48.5%

共著者

全論文

検索で開く
  1. SAT Competition 2020

    著者: Nils Froleyks, Marijn Heule, Ashlin Iser, Matti Järvisalo, Martin Suda - Artificial Intelligence, Artif. Intell. 2021 被引用: 83

  2. SPASS Version 3.5

    著者: Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski - Lecture notes in computer science, CADE 2009 被引用: 231

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

    著者: 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 被引用: 47

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

    著者: Giles Reger, Martin Suda, Andrei Voronkov - Lecture notes in computer science, TACAS (1) 2018 被引用: 24

  5. A Higher-Order Vampire (Short Paper)

    著者: Ahmed Bhayat, Martin Suda - Lecture notes in computer science, IJCAR (1) 2024 被引用: 10

  6. Practical quantum key distribution with polarization entangled photons

    著者: 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 被引用: 236

  7. The Vampire Diary

    著者: 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 被引用: 7

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

    著者: Martin Suda - Lecture notes in computer science, IJCAR 2022 被引用: 8

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

    著者: Filip Bártek, Karel Chvalovský, Martin Suda - Lecture notes in computer science, IJCAR (1) 2024 被引用: 7

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

    著者: Anja Petkovic Komel, Michael Rawson, Martin Suda - ArXiv.org, CoRR 2025 被引用: 5

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

    著者: 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 被引用: 5

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

    著者: Uli Sattler, Martin Suda - Lecture notes in computer science, FroCoS 2023 被引用: 5

  13. MizAR 60 for Mizar 50

    著者: Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban - ITP 2023 被引用: 76,311

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

    著者: 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 被引用: 38

  15. New Techniques in Clausal Form Generation

    著者: Giles Reger, Martin Suda, Andrei Voronkov - EPiC series in computing, GCAI 2016 被引用: 29

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

    著者: Giles Reger, Martin Suda, Andrei Voronkov - Lecture notes in computer science, SAT 2016 被引用: 22

  17. Learning Guided Automated Reasoning: A Brief Survey

    著者: 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 被引用: 5

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

    著者: Filip Bártek, Martin Suda - EPiC series in computing, LPAR 2023 被引用: 4

  19. Selecting the Selection

    著者: Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov - Lecture notes in computer science, IJCAR 2016 被引用: 33

  20. Quantum Random Number Generation

    著者: Christian Kollmitzer, Stefan Petscharnig, Martin Suda, Miralem Mehić - Quantum science and technology 2020 被引用: 12

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

    著者: Karel Chvalovský, Jan Jakubuv, Martin Suda, Josef Urban - Lecture notes in computer science, CADE 2019 被引用: 11

  22. Blocked Clauses in First-Order Logic

    著者: Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere - EPiC series in computing, LPAR 2017 被引用: 9

  23. Automated Invention of Strategies and Term Orderings for Vampire

    著者: Jan Jakubuv, Martin Suda, Josef Urban - EPiC series in computing, GCAI 2017 被引用: 6

  24. Neural Precedence Recommender

    著者: Filip Bártek, Martin Suda - Lecture notes in computer science, CADE 2021 被引用: 4