Thomas Baar
About
Thomas Baar has authored 15 papers that have received a total of 124 indexed citations.
This includes 10 papers in Artificial Intelligence, 10 papers in Software and 6 papers in Computational Theory and Mathematics. The topics of these papers are Model-Driven Software Engineering Techniques (9 papers), Advanced Software Engineering Methodologies (8 papers) and Formal Methods in Verification (6 papers). Thomas Baar is often cited by papers focused on Model-Driven Software Engineering Techniques (9 papers), Advanced Software Engineering Methodologies (8 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in Germany, Switzerland and Russia. Thomas Baar's co-authors include Peter H. Schmitt, Reiner Hähnle, Alfred Strohmeier, D. Fuchs and Andreas Roth and has published in prestigious journals such as Lecture notes in computer science, Software & Systems Modeling and Fundamenta Informaticae
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by T. Murböck are co-authored with Top countries impacted by papers by Carolyn Ten Holter Top authors papers by Ilse Schoep are co-authored with Top authors papers by C. M. Foust are co-authored with Top fields papers by Ruth Barral‐Arca are about Top countries impacted by papers by Franciscus Verellen Top fields papers by Henry B. Bigelow are about Top fields papers by Daniel Kasper are about