Laurent Van Begin
Impact in
- Software top 10%
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
-
- Formal Methods in Verification
- Petri Nets in System Modeling
- semigroups and automata theory
Papers in
-
- Formal Methods in Verification 19
- Petri Nets in System Modeling 12
- semigroups and automata theory 4
-
- Logic, programming, and type systems 5
- Co-authors
- Jean-François Raskin (15 shared papers)Gilles Geeraerts (8 shared papers)Giorgio Delzanno (7 shared papers)Thierry Massart (2 shared papers)Parosh Aziz Abdulla (2 shared papers)Manuel Samuelides (2 shared papers)Alain Finkel (2 shared papers)Alain Finkel (4 shared papers)
In The Last Decade
Laurent Van Begin
22 papers receiving 136 citations
Peers
Comparison fields: 5 of 31
- Software 33
- Computational Theory and Mathematics 132
- Management Information Systems 27
- Hardware and Architecture 13
- Computer Networks and Communications 39
Countries citing papers authored by Laurent Van Begin
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
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-authors
The 10 scholars most cited alongside Laurent Van Begin, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 24 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2005 | 26 | |
| 2 | 2007 | 16 | |
| 3 | 2004 | 15 | |
| 4 | 2007 | 13 | |
| 5 | 2003 | 11 | |
| 6 | 2010 | 10 | |
| 7 | Efficient verification of counting abstractions for parametric systems | 2004 | 9 |
| 8 | 2006 | 6 | |
| 9 | 2004 | 6 | |
| 10 | A counter-example to the minimal coverability tree algorithm | 2005 | 6 |
| 11 | 2007 | 6 | |
| 12 | Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited | 2002 | 5 |
| 13 | 2005 | 5 | |
| 14 | Symbolic Data Structure for Sets of k-uples of Integers | 2007 | 4 |
| 15 | 2005 | 4 | |
| 16 | 2006 | 4 | |
| 17 | On the dynamics of PB systems with volatile membranes | 2007 | 2 |
| 18 | 2005 | 2 | |
| 19 | 2010 | 2 | |
| 20 | Petri Games are Monotonic but Dicult to Decide | 2003 | 1 |
About Laurent Van Begin
Laurent Van Begin is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Software, Management Information Systems and Computer Networks and Communications, having authored 24 papers that have together received 157 indexed citations. Recurring topics across this work include Formal Methods in Verification (19 papers), Petri Nets in System Modeling (12 papers), Logic, programming, and type systems (5 papers), Business Process Modeling and Analysis (5 papers), semigroups and automata theory (4 papers), Software Testing and Debugging Techniques (3 papers), Software Reliability and Analysis Research (3 papers) and Distributed systems and fault tolerance (2 papers). The work is most often cited by research in Software (33 citations), Computational Theory and Mathematics (132 citations), Management Information Systems (27 citations), Hardware and Architecture (13 citations) and Computer Networks and Communications (39 citations). Laurent Van Begin has collaborated with scholars based in Belgium, France and Italy. Frequent co-authors include Jean-François Raskin, Gilles Geeraerts, Giorgio Delzanno, Thierry Massart, Parosh Aziz Abdulla, Manuel Samuelides, Alain Finkel, Alain Finkel, Raymond Devillers and Pierre Ganty. Their work appears in journals such as Theoretical Computer Science, International Journal on Software Tools for Technology Transfer, Natural Computing, Information and Computation and Journal of Computer and System Sciences.
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.