Michael Ummels

6 papers and 78 indexed citations i.

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 Distributed systems and fault tolerance (2 papers). Michael Ummels is often cited by papers focused on Formal Methods in Verification (3 papers), Game Theory and Applications (3 papers) and Distributed systems and fault tolerance (2 papers) and collaborates with scholars based in Germany, France and The Netherlands. Michael Ummels's co-authors include Patricia Bouyer, Nicolas Markey, Romain Brenguier, Dominik Wojtczak and Wolfgang Thomas and has published in prestigious journals such as Logical Methods in Computer Science.