Hagen Völzer

17 papers and 286 indexed citations i.

About

Hagen Völzer has authored 17 papers that have received a total of 286 indexed citations. This includes 9 papers in Computational Theory and Mathematics, 8 papers in Management Information Systems and 6 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (9 papers), Business Process Modeling and Analysis (8 papers) and Formal Methods in Verification (5 papers). Hagen Völzer is often cited by papers focused on Petri Nets in System Modeling (9 papers), Business Process Modeling and Analysis (8 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in Germany, Switzerland and The Netherlands. Hagen Völzer's co-authors include Daniele Varacca, Jochen M. Küster, Dirk Fahland, Glynn Winskel and Ekkart Kindler and has published in prestigious journals such as Journal of the ACM, IEEE Transactions on Software Engineering and Theoretical Computer Science

In The Last Decade

Rankless by CCL
2025