Edit Profile Badouel, Eric Compute Distance To: Compute Author ID: badouel.eric Published as: Badouel, E.; Badouel, Eric; Badouel, Éric Documents Indexed: 26 Publications since 1989, including 2 Books all top 5 Co-Authors 2 single-authored 11 Darondeau, Philippe 3 Caillaud, Benoît 3 Chenou, Jules 2 Bednarczyk, Marek A. 2 Bernardinello, Luca 2 Fotsing, Bernard 2 Guillou, Goulven 2 Hélouët, Loïc 2 Morvan, Christophe 2 Tchougong, Rodrigue 1 Benveniste, Albert 1 Borzyszkowski, Andrzej M. 1 Boucheron, Stéphane Vincent 1 Dicky, Anne 1 Djeumen Djatcha, Rodrigue Aimé 1 Legay, Axel 1 Nkuimi-Jugnia, C. 1 Passerone, Roberto 1 Petit, Antoine 1 Petrucci, Laure 1 Raclet, Jean-Baptiste 1 Raoult, Jean-Claude 1 Rennes, Irisa 1 Santha, Miklos 1 Schlachter, Uli 1 Tchoupé Tchendji, Maurice 1 Weil, Pascal 1 Zeitoun, Marc all top 5 Serials 4 Fundamenta Informaticae 3 Theoretical Computer Science 2 Information and Computation 1 Acta Informatica 1 Formal Aspects of Computing 1 Discrete Event Dynamic Systems 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Fields 25 Computer science (68-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Category theory; homological algebra (18-XX) 1 Mathematical logic and foundations (03-XX) 1 Group theory and generalizations (20-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 13 Publications have been cited 122 times in 88 Documents Cited by ▼ Year ▼ Theory of regions. Zbl 0926.68088Badouel, Eric; Darondeau, Philippe 27 1998 A modal interface theory for component-based design. Zbl 1242.68147Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto 20 2011 Concurrent secrets. Zbl 1125.93320Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P. 18 2007 Petri net synthesis. Zbl 1351.68003Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe 17 2015 The synthesis problem for elementary net systems is NP-complete. Zbl 0893.68111Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe 10 1997 Trace nets and process automata. Zbl 0831.68067Badouel, Eric; Darondeau, Philippe 7 1995 The synthesis of Petri nets from path-automatic specifications. Zbl 1101.68691Badouel, E.; Darondeau, Ph. 6 2004 Distributing finite automata through Petri net synthesis. Zbl 1017.68062Badouel, Éric; Caillaud, Benoît; Darondeau, P. 6 2002 On guarded recursion. Zbl 0728.68079Badouel, Eric; Darondeau, Philippe 5 1991 Attribute grammars as recursion schemes over cyclic representations of zippers. Zbl 1291.68108Badouel, Eric; Fotsing, Bernard; Tchougong, Rodrigue 2 2011 Context-free event domains are recognizable. Zbl 0928.68050Badouel, Eric; Darondeau, Philippe; Raoult, Jean-Claude 2 1999 On the \(\alpha \)-reconstructibility of workflow nets. Zbl 1358.90065Badouel, Eric 1 2012 Generalized automata and their net representations. Zbl 1017.68072Badouel, Eric; Bednarczyk, Marek A.; Darondeau, Philippe 1 2001 Petri net synthesis. Zbl 1351.68003Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe 17 2015 On the \(\alpha \)-reconstructibility of workflow nets. Zbl 1358.90065Badouel, Eric 1 2012 A modal interface theory for component-based design. Zbl 1242.68147Raclet, 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.68108Badouel, Eric; Fotsing, Bernard; Tchougong, Rodrigue 2 2011 Concurrent secrets. Zbl 1125.93320Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P. 18 2007 The synthesis of Petri nets from path-automatic specifications. Zbl 1101.68691Badouel, E.; Darondeau, Ph. 6 2004 Distributing finite automata through Petri net synthesis. Zbl 1017.68062Badouel, Éric; Caillaud, Benoît; Darondeau, P. 6 2002 Generalized automata and their net representations. Zbl 1017.68072Badouel, Eric; Bednarczyk, Marek A.; Darondeau, Philippe 1 2001 Context-free event domains are recognizable. Zbl 0928.68050Badouel, Eric; Darondeau, Philippe; Raoult, Jean-Claude 2 1999 Theory of regions. Zbl 0926.68088Badouel, Eric; Darondeau, Philippe 27 1998 The synthesis problem for elementary net systems is NP-complete. Zbl 0893.68111Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe 10 1997 Trace nets and process automata. Zbl 0831.68067Badouel, Eric; Darondeau, Philippe 7 1995 On guarded recursion. Zbl 0728.68079Badouel, Eric; Darondeau, Philippe 5 1991 all cited Publications top 5 cited Publications 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 all top 5 Cited in 14 Serials 15 Theoretical Computer Science 11 Discrete Event Dynamic Systems 10 Acta Informatica 8 Information and Computation 6 Automatica 4 MSCS. Mathematical Structures in Computer Science 3 Formal Methods in System Design 2 Information Sciences 2 Journal of Computer and System Sciences 2 Journal of Applied Mathematics 1 Journal of Automated Reasoning 1 European Journal of Control 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 12 Fields 74 Computer science (68-XX) 20 Systems theory; control (93-XX) 6 Operations research, mathematical programming (90-XX) 5 Mathematical logic and foundations (03-XX) 4 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year