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 countries impacted by papers by John E. Warnock Top countries impacted by papers by Sarah Maltby Top journals papers by Yuan-Hann Chang are published in Top fields papers by Raviteja Vangara are about Top journals papers by Daniel Kasper are published in Top journals papers by V. Govind are published in Top fields papers by Kai‐D. Bussmann are about Top authors papers by S.R. Mendis are co-authored with