Edit Profile (opens in new tab) Badouel, Eric Compute Distance To: Compute Author ID: 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 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 C. 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 Open 13 Publications have been cited 153 times in 102 Documents Cited by ▼ Year ▼ Theory of regions. Zbl 0926.68088Badouel, Eric; Darondeau, Philippe 29 1998 Petri net synthesis. Zbl 1351.68003Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe 27 2015 Concurrent secrets. Zbl 1125.93320Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P. 20 2007 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 The synthesis problem for elementary net systems is NP-complete. Zbl 0893.68111Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe 19 1997 Distributing finite automata through Petri net synthesis. Zbl 1017.68062Badouel, Éric; Caillaud, Benoît; Darondeau, P. 11 2002 Trace nets and process automata. Zbl 0831.68067Badouel, Eric; Darondeau, Philippe 10 1995 The synthesis of Petri nets from path-automatic specifications. Zbl 1101.68691Badouel, E.; Darondeau, Ph. 6 2004 On guarded recursion. Zbl 0728.68079Badouel, Eric; Darondeau, Philippe 5 1991 Context-free event domains are recognizable. Zbl 0928.68050Badouel, Eric; Darondeau, Philippe; Raoult, Jean-Claude 2 1999 Attribute grammars as recursion schemes over cyclic representations of zippers. Zbl 1291.68108Badouel, Eric; Fotsing, Bernard; Tchougong, Rodrigue 2 2011 Generalized automata and their net representations. Zbl 1017.68072Badouel, Eric; Bednarczyk, Marek A.; Darondeau, Philippe 1 2001 On the \(\alpha \)-reconstructibility of workflow nets. Zbl 1358.90065Badouel, Eric 1 2012 Petri net synthesis. Zbl 1351.68003Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe 27 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. 20 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. 11 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 29 1998 The synthesis problem for elementary net systems is NP-complete. Zbl 0893.68111Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe 19 1997 Trace nets and process automata. Zbl 0831.68067Badouel, Eric; Darondeau, Philippe 10 1995 On guarded recursion. Zbl 0728.68079Badouel, Eric; Darondeau, Philippe 5 1991 all cited Publications top 5 cited Publications 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 all top 5 Cited in 16 Serials 15 Theoretical Computer Science 12 Discrete Event Dynamic Systems 10 Acta Informatica 8 Information and Computation 7 Automatica 5 Fundamenta Informaticae 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 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 13 Fields 88 Computer science (68-XX) 22 Systems theory; control (93-XX) 6 Operations research, mathematical programming (90-XX) 4 Mathematical logic and foundations (03-XX) 4 Information and communication theory, circuits (94-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-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 Biology and other natural sciences (92-XX) Citations by Year