Éric Badouel

1.2k total citations
33 papers, 404 citations indexed

About

Éric Badouel is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Management Information Systems. According to data from OpenAlex, Éric Badouel has authored 33 papers receiving a total of 404 indexed citations (citations by other indexed papers that have themselves been cited), including 23 papers in Computational Theory and Mathematics, 19 papers in Artificial Intelligence and 8 papers in Management Information Systems. Recurrent topics in Éric Badouel's work include Formal Methods in Verification (14 papers), Petri Nets in System Modeling (14 papers) and Logic, programming, and type systems (12 papers). Éric Badouel is often cited by papers focused on Formal Methods in Verification (14 papers), Petri Nets in System Modeling (14 papers) and Logic, programming, and type systems (12 papers). Éric Badouel collaborates with scholars based in France, Cameroon and Italy. Éric Badouel's co-authors include Philippe Darondeau, Benoı̂t Caillaud, Marek A. Bednarczyk, Javier Oliver, Jean-Baptiste Raclet, Roberto Passerone, Albert Benveniste, Luca Bernardinello, Axel Legay and Axel Legay and has published in prestigious journals such as Theoretical Computer Science, Information and Computation and Acta Informatica.

In The Last Decade

Éric Badouel

31 papers receiving 386 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Éric Badouel France 11 342 160 129 96 65 33 404
Raymond Devillers Belgium 12 438 1.3× 132 0.8× 182 1.4× 155 1.6× 42 0.6× 75 582
Philippe Schnoebelen France 7 267 0.8× 233 1.5× 50 0.4× 30 0.3× 108 1.7× 20 385
David de Frutos Escrig Spain 10 201 0.6× 102 0.6× 73 0.6× 50 0.5× 37 0.6× 38 258
David K. Probst United States 5 258 0.8× 119 0.7× 40 0.3× 40 0.4× 122 1.9× 25 328
Jamieson M. Cobleigh United States 11 178 0.5× 175 1.1× 82 0.6× 21 0.2× 172 2.6× 18 374
Stefan Schwoon Germany 9 231 0.7× 228 1.4× 68 0.5× 25 0.3× 124 1.9× 20 359
Farhad Mehta Switzerland 3 190 0.6× 197 1.2× 79 0.6× 31 0.3× 133 2.0× 5 333
Laurent Voisin France 3 166 0.5× 163 1.0× 68 0.5× 32 0.3× 127 2.0× 4 301
Ruurd Kuiper Netherlands 10 306 0.9× 272 1.7× 82 0.6× 24 0.3× 105 1.6× 40 417
C. Dutheillet France 6 207 0.6× 22 0.1× 89 0.7× 104 1.1× 36 0.6× 11 287

Countries citing papers authored by Éric Badouel

Since Specialization
Citations

This map shows the geographic impact of Éric Badouel'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 Éric Badouel with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Éric Badouel more than expected).

Fields of papers citing papers by Éric Badouel

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Éric Badouel. 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 Éric Badouel. The network helps show where Éric Badouel may publish in the future.

Co-authorship network of co-authors of Éric Badouel

This figure shows the co-authorship network connecting the top 25 collaborators of Éric Badouel. A scholar is included among the top collaborators of Éric Badouel 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 Éric Badouel. Éric Badouel 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.
Badouel, Éric, et al.. (2020). A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach. INRIA a CCSD electronic archive server. Volume 31 - 2019 - CARI 2018.
2.
Badouel, Éric, et al.. (2013). Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition. Theoretical Computer Science. 480. 1–25. 2 indexed citations
3.
Raclet, Jean-Baptiste, Éric Badouel, Albert Benveniste, et al.. (2011). A Modal Interface Theory for Component-based Design. Fundamenta Informaticae. 108(1-2). 119–149. 41 indexed citations
4.
Badouel, Éric, Anne Bouillard, Philippe Darondeau, & Jan Komenda. (2011). Residuation of tropical series: Rationality issues. ASEP. 7547. 3855–3861. 4 indexed citations
5.
Raclet, Jean-Baptiste, Éric Badouel, Albert Benveniste, Benoı̂t Caillaud, & Roberto Passerone. (2009). Why Are Modalities Good for Interface Theories?. HAL (Le Centre pour la Communication Scientifique Directe). 4085. 119–127. 25 indexed citations
6.
Badouel, Éric, et al.. (2008). Merging Hierarchically-Structured Documents in Workflow Systems. Electronic Notes in Theoretical Computer Science. 203(5). 3–24. 4 indexed citations
7.
Badouel, Éric, et al.. (2007). An Axiomatization of the Token Game Based on Petri Algebras. Fundamenta Informaticae. 77(3). 187–215. 2 indexed citations
8.
Badouel, Éric, et al.. (2004). The synthesis of Petri nets from path-automatic specifications. Information and Computation. 193(2). 117–135. 7 indexed citations
9.
Badouel, Éric, et al.. (2003). Modeling Concurrent Systems: Reconfigurable Nets.. Parallel and Distributed Processing Techniques and Applications. 1568–1574. 8 indexed citations
10.
Badouel, Éric, Benoı̂t Caillaud, & Philippe Darondeau. (2002). Distributing Finite Automata Through Petri Net Synthesis. Formal Aspects of Computing. 13(6). 447–470. 20 indexed citations
11.
Badouel, Éric & Philippe Darondeau. (2002). The Petri net synthesis problem for automatic graphs. HAL (Le Centre pour la Communication Scientifique Directe).
12.
Badouel, Éric, Philippe Darondeau, & Andrew Tokmakoff. (1999). Modelling Dynamic Agent Systems with Cooperating Automata.. OpenGrey (Institut de l'Information Scientifique et Technique). 11–17. 4 indexed citations
13.
Badouel, Éric, et al.. (1999). Context-Free Event Domains Are Recognizable. Information and Computation. 149(2). 134–172. 3 indexed citations
14.
Badouel, Éric & Javier Oliver. (1998). Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems. OpenGrey (Institut de l'Information Scientifique et Technique). 27 indexed citations
15.
Badouel, Éric. (1998). Representations of Reversible Automata and State Graphs of Vector Addition Systems. OpenGrey (Institut de l'Information Scientifique et Technique). 1 indexed citations
16.
Badouel, Éric, Luca Bernardinello, & Philippe Darondeau. (1997). The synthesis problem for elementary net systems is NP-complete. Theoretical Computer Science. 186(1-2). 107–134. 28 indexed citations
17.
Badouel, Éric & Philippe Darondeau. (1996). On the Synthesis of General Petri Nets. OpenGrey (Institut de l'Information Scientifique et Technique). 23 indexed citations
18.
Badouel, Éric & Philippe Darondeau. (1995). Trace nets and process automata. Acta Informatica. 32(7). 647–679. 9 indexed citations
19.
Badouel, Éric & Philippe Darondeau. (1990). A note on guarded recursion. OpenGrey (Institut de l'Information Scientifique et Technique). 1 indexed citations
20.
Badouel, Éric. (1990). Conditional rewrite rules as an algebraic semantics of processes. OpenGrey (Institut de l'Information Scientifique et Technique). 2 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

Breakdown of academic impact, for papers by Raymond Devillers Breakdown of academic impact, for papers by Philippe Schnoebelen Breakdown of academic impact, for papers by David de Frutos Escrig Breakdown of academic impact, for papers by David K. Probst Breakdown of academic impact, for papers by Jamieson M. Cobleigh Breakdown of academic impact, for papers by Stefan Schwoon Breakdown of academic impact, for papers by Farhad Mehta Breakdown of academic impact, for papers by Laurent Voisin Breakdown of academic impact, for papers by Ruurd Kuiper Breakdown of academic impact, for papers by C. Dutheillet
Rankless by CCL
2026