Publications of Eric Badouel

Load the BibTeX file

Academic Journals

1. 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.
2. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. A Modal Interface Theory for Component-based Design. Fundamenta Informaticae, 108(1):119-149, 2011.
3. Eric Badouel, Maurice TchoupéYahya Slimani. Projections et cohérence de vues dans les grammaires algébriques. Revue ARIMA, 8, 2008. download
4. Eric Badouel, Jules Chenou, Gurvan Guillou. An axiomatization of the token game based on Petri algebras. Fundamenta Informaticae, 77(3):187-215, 2007.
5. Eric Badouel, Maurice TchoupéYahya Slimani. Projections et cohérence de vues dans les grammaires algébriques. Revue ARIMA, 2007. download
6. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. Discrete Event Dynamic Systems, 17(4):425-446, December 2007.
7. Eric Badouel, Jules Chenou, Goulven Guillou. An axiomatization of the token game based on Petri algebras. Fundamenta Informaticae, 76:1-30, 2006.
8. Eric Badouel, Philippe Darondeau. The synthesis of Petri nets from path-automatic specifications. Information and Computation, 193:117-135, 2004.
9. Eric Badouel, Benoît Caillaud, Philippe Darondeau. Distributing Finite Automata through Petri Net Synthesis. Journal on Formal Aspects of Computing, 13:447-470, 2002.
10. Eric Badouel, Philippe Darondeau, Jean-Claude Raoult. Context-Free Event Domains are Recognizable. Information and Computation, 149(2):134-172, 1999.

Book Chapters

1. Eric Badouel, Philippe Darondeau, Laure Petrucci. Modular Synthesis of Petri Nets from Regular Languages. In Perspectives in Concurrency Theory (A Festschrift for Thiagarajan), pp. 1-21, Universities Press (India), 2009.
2. Eric Badouel, Philippe Darondeau. Theory of regions. In Lectures on Petri Nets I: Basic Models, Vol. 1491, pp. 529-586, Lecture Notes in Computer Science, Springer, 1999.

International Conferences

1. Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda. Residuation of tropical series: rationality issues. In CDC-ECC, IEEE society (ed.), 2011.
2. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?. In Proc. of the 9th International Conference on Application of Concurrency to System Design (ACSD'09),, Pages 119-127, 2009. download
3. Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Attribute grammars as recursion schemes over cyclic representations of zippers. In Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), Elsevier (ed.), Electronic Notes in Theoretical Computer Science, Pages 37-54, 2008.
4. Eric Badouel, Maurice Tchoupé. Merging Hierarchically-Structured Documents in Workflow Systems. In Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), Elsevier (ed.), Electronic Notes in Theoretical Computer Science, Volume 203, Pages 3-24, June 2008.
5. Eric Badouel, Tchoupé Maurice. Cohérence de vues dans les grammaires algébriques. In Actes du CARI 2006, K. Assogba, Eric Badouel, Y. Slimani (eds.), Pages 115-122, 2006. download
6. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. In 8th Workshop on Discrete Event Systems, WODES'06, S. Lafortune, F. Lin, D. Tilbury (eds.), Ann Arbor, Michigan, USA, July 2006.
7. Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras. In Automata, Languages and Programming, ICALP'2005, L. Caires, G. Italiano, L. Monteiro, C. Palamidessi, M. Yung (eds.), Lecture Notes in Computer Science, Volume 3580, Pages 742-754, 2005.
8. Eric Badouel, Jules Chenou. Les algèbres de Petri commutatives. In 7th African Conference on Research in Computer Science, CARI'04, 2004.
9. Eric Badouel, Jules Chenou. Nets Enriched over Closed Monoidal Structures. In Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, W. van der Aalst, E. Best (eds.), Lecture Notes in Computer Science, Volume 2679, Pages 64-81, Eindhoven, The Netherlands, June 2003.
10. Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau. Generalized Automata and their Net Representations. In Unifying Petri Nets, Advances in Petri Nets, H. Ehrig, G. Juhás, J. Padberg, G. Rozenberg (eds.), Lecture Notes in Computer Science, Volume 2128, Pages 304-345, 2001. download
11. Eric Badouel, Philippe Darondeau, Andrew Tokmakoff. Modelling Dynamic Agents Systems with Cooperating Automata. In PDPTA'99, Pages 11-17, Las Vegas, USA, 1999.

Research Reports

1. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?. Research Report INRIA, No 6899, 2009. download
2. Eric Badouel, Rodrigue Djeumen. Modular Grammars and Splitting of Catamorphisms. Research Report INRIA, No 6313, October 2007. download
3. Eric Badouel, Marcel Tonga. Growing a Domain Specific Language with Split Extensions. Research Report INRIA, No 6314, October 2007. download
4. Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Yet Another Implementation of Attribute Evaluation. Research Report INRIA, No 6315, October 2007. download
5. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. Rapport de recherche INRIA, No 5771, November 2005. download
6. Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras. Research Report INRIA, No 5355, November 2004. download
7. Eric Badouel, Philippe Darondeau. The Petri net synthesis problem for automatic graphs. Research report INRIA Rennes, No 4661, December 2002. download
8. Eric Badouel, Philippe Darondeau, Danièle Quichaud, Andrew Tokmakoff. Modelling Dynamic Agents Systems with Cooperating Automata. Research report IRISA, No 1253, June 1999. download

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.