Tim Quatmann
About
Tim Quatmann is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence.
According to data from OpenAlex, Tim Quatmann has authored 7 papers receiving a total of 63 indexed citations (citations by other indexed papers that have themselves been cited), including 6 papers in Computational Theory and Mathematics, 6 papers in Software and 3 papers in Artificial Intelligence. Recurrent topics in Tim Quatmann’s work include Formal Methods in Verification (6 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 (6 papers), Software Reliability and Analysis Research (4 papers) and Advanced Software Engineering Methodologies (2 papers). Tim Quatmann collaborates with scholars based in Germany, The Netherlands and United States. Tim Quatmann's co-authors include Joost-Pieter Katoen, Sebastian Junges, Matthias Volk, Ralf Wimmer, Nils Jansen, Bernd Becker, Arnd Hartmanns and Erika Ábrahám 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
Co-authorship network of co-authors of Tim Quatmann i
Fields of papers citing papers by Tim Quatmann
Since SpecializationEngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics
This network shows the specialization of papers citing the papers produced by Tim Quatmann. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Tim Quatmann may publish in the future.
Countries citing papers authored by Tim Quatmann
Since SpecializationCitations
This map shows the geographic impact of Tim Quatmann'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 Tim Quatmann with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Tim Quatmann more than expected).
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Panhong Dai Breakdown of academic impact, for papers by Emma Laing Breakdown of academic impact, for papers by Xiaobo Ren Breakdown of academic impact, for papers by Wendy McColskey Breakdown of academic impact, for papers by R. Nisius Breakdown of academic impact, for papers by G. Pierazzini Breakdown of academic impact, for papers by D. Anderson Breakdown of academic impact, for papers by Barbara Konat