Stefan Haar
About
Stefan Haar has authored 42 papers that have received a total of 479 indexed citations.
This includes 33 papers in Computational Theory and Mathematics, 10 papers in Management Information Systems and 9 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (28 papers), Formal Methods in Verification (26 papers) and Business Process Modeling and Analysis (10 papers). Stefan Haar is often cited by papers focused on Petri Nets in System Modeling (28 papers), Formal Methods in Verification (26 papers) and Business Process Modeling and Analysis (10 papers) and collaborates with scholars based in France, Germany and Italy. Stefan Haar's co-authors include Albert Benveniste, Stefan Schwoon, Claude Jard, Thomas Chatain and Éric Fabre and has published in prestigious journals such as Nature Communications, IEEE Transactions on Automatic Control and Journal of Computer and System Sciences.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Gamal M. Hamad are published in Top authors papers by Ikuo Hyodo are co-authored with Top authors papers by Gyoung Gug Jang are co-authored with Top fields papers by Hazem K. Ghneim are about Top fields papers by Jin Ho Bae are about Top authors papers by Signe Krogstrup are co-authored with Top authors papers by Gérard Picard are co-authored with Top fields papers by Archana Tripathi are about