Computer Science · Physical Sciences
5h-index169citations7works1.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Petri Nets in System Modeling(5), Business Process Modeling and Analysis(4), Formal Methods in Verification(2), Access Control and Trust(2), Quality and Supply Management(1)
Publications7 total
2025· 1 citedOpen Access
Clean Sky – Environmental Impact at Airport Level
2016
Theoretical Computer Science·1996· 62 cited
Information and Computation·1995· 72 cited
Behavioural Aspects of Petri Net
1994· 7 cited
Lecture notes in computer science·1993· 12 cited
Lecture notes in computer science·1992· 15 cited
Frequent Co-authors
H. C. M. Kleijn(4), P. S. Thiagarajan(4), Jordi Pons‐Prats(1), Xavier Prats(1), David de la Torre(1), Eric Soler(1), Michel van Eenige(1), Sudipto Chatterjee(1), Prajwal Shiva Prakasha(1), Patrick Ratei(1), Marko Alder(1), Thierry Lefèbvre(1), Saskia van der Loo(1), Emanuela Peduzzi(1), M.J.A. van Eenige(1), Stefan Kern(1)