Concepedia

Hagen Völzer

HV

10

Publications

819

Citations

10

H-Index

1997

Active since

Affiliations

IBM Research - Zurich(Current)

IBM (United States)

Eindhoven University of Technology

University of Lübeck

Humboldt-Universität zu Berlin

Hagen Völzer is an author at IBM Research - Zurich specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsSoftware DesignAutomated ReasoningFormal VerificationSoftware EngineeringBusinessManagement

Publications per year

1997–2023

10

Publications

10

The refined process structure tree

Jussi Vanhatalo, Hagen Völzer, Jana Koehler · Data & Knowledge Engineering · 2009 · 276 citations

Tree Language, Engineering, Systems Engineering +5

Analysis on demand: Instantaneous soundness checking of industrial business process models

Dirk Fahland, Cédric Favre, Jana Koehler et al. · Data & Knowledge Engineering · 2011 · 140 citations

Engineering, Industrial Engineering, Verification +13

AI-augmented Business Process Management Systems: A Research Manifesto

Marlon Dumas, Fabiana Fournier, Lior Limonad et al. · ACM Transactions on Management Information Systems · 2023 · 111 citations · Full text

Artificial Intelligence, Engineering, Business Processes +18

Identifying refactoring opportunities in process model repositories

Remco Dijkman, Beat Gfeller, Jochen M. Küster et al. · Information and Software Technology · 2011 · 81 citations

Software Maintenance, Engineering, Code Refactoring +11

Probabilistic event structures and domains

Daniele Varacca, Hagen Völzer, Glynn Winskel · Theoretical Computer Science · 2006 · 68 citations

Probabilistic Ontology, Engineering, Automated Reasoning +5

Rows per page

1–5 of 10