Michael Ummels
About
Michael Ummels has authored 6 papers that have received a total of 78 indexed citations.
This includes 4 papers in Artificial Intelligence, 3 papers in Computer Networks and Communications and 3 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (3 papers), Game Theory and Applications (3 papers) and Logic, Reasoning, and Knowledge (2 papers). Michael Ummels is often cited by papers focused on Formal Methods in Verification (3 papers), Game Theory and Applications (3 papers) and Logic, Reasoning, and Knowledge (2 papers) and collaborates with scholars based in Germany, France and The Netherlands. Michael Ummels's co-authors include Nicolas Markey, Patricia Bouyer, Romain Brenguier, Dominik Wojtczak and Wolfgang Thomas and has published in prestigious journals such as Logical Methods in Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by G. Selvaggi are about Top journals papers by Brenda Iglesias are published in Top journals papers by Shivanand C. Mastiholi are published in Top journals papers by T. Twistington Higgins are published in Top fields papers by R Fortin are about Top fields papers by Helen McLaughlin are about Top authors papers by Zhaohan Daniel Guo are co-authored with Top authors papers by Dean Itsuji Saranillio are co-authored with