Éric Badouel
Orcid: 0000-0002-0499-5231Affiliations:
- Inria Rennes - Bretagne Atlantique, IRISA, France
According to our database1,
Éric Badouel
authored at least 40 papers
between 1989 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
0
1
2
3
4
5
1
1
1
2
1
1
1
1
2
1
1
1
1
1
1
1
1
1
1
1
2
2
1
2
1
1
1
1
2
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2019
A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach [Un calcul d'interfaces pour les grammaires attribuées gardées].
ARIMA J., 2019
2018
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018
2017
2016
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016
2015
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-47967-4, 2015
A grammatical approach to data-centric case management in a distributed collaborative environment.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
2014
2013
Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition.
Theor. Comput. Sci., 2013
2012
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012
2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2009
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009
2008
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008
Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008
2007
Fundam. Informaticae, 2007
2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
2004
2003
Modeling Concurrent Systems: Reconfigurable Nets.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
Proceedings of the Applications and Theory of Petri Nets 2003, 2003
2002
Formal Aspects Comput., 2002
2001
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
1999
Modelling Dynamic Agent Systems with Cooperating Automata.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
1997
Theor. Comput. Sci., 1997
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997
1996
1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995
1992
Proceedings of the CONCUR '92, 1992
1991
1989
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989