Tim Quatmann
About
Tim Quatmann has authored 6 papers that have received a total of 50 indexed citations.
This includes 5 papers in Computational Theory and Mathematics, 5 papers in Software and 3 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (5 papers), Software Reliability and Analysis Research (4 papers) and Advanced Software Engineering Methodologies (2 papers). Tim Quatmann is often cited by papers focused on Formal Methods in Verification (5 papers), Software Reliability and Analysis Research (4 papers) and Advanced Software Engineering Methodologies (2 papers) and collaborates with scholars based in Germany, The Netherlands and United States. Tim Quatmann's co-authors include Joost-Pieter Katoen, Sebastian Junges, Bernd Becker, Nils Jansen and Ralf Wimmer and has published in prestigious journals such as Journal of Automated Reasoning, International Journal on Software Tools for Technology Transfer and Formal Methods in System Design
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Courtney M. Currier Top journals papers by Živile Riispere are published in Top fields papers by C. Bardak are about Top authors papers by Marta Tanzanu are co-authored with Top journals papers by Narimantas Evaldas Samalavičius are published in Top journals papers by Maura K. Lash are published in Top countries impacted by papers by Diana Hardie Top authors papers by George Gristede are co-authored with