Laurent Van Begin

18 papers and 116 indexed citations i.

About

Laurent Van Begin has authored 18 papers that have received a total of 116 indexed citations. This includes 18 papers in Computational Theory and Mathematics, 6 papers in Management Information Systems and 5 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (13 papers), Petri Nets in System Modeling (11 papers) and Business Process Modeling and Analysis (6 papers). Laurent Van Begin is often cited by papers focused on Formal Methods in Verification (13 papers), Petri Nets in System Modeling (11 papers) and Business Process Modeling and Analysis (6 papers) and collaborates with scholars based in Belgium, France and Italy. Laurent Van Begin's co-authors include Jean-François Raskin, Gilles Geeraerts, Giorgio Delzanno, Alain Finkel and Parosh Aziz Abdulla and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Lecture notes in computer science

In The Last Decade

Rankless by CCL
2025