Eric Badouel

	2011
28		Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda: Residuation of tropical series: Rationality issues. CDC-ECE 2011: 3855-3861
27		Eric Badouel, Bernard Fotsing, Rodrigue Tchougong: Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers. Electr. Notes Theor. Comput. Sci. 229(5): 39-56 (2011)
26		Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: A Modal Interface Theory for Component-based Design. Fundam. Inform. 108(1-2): 119-149 (2011)
	2009
25		Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone: Why Are Modalities Good for Interface Theories?. ACSD 2009: 119-127
24		Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96
	2008
23		Eric Badouel, Maurice Tchoupé Tchendji: Merging Hierarchically-Structured Documents in Workflow Systems. Electr. Notes Theor. Comput. Sci. 203(5): 3-24 (2008)
	2007
22		Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau: Concurrent Secrets. Discrete Event Dynamic Systems 17(4): 425-446 (2007)
21		Eric Badouel, Jules Chenou, Goulven Guillou: An Axiomatization of the Token Game Based on Petri Algebras. Fundam. Inform. 77(3): 187-215 (2007)
	2005
20		Eric Badouel, Jules Chenou, Goulven Guillou: Petri Algebras. ICALP 2005: 742-754
	2004
19		Eric Badouel, Philippe Darondeau: The synthesis of Petri nets from path-automatic specifications. Inf. Comput. 193(2): 117-135 (2004)
	2003
18		Eric Badouel, Jules Chenou: Nets Enriched over Closed Monoidal Structures. ICATPN 2003: 64-81
17		Eric Badouel, Marisa Llorens, Javier Oliver: Modeling Concurrent Systems: Reconfigurable Nets. PDPTA 2003: 1568-1574
	2002
16		Eric Badouel, Benoît Caillaud, Philippe Darondeau: Distributing Finite Automata Through Petri Net Synthesis. Formal Asp. Comput. 13(6): 447-470 (2002)
	2001
15		Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau: Generalized Automata and Their Net Representations. Unifying Petri Nets 2001: 304-345
	1999
14		Eric Badouel, Philippe Darondeau, Andrew Tokmakoff: Modelling Dynamic Agent Systems with Cooperating Automata. PDPTA 1999: 11-17
13		Eric Badouel, Philippe Darondeau, Jean-Claude Raoult: Context-Free Event Domains are Recognizable. Inf. Comput. 149(2): 134-172 (1999)
	1997
12		Eric Badouel, Philippe Darondeau: Stratified Petri Nets. FCT 1997: 117-128
11		Eric Badouel, Luca Bernardinello, Philippe Darondeau: The Synthesis Problem for Elementary Net Systems is NP-Complete. Theor. Comput. Sci. 186(1-2): 107-134 (1997)
	1996
10		Eric Badouel, Philippe Darondeau: Theory of Regions. Petri Nets 1996: 529-586
	1995
9		Eric Badouel, Philippe Darondeau, Jean-Claude Raoult: Context-Free Event Domains are Recognizable. AMAST 1995: 214-229
8		Eric Badouel, Philippe Darondeau: Dualities Between Nets and Automata Induced by Schizophrenic Objects. Category Theory and Computer Science 1995: 24-43
7		Eric Badouel, Luca Bernardinello, Philippe Darondeau: Polynomial Algorithms for the Synthesis of Bounded Nets. TAPSOFT 1995: 364-378
6		Eric Badouel, Philippe Darondeau: Trace Nets and Process Automata. Acta Inf. 32(7): 647-679 (1995)
	1992
5		Eric Badouel, Philippe Darondeau: Structural Operational Specifications and the Trace Automata. CONCUR 1992: 302-316
4		Eric Badouel, Philippe Darondeau: Trace Nets. REX Workshop 1992: 21-50
	1991
3		Eric Badouel, Philippe Darondeau: On Guarded Recursion. Theor. Comput. Sci. 82(2): 403-408 (1991)
	1989
2		Eric Badouel: Algebraic Closed Theories. MFCS 1989: 155-164
1		Eric Badouel: Terms and Infinite Trees as Monads Over a Signature. TAPSOFT, Vol.1 1989: 89-103

Coauthor Index

1	Marek A. Bednarczyk	[15] [22]
2	Albert Benveniste	[24] [25] [26]
3	Luca Bernardinello	[7] [11]
4	Andrzej M. Borzyszkowski	[22]
5	Anne Bouillard	[28]
6	Benoît Caillaud	[16] [22] [24] [25] [26]
7	Jules Chenou	[18] [20] [21]
8	Philippe Darondeau	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [19] [22] [28]
9	Bernard Fotsing	[27]
10	Goulven Guillou	[20] [21]
11	Jan Komenda	[28]
12	Axel Legay	[24] [26]
13	Marisa Llorens	[17]
14	Javier Oliver	[17]
15	Roberto Passerone	[24] [25] [26]
16	Jean-Baptiste Raclet	[24] [25] [26]
17	Jean-Claude Raoult	[9] [13]
18	Maurice Tchoupé Tchendji	[23]
19	Rodrigue Tchougong	[27]
20	Andrew Tokmakoff	[14]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page