×

zbMATH — the first resource for mathematics

Badouel, Eric

Compute Distance To:
Author ID: badouel.eric Recent zbMATH articles by "Badouel, Eric"
Published as: Badouel, E.; Badouel, Eric; Badouel, Éric
Documents Indexed: 26 Publications since 1989, including 2 Books

Publications by Year

Citations contained in zbMATH

13 Publications have been cited 122 times in 88 Documents Cited by Year
Theory of regions. Zbl 0926.68088
Badouel, Eric; Darondeau, Philippe
27
1998
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
Concurrent secrets. Zbl 1125.93320
Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P.
18
2007
Petri net synthesis. Zbl 1351.68003
Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe
17
2015
The synthesis problem for elementary net systems is NP-complete. Zbl 0893.68111
Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe
10
1997
Trace nets and process automata. Zbl 0831.68067
Badouel, Eric; Darondeau, Philippe
7
1995
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.
6
2002
On guarded recursion. Zbl 0728.68079
Badouel, Eric; Darondeau, Philippe
5
1991
Attribute grammars as recursion schemes over cyclic representations of zippers. Zbl 1291.68108
Badouel, Eric; Fotsing, Bernard; Tchougong, Rodrigue
2
2011
Context-free event domains are recognizable. Zbl 0928.68050
Badouel, Eric; Darondeau, Philippe; Raoult, Jean-Claude
2
1999
On the \(\alpha \)-reconstructibility of workflow nets. Zbl 1358.90065
Badouel, Eric
1
2012
Generalized automata and their net representations. Zbl 1017.68072
Badouel, Eric; Bednarczyk, Marek A.; Darondeau, Philippe
1
2001
Petri net synthesis. Zbl 1351.68003
Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe
17
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.
18
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.
6
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
27
1998
The synthesis problem for elementary net systems is NP-complete. Zbl 0893.68111
Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe
10
1997
Trace nets and process automata. Zbl 0831.68067
Badouel, Eric; Darondeau, Philippe
7
1995
On guarded recursion. Zbl 0728.68079
Badouel, Eric; Darondeau, Philippe
5
1991
all top 5

Cited by 137 Authors

10 Best, Eike
8 Devillers, Raymond
8 Lüttgen, Gerald
8 Vogler, Walter
6 Kleijn, Jetty H. C. M.
6 Koutny, Maciej
6 Pietkiewicz-Koutny, Marta
5 Marchand, Hervé
5 Schlachter, Uli
4 Giua, Alessandro
4 Hadjicostis, Christoforos N.
4 Li, Zhiwu
4 Seatzu, Carla
4 Wimmel, Harro
3 Badouel, Eric
3 Bujtor, Ferenc
3 Darondeau, Philippe
3 Fendrich, Sascha
3 Lafortune, Stéphane
2 Busi, Nadia
2 Cabasino, Maria Paola
2 Erofeev, Evgeny
2 Fahrenberg, Uli
2 Fanti, Maria Pia
2 Fotsing, Bernard
2 Gorrieri, Roberto
2 Hennicker, Rolf
2 Jonsson, Bengt
2 Legay, Axel
2 Lin, Feng
2 Lorenz, Robert G.
2 Mangini, Agostino Marcello
2 Mauser, Sebastian
2 Pinchinat, Sophie
2 Rozenberg, Grzegorz
2 Tchougong, Rodrigue
2 Tong, Yin
2 Tredup, Ronny
2 Wang, Weilin
2 Wu, Yi-Chin
2 Yin, Xiang
1 Aceto, Luca
1 Barylska, Kamila
1 Bauer, Sebastian S.
1 Beneš, Nikola
1 Bergenthum, Robin
1 Bernardinello, Luca
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 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 Ferigato, Carlo
1 Ferrari, Gian Luigi
1 Filali, Mamoun
1 French, Tim
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 Hujsa, Thomas
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
1 Kwiatkowska, Marta Z.
1 Larsen, Kim Guldstrand
1 Leemans, Sander J. J.
1 Lefaucheux, Engel
1 Lefebvre, Dimitri
1 Li, Shaoyuan
1 Li, Zhaojian
1 Lochau, Malte
1 Massuthe, Peter
1 Mikulski, Łukasz
1 Møller, Mikael Harkjær
1 Montanari, Ugo G.
1 Morvan, Christophe
...and 37 more Authors

Citations by Year