Stephan Merz

2.3k total citations
54 papers, 474 citations indexed

About

Stephan Merz is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Stephan Merz has authored 54 papers receiving a total of 474 indexed citations (citations by other indexed papers that have themselves been cited), including 38 papers in Computational Theory and Mathematics, 30 papers in Artificial Intelligence and 21 papers in Software. Recurrent topics in Stephan Merz's work include Formal Methods in Verification (37 papers), Logic, programming, and type systems (21 papers) and Model-Driven Software Engineering Techniques (17 papers). Stephan Merz is often cited by papers focused on Formal Methods in Verification (37 papers), Logic, programming, and type systems (21 papers) and Model-Driven Software Engineering Techniques (17 papers). Stephan Merz collaborates with scholars based in France, Germany and United States. Stephan Merz's co-authors include Alexander Knapp, François Bourdoncle, Jun Pang, Bernadette Charron-Bost, Domingo Mery, Leila Jemni Ben Ayed, Thomas Hocke, Leslie Lamport, Damien Doligez and Dominique Méry and has published in prestigious journals such as Hearing Research, Computers & Mathematics with Applications and Theoretical Computer Science.

In The Last Decade

Stephan Merz

44 papers receiving 421 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Stephan Merz France 11 295 252 195 110 104 54 474
Hubert Garavel France 12 230 0.8× 385 1.5× 230 1.2× 73 0.7× 142 1.4× 31 551
Alain Finkel France 8 229 0.8× 442 1.8× 157 0.8× 55 0.5× 104 1.0× 30 553
Laura K. Dillon United States 15 290 1.0× 397 1.6× 412 2.1× 163 1.5× 123 1.2× 57 678
Willem-Paul de Roever Germany 6 210 0.7× 177 0.7× 89 0.5× 56 0.5× 81 0.8× 13 293
Pierre Cointe France 12 450 1.5× 80 0.3× 146 0.7× 246 2.2× 188 1.8× 37 629
David A. Watt United Kingdom 11 236 0.8× 111 0.4× 76 0.4× 98 0.9× 41 0.4× 28 329
Frédéric Lang France 7 126 0.4× 169 0.7× 107 0.5× 47 0.4× 66 0.6× 22 274
Wouter Swierstra Netherlands 9 403 1.4× 200 0.8× 72 0.4× 97 0.9× 92 0.9× 41 445
Jan Małuszyński Sweden 13 415 1.4× 247 1.0× 118 0.6× 108 1.0× 87 0.8× 43 527

Countries citing papers authored by Stephan Merz

Since Specialization
Citations

This map shows the geographic impact of Stephan Merz'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 Stephan Merz with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Stephan Merz more than expected).

Fields of papers citing papers by Stephan Merz

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Stephan Merz. 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 Stephan Merz. The network helps show where Stephan Merz may publish in the future.

Co-authorship network of co-authors of Stephan Merz

This figure shows the co-authorship network connecting the top 25 collaborators of Stephan Merz. A scholar is included among the top collaborators of Stephan Merz 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 Stephan Merz. Stephan Merz is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Merz, Stephan, et al.. (2023). Evaluative audiometry after cochlear implant provision. HNO. 72(S1). 56–62. 8 indexed citations
2.
Merz, Stephan, et al.. (2023). Zur evaluierenden Audiometrie nach Cochlea-Implantat-Versorgung. HNO. 71(10). 669–677. 4 indexed citations
3.
Badonnel, Rémi, et al.. (2018). Generation of SDN policies for protecting android environments based on automata learning. HAL (Le Centre pour la Communication Scientifique Directe). 1575. 1–7. 1 indexed citations
4.
Merz, Stephan, et al.. (2018). Encoding TLA+ into unsorted and many-sorted first-order logic. Science of Computer Programming. 158. 3–20. 2 indexed citations
5.
Merz, Stephan, et al.. (2017). A machine-checked correctness proof for Pastry. Science of Computer Programming. 158. 64–80. 1 indexed citations
6.
Merz, Stephan, et al.. (2017). Contralateral electrically-evoked suppression of transient evoked otoacoustic emissions in single-sided deaf patients. Hearing Research. 345. 52–56. 3 indexed citations
7.
Merz, Stephan, et al.. (2014). Formal methods and software engineering : 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings. Springer eBooks. 1 indexed citations
8.
Doligez, Damien, et al.. (2012). TLA+ Proofs. Formal Methods. 7436. 147–154. 5 indexed citations
9.
Fontaine, Pascal, Stephan Merz, & Bruno Woltzenlogel Paleo. (2010). Exploring and Exploiting Algebraic and Graphical Properties of Resolution. HAL (Le Centre pour la Communication Scientifique Directe).
10.
Mery, Domingo & Stephan Merz. (2010). Proceedings of the 8th international conference on Integrated formal methods. 8 indexed citations
11.
Zhang, Hehua, Stephan Merz, & Ming Gu. (2010). Specifying and verifying PLC systems with TLA+ : A case study. Computers & Mathematics with Applications. 60(3). 695–705. 4 indexed citations
12.
Charron-Bost, Bernadette & Stephan Merz. (2009). Formal Verification of a Consensus Algorithm in the Heard-Of Model. HAL (Le Centre pour la Communication Scientifique Directe). 3(2). 273–303. 11 indexed citations
13.
Chaudhuri, Kaustuv, Damien Doligez, Leslie Lamport, & Stephan Merz. (2008). A TLA+ Proof System. ArXiv.org. 418. 17–37. 6 indexed citations
14.
Merz, Stephan, et al.. (2005). Proving the Correctness of Disk Paxos.. 2005. 10 indexed citations
15.
Mery, Domingo, et al.. (2005). DIXIT: a Graphical Toolkit for Predicate Abstractions. HAL (Le Centre pour la Communication Scientifique Directe). 39–48. 3 indexed citations
16.
Knapp, Alexander, et al.. (2005). Specification and refinement of mobile systems in MTLA and mobile UML. Theoretical Computer Science. 351(2). 184–202. 9 indexed citations
17.
Merz, Stephan. (2001). Model checking: a tutorial overview. Lecture notes in computer science. 3–38. 26 indexed citations
18.
Knapp, Alexander, et al.. (2001). Model Checking UML State Machines and Collaborations. Electronic Notes in Theoretical Computer Science. 55(3). 357–369. 99 indexed citations
19.
Abadi, Martı́n & Stephan Merz. (1996). On TLA as a logic. 235–271. 6 indexed citations
20.
Abadi, Martı́n, Leslie Lamport, & Stephan Merz. (1994). A TLA Solution to the RPC-Memory Specification Problem.. 21–66.

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

Breakdown of academic impact, for papers by Hubert Garavel Breakdown of academic impact, for papers by Alain Finkel Breakdown of academic impact, for papers by Laura K. Dillon Breakdown of academic impact, for papers by Willem-Paul de Roever Breakdown of academic impact, for papers by Pierre Cointe Breakdown of academic impact, for papers by David A. Watt Breakdown of academic impact, for papers by Frédéric Lang Breakdown of academic impact, for papers by Wouter Swierstra Breakdown of academic impact, for papers by Jan Małuszyński
Rankless by CCL
2026