Laurent Van Begin

593 total citations
24 papers, 157 citations indexed

About

Laurent Van Begin is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Laurent Van Begin has authored 24 papers receiving a total of 157 indexed citations (citations by other indexed papers that have themselves been cited), including 23 papers in Computational Theory and Mathematics, 9 papers in Artificial Intelligence and 6 papers in Software. Recurrent topics in Laurent Van Begin's work include Formal Methods in Verification (19 papers), Petri Nets in System Modeling (12 papers) and Business Process Modeling and Analysis (5 papers). Laurent Van Begin is often cited by papers focused on Formal Methods in Verification (19 papers), Petri Nets in System Modeling (12 papers) and Business Process Modeling and Analysis (5 papers). Laurent Van Begin collaborates with scholars based in Belgium, France and Italy. Laurent Van Begin's co-authors include Jean-François Raskin, Gilles Geeraerts, Giorgio Delzanno, Thierry Massart, Parosh Aziz Abdulla, Alain Finkel, Alain Finkel, Manuel Samuelides, Raymond Devillers and Pierre Ganty and has published in prestigious journals such as Theoretical Computer Science, Journal of Computer and System Sciences and Lecture notes in computer science.

In The Last Decade

Laurent Van Begin

22 papers receiving 136 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Laurent Van Begin Belgium 7 132 41 39 33 27 24 157
Berndt Farwer Germany 7 100 0.8× 66 1.6× 30 0.8× 22 0.7× 29 1.1× 21 128
Prasanna Thati United States 5 118 0.9× 118 2.9× 40 1.0× 46 1.4× 7 0.3× 6 174
Gilles Geeraerts Belgium 7 91 0.7× 38 0.9× 34 0.9× 20 0.6× 8 0.3× 28 127
Thomas Chatain France 5 67 0.5× 36 0.9× 12 0.3× 24 0.7× 22 0.8× 19 128
Roland Meyer Germany 6 59 0.4× 63 1.5× 42 1.1× 36 1.1× 5 0.2× 33 135
Wim Vanhoof Belgium 7 45 0.3× 54 1.3× 13 0.3× 37 1.1× 7 0.3× 20 108
Dirk Taubner Germany 6 100 0.8× 68 1.7× 20 0.5× 21 0.6× 23 0.9× 10 125
Petr Ročkai Czechia 6 71 0.5× 20 0.5× 27 0.7× 51 1.5× 5 0.2× 15 108
Paulo A. S. Veloso Brazil 7 88 0.7× 131 3.2× 42 1.1× 15 0.5× 4 0.1× 51 166
Kamal Lodaya India 6 110 0.8× 84 2.0× 31 0.8× 8 0.2× 6 0.2× 25 136

Countries citing papers authored by Laurent Van Begin

Since Specialization
Citations

This map shows the geographic impact of Laurent Van Begin's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Laurent Van Begin with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Laurent Van Begin more than expected).

Fields of papers citing papers by Laurent Van Begin

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Laurent Van Begin. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Laurent Van Begin. The network helps show where Laurent Van Begin may publish in the future.

Co-authorship network of co-authors of Laurent Van Begin

This figure shows the co-authorship network connecting the top 25 collaborators of Laurent Van Begin. A scholar is included among the top collaborators of Laurent Van Begin based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Laurent Van Begin. Laurent Van Begin is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Abdulla, Parosh Aziz, Giorgio Delzanno, & Laurent Van Begin. (2010). A classification of the expressive power of well-structured transition systems. Information and Computation. 209(3). 248–279. 10 indexed citations
2.
Delzanno, Giorgio & Laurent Van Begin. (2010). On the verification of membrane systems with dynamic structure. Natural Computing. 9(4). 795–818. 2 indexed citations
3.
Ganty, Pierre, Gilles Geeraerts, Jean-François Raskin, & Laurent Van Begin. (2009). Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents. 28(9). 1107–1142. 1 indexed citations
4.
Delzanno, Giorgio & Laurent Van Begin. (2007). On the dynamics of PB systems with volatile membranes. Lecture notes in computer science. 240–256. 2 indexed citations
5.
Geeraerts, Gilles, Jean-François Raskin, & Laurent Van Begin. (2007). Well-structured languages. Acta Informatica. 44(3-4). 249–288. 13 indexed citations
6.
Massart, Thierry, et al.. (2007). On the complexity of partial order trace model checking. Information Processing Letters. 106(3). 120–126. 16 indexed citations
7.
Ganty, Pierre, et al.. (2007). Symbolic Data Structure for Sets of k-uples of Integers. Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles). 4 indexed citations
8.
Geeraerts, Gilles, Jean-François Raskin, & Laurent Van Begin. (2007). ON THE EFFICIENT COMPUTATION OF THE MINIMAL COVERABILITY SET OF PETRI NETS. Lecture notes in computer science. 21(2). 135–113. 1 indexed citations
9.
Finkel, Alain, Gilles Geeraerts, Jean-François Raskin, & Laurent Van Begin. (2006). On theω-language expressive power of extended Petri nets. Theoretical Computer Science. 356(3). 374–386. 6 indexed citations
10.
Geeraerts, Gilles, Jean-François Raskin, & Laurent Van Begin. (2005). Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS. Journal of Computer and System Sciences. 72(1). 180–203. 26 indexed citations
11.
Finkel, Alain, et al.. (2005). About Fast and TReX Accelerations. Electronic Notes in Theoretical Computer Science. 128(6). 87–103. 2 indexed citations
12.
Finkel, Alain, Gilles Geeraerts, Jean-François Raskin, & Laurent Van Begin. (2005). A counter-example to the minimal coverability tree algorithm. Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles). 6 indexed citations
13.
Raskin, Jean-François, Manuel Samuelides, & Laurent Van Begin. (2005). Games for Counting Abstractions. Electronic Notes in Theoretical Computer Science. 128(6). 69–85. 5 indexed citations
14.
Raskin, Jean-François & Laurent Van Begin. (2004). Petri Nets with Non-blocking Arcs are Difficult to Analyze. Electronic Notes in Theoretical Computer Science. 98. 35–55. 6 indexed citations
15.
Begin, Laurent Van & Jean-François Raskin. (2004). Efficient verification of counting abstractions for parametric systems. Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles). 9 indexed citations
16.
Delzanno, Giorgio, Jean-François Raskin, & Laurent Van Begin. (2004). Covering sharing trees: a compact data structure for parameterized verification. International Journal on Software Tools for Technology Transfer. 5(2-3). 268–297. 15 indexed citations
17.
Begin, Laurent Van, et al.. (2003). Petri Games are Monotonic but Dicult to Decide. 36(3). 222–6. 1 indexed citations
18.
Finkel, Alain, et al.. (2002). Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. 5 indexed citations
19.
Delzanno, Giorgio, et al.. (2002). Babylon: An integrated Toolkit for the Specification and Verification of Parameterized Systems. Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles). 1 indexed citations
20.
Massart, Thierry, et al.. (1999). Design of timed systems using a real-time process algebra. Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles). 5. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026