Stephan Merz
About
Stephan Merz has authored 29 papers that have received a total of 162 indexed citations.
This includes 19 papers in Computational Theory and Mathematics, 15 papers in Artificial Intelligence and 11 papers in Software. The topics of these papers are Formal Methods in Verification (19 papers), Logic, programming, and type systems (9 papers) and Model-Driven Software Engineering Techniques (8 papers). Stephan Merz is often cited by papers focused on Formal Methods in Verification (19 papers), Logic, programming, and type systems (9 papers) and Model-Driven Software Engineering Techniques (8 papers) and collaborates with scholars based in France, Germany and United States. Stephan Merz's co-authors include Thomas Hocke, Rémi Badonnel, Alexander Knapp, Domingo Mery and Leslie Lamport and has published in prestigious journals such as Hearing Research, Computers & Mathematics with Applications and Theoretical Computer Science.
In The Last Decade
side by side view
Countries citing papers authored by Stephan Merz
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Júlio César Nievola Breakdown of academic impact, for papers by Thomas V. Morris Breakdown of academic impact, for papers by Rahul Kumar Breakdown of academic impact, for papers by Naomi Miller Breakdown of academic impact, for papers by Hitesh Kumar Sharma Breakdown of academic impact, for papers by John Wenninger Breakdown of academic impact, for papers by Mônica Nunes Lima Cat Breakdown of academic impact, for papers by Santiago Matalonga