Christoph Haase
About
Christoph Haase has authored 21 papers that have received a total of 73 indexed citations.
This includes 19 papers in Computational Theory and Mathematics, 12 papers in Artificial Intelligence and 2 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (16 papers), semigroups and automata theory (8 papers) and Petri Nets in System Modeling (6 papers). Christoph Haase is often cited by papers focused on Formal Methods in Verification (16 papers), semigroups and automata theory (8 papers) and Petri Nets in System Modeling (6 papers) and collaborates with scholars based in United Kingdom, France and Germany. Christoph Haase's co-authors include Stefan Kiefer, Alain Finkel, Stefan Göller, Markus Lohrey and Joël Ouaknine and has published in prestigious journals such as Journal of the ACM, Theoretical Computer Science and Information Processing Letters
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Georgy Kukharev are published in Top authors papers by Gerard Wiegers are co-authored with Top journals papers by B. Dalena are published in Top authors papers by A.D. Ovsyannikov are co-authored with Top countries impacted by papers by Gillen D’Arcy Wood Top authors papers by B. De Sainte Marie are co-authored with Top authors papers by Silvano Marchiori are co-authored with Top journals papers by Jerzy Bartmiński are published in