Martin Suda

1.3k total citations
60 papers, 350 citations indexed

About

Martin Suda is a scholar working on Artificial Intelligence, Atomic and Molecular Physics, and Optics and Computational Theory and Mathematics. According to data from OpenAlex, Martin Suda has authored 60 papers receiving a total of 350 indexed citations (citations by other indexed papers that have themselves been cited), including 27 papers in Artificial Intelligence, 20 papers in Atomic and Molecular Physics, and Optics and 13 papers in Computational Theory and Mathematics. Recurrent topics in Martin Suda's work include Logic, programming, and type systems (13 papers), Nuclear Physics and Applications (11 papers) and Formal Methods in Verification (11 papers). Martin Suda is often cited by papers focused on Logic, programming, and type systems (13 papers), Nuclear Physics and Applications (11 papers) and Formal Methods in Verification (11 papers). Martin Suda collaborates with scholars based in Austria, Czechia and United Kingdom. Martin Suda's co-authors include H. Rauch, Otto J. Eder, Marijn J. H. Heule, Matti Järvisalo, H. Stiller, Giles Reger, Momtchil Peev, Андрей Воронков, Andreas Poppe and Michael Nölle and has published in prestigious journals such as Physical Review A, Artificial Intelligence and Physics Letters A.

In The Last Decade

Martin Suda

56 papers receiving 331 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Martin Suda Austria	10	149	138	66	64	57	60	350
Christian Krause Germany	11	48 0.3×	97 0.7×	16 0.2×	33 0.5×	15 0.3×	40	386
Yuxin Wang China	15	150 1.0×	286 2.1×	46 0.7×	40 0.6×	8 0.1×	57	603
A. V. Vasil’ev Russia	12	273 1.8×	39 0.3×	63 1.0×	14 0.2×	19 0.3×	65	448
Ondřej Čertı́k United States	10	16 0.1×	124 0.9×	6 0.1×	53 0.8×	26 0.5×	20	280
M. Williams United States	10	85 0.6×	67 0.5×	24 0.4×	24 0.4×	11 0.2×	24	724
Martti M. Salomaa Finland	14	573 3.8×	526 3.8×	19 0.3×	23 0.4×	217 3.8×	31	887
Akel Hashim United States	12	201 1.3×	182 1.3×	38 0.6×	30 0.5×	13 0.2×	26	344
A. Aurisano United States	6	92 0.6×	26 0.2×	35 0.5×	27 0.4×	10 0.2×	13	407
C.H. Vincent United Kingdom	9	52 0.3×	35 0.3×	51 0.8×	24 0.4×	33 0.6×	58	268
Miwako Tsuji Japan	10	46 0.3×	47 0.3×	17 0.3×	54 0.8×	27 0.5×	38	322

Countries citing papers authored by Martin Suda

Since Specialization

Citations

This map shows the geographic impact of Martin Suda's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Martin Suda with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Martin Suda more than expected).

Fields of papers citing papers by Martin Suda

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Martin Suda. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Martin Suda. The network helps show where Martin Suda may publish in the future.

Co-authorship network of co-authors of Martin Suda

This figure shows the co-authorship network connecting the top 25 collaborators of Martin Suda. A scholar is included among the top collaborators of Martin Suda based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Martin Suda. Martin Suda is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Treimer, W., Frank Haußer, & Martin Suda. (2024). Computerized simulation of 2-dimensional phase contrast images using spiral phase plates in neutron interferometry. Zeitschrift für Naturforschung A. 79(9). 873–880. 1 indexed citations

Suda, Martin, Lukáš Chrpa, Dominik Šafránek, et al.. (2024). Planning Domain Model Acquisition from State Traces without Action Parameters. 812–822.

Heule, Marijn J. H., et al.. (2021). SAT Competition 2020. Artificial Intelligence. 301. 103572–103572. 14 indexed citations

Suda, Martin, et al.. (2020). Layered Clause Selection for Saturation-based Theorem Proving. Zenodo (CERN European Organization for Nuclear Research). 34–52.

Heule, Marijn J. H., Matti Järvisalo, & Martin Suda. (2019). SAT Competition 2018. Työväentutkimus Vuosikirja. 11(1). 133–154. 13 indexed citations

Heule, Marijn J. H., Matti Järvisalo, & Martin Suda. (2019). Proceedings of SAT Race 2019: Solver and Benchmark Descriptions. 6 indexed citations

Beyersdorff, Olaf, et al.. (2018). Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF. Journal of Automated Reasoning. 63(3). 597–623. 5 indexed citations

Heule, Marijn J. H., Matti Järvisalo, & Martin Suda. (2018). Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions. 10 indexed citations

Suda, Martin, et al.. (2018). Blocked Clauses in First-Order Logic. EPiC series in computing. 46. 31–12. 1 indexed citations

10.

Suda, Martin, et al.. (2018). A Theory of Satisfiability-Preserving Proofs in SAT Solving. EPiC series in computing. 57. 583–561. 1 indexed citations

11.

Reger, Giles, Martin Suda, & Андрей Воронков. (2018). New Techniques in Clausal Form Generation. EPiC series in computing. 41. 11. 8 indexed citations

12.

Zawisky, M., et al.. (2015). Neutron interferometric measurement and calculations of a phase shift induced by Laue transmission. Acta Crystallographica Section A Foundations and Advances. 71(5). 534–541. 1 indexed citations

13.

Suda, Martin. (2014). Property Directed Reachability for Automated Planning. Journal of Artificial Intelligence Research. 50. 265–319. 14 indexed citations

14.

Zawisky, M., et al.. (2009). A neutron interferometric measurement of a phase shift induced by Laue transmission. Acta Crystallographica Section A Foundations of Crystallography. 66(1). 17–21. 7 indexed citations

15.

Suda, Martin, Thomas Herbst, & Andreas Poppe. (2006). Simulating phase coding in quantum cryptography: influence of chromatic dispersion. The European Physical Journal D. 42(1). 139–145. 1 indexed citations

16.

Almeder, Christian, et al.. (1998). Modelling of the Human Arterial Network for Preoperative Predictions. 313–315. 1 indexed citations

17.

Almeder, Christian, et al.. (1998). Interaktive Beratungssoftware für Gefäßoperationen.. 125(6). 287–300. 1 indexed citations

18.

Suda, Martin. (1995). Wigner function in neutron interferometry. Quantum and Semiclassical Optics Journal of the European Optical Society Part B. 7(5). 901–916. 2 indexed citations

19.

Eder, Otto J., et al.. (1979). The structure factor of liquid nickel at 1873K. Journal of Physics F Metal Physics. 9(7). 1215–1222. 9 indexed citations

20.

Eder, Otto J., et al.. (1978). On the fourier transformation of the liquid structure factor. Nuclear Instruments and Methods. 154(1). 165–168. 7 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact