×
Compute Distance To:
Author ID: badouel.eric Recent zbMATH articles by "Badouel, Eric"
Published as: Badouel, Eric; Badouel, E.; Badouel, Éric
Documents Indexed: 26 Publications since 1989, including 2 Books
Co-Authors: 28 Co-Authors with 24 Joint Publications
490 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 153 times in 102 Documents Cited by Year
Theory of regions. Zbl 0926.68088
Badouel, Eric; Darondeau, Philippe
29
1998
Petri net synthesis. Zbl 1351.68003
Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe
27
2015
Concurrent secrets. Zbl 1125.93320
Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P.
20
2007
A modal interface theory for component-based design. Zbl 1242.68147
Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto
20
2011
The synthesis problem for elementary net systems is NP-complete. Zbl 0893.68111
Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe
19
1997
Distributing finite automata through Petri net synthesis. Zbl 1017.68062
Badouel, Éric; Caillaud, Benoît; Darondeau, P.
11
2002
Trace nets and process automata. Zbl 0831.68067
Badouel, Eric; Darondeau, Philippe
10
1995
The synthesis of Petri nets from path-automatic specifications. Zbl 1101.68691
Badouel, E.; Darondeau, Ph.
6
2004
On guarded recursion. Zbl 0728.68079
Badouel, Eric; Darondeau, Philippe
5
1991
Context-free event domains are recognizable. Zbl 0928.68050
Badouel, Eric; Darondeau, Philippe; Raoult, Jean-Claude
2
1999
Attribute grammars as recursion schemes over cyclic representations of zippers. Zbl 1291.68108
Badouel, Eric; Fotsing, Bernard; Tchougong, Rodrigue
2
2011
Generalized automata and their net representations. Zbl 1017.68072
Badouel, Eric; Bednarczyk, Marek A.; Darondeau, Philippe
1
2001
On the \(\alpha \)-reconstructibility of workflow nets. Zbl 1358.90065
Badouel, Eric
1
2012
Petri net synthesis. Zbl 1351.68003
Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe
27
2015
On the \(\alpha \)-reconstructibility of workflow nets. Zbl 1358.90065
Badouel, Eric
1
2012
A modal interface theory for component-based design. Zbl 1242.68147
Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto
20
2011
Attribute grammars as recursion schemes over cyclic representations of zippers. Zbl 1291.68108
Badouel, Eric; Fotsing, Bernard; Tchougong, Rodrigue
2
2011
Concurrent secrets. Zbl 1125.93320
Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P.
20
2007
The synthesis of Petri nets from path-automatic specifications. Zbl 1101.68691
Badouel, E.; Darondeau, Ph.
6
2004
Distributing finite automata through Petri net synthesis. Zbl 1017.68062
Badouel, Éric; Caillaud, Benoît; Darondeau, P.
11
2002
Generalized automata and their net representations. Zbl 1017.68072
Badouel, Eric; Bednarczyk, Marek A.; Darondeau, Philippe
1
2001
Context-free event domains are recognizable. Zbl 0928.68050
Badouel, Eric; Darondeau, Philippe; Raoult, Jean-Claude
2
1999
Theory of regions. Zbl 0926.68088
Badouel, Eric; Darondeau, Philippe
29
1998
The synthesis problem for elementary net systems is NP-complete. Zbl 0893.68111
Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe
19
1997
Trace nets and process automata. Zbl 0831.68067
Badouel, Eric; Darondeau, Philippe
10
1995
On guarded recursion. Zbl 0728.68079
Badouel, Eric; Darondeau, Philippe
5
1991
all top 5

Cited by 150 Authors

11 Best, Eike
11 Devillers, Raymond
8 Koutny, Maciej
7 Lüttgen, Gerald
7 Pietkiewicz-Koutny, Marta
7 Tredup, Ronny
6 Erofeev, Evgeny
6 Kleijn, Jetty H. C. M.
6 Vogler, Walter
5 Marchand, Hervé
5 Schlachter, Uli
5 Wimmel, Harro
4 Giua, Alessandro
4 Hadjicostis, Christoforos N.
4 Li, Zhiwu
4 Seatzu, Carla
3 Badouel, Eric
3 Darondeau, Philippe
3 Fendrich, Sascha
3 Hennicker, Rolf
3 Lafortune, Stéphane
2 Bujtor, Ferenc
2 Busi, Nadia
2 Cabasino, Maria Paola
2 Fahrenberg, Uli
2 Fanti, Maria Pia
2 Ferigato, Carlo
2 Fotsing, Bernard
2 Gorrieri, Roberto
2 Hujsa, Thomas
2 Jonsson, Bengt
2 Legay, Axel
2 Lin, Feng
2 Lorenz, Robert G.
2 Mangini, Agostino Marcello
2 Mauser, Sebastian
2 Mikulski, Łukasz
2 Pinchinat, Sophie
2 Rosenke, Christian
2 Rozenberg, Grzegorz
2 Sangiovanni-Vincentelli, Alberto L.
2 Tchougong, Rodrigue
2 Tong, Yin
2 van der Aalst, Wil M. P.
2 Wang, Weilin
2 Wu, Yi-Chin
2 Yin, Xiang
1 Aceto, Luca
1 Adobbati, Federica
1 Ahmed, Aishah
1 Balun, Jiří
1 Barcelos, Raphael Julio
1 Barylska, Kamila
1 Basilio, João Carlos
1 Bauer, Sebastian S.
1 Beneš, Nikola
1 Bergenthum, Robin
1 Bernardinello, Luca
1 Berti, Alessandro
1 Bidoit, Michel
1 Bodeveix, Jean-Paul
1 Bozzelli, Laura
1 Bretschneider, Jan
1 Broy, Manfred
1 Cassez, Franck
1 Chalopin, Jérémie
1 Chédor, Sébastien
1 Chen, Wen
1 Chepoi, Victor D.
1 Chilton, Chris
1 Cong, Xuya
1 Damm, Werner
1 de Frutos-Escrig, David
1 De Oliveira Oliveira, Mateus
1 Desel, Jörg
1 Dotoli, Mariagrazia
1 Dubreil, Jérémy
1 Fabre, Eric
1 Fahland, Dirk
1 Falcone, Yliès
1 Fares, Elie
1 Ferrari, Gian Luigi
1 Filali, Mamoun
1 French, Tim
1 Gandelli, Stefano
1 Goltz, Ursula
1 Hales, James
1 He, Wenlong
1 Hélouët, Loïc
1 Hiraishi, Kunihiko
1 Holík, Lukáš
1 Huang, Yisheng
1 Isberner, Malte
1 Jeng, Muder
1 Juhás, Gabriel
1 Keroglou, Christoforos
1 Knapp, Alexander
1 Kobayashi, Koichi
1 Kowal, Matthias
1 Křetínský, Jan
...and 50 more Authors

Citations by Year