|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 11 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Eric Badouel, Bernard Fotsing, Rodrigue Tchougong |
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
A Modal Interface Theory for Component-based Design. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda |
Residuation of tropical series: Rationality issues. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
Modal interfaces: unifying interface automata and modal specifications. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone |
Why Are Modalities Good for Interface Theories?. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Maurice Tchoupé Tchendji |
Merging Hierarchically-Structured Documents in Workflow Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Jules Chenou, Goulven Guillou |
An Axiomatization of the Token Game Based on Petri Algebras. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau |
Concurrent Secrets. |
Discrete Event Dynamic Systems |
2007 |
DBLP DOI BibTeX RDF |
Concurrency, Computer security, Automata, Supervisory control, Opacity |
| 1 | Eric Badouel, Jules Chenou, Goulven Guillou |
Petri Algebras. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Philippe Darondeau |
The synthesis of Petri nets from path-automatic specifications. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Jules Chenou |
Nets Enriched over Closed Monoidal Structures. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Marisa Llorens, Javier Oliver |
Modeling Concurrent Systems: Reconfigurable Nets. |
PDPTA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Eric Badouel, Benoît Caillaud, Philippe Darondeau |
Distributing Finite Automata Through Petri Net Synthesis. |
Formal Asp. Comput. |
2002 |
DBLP DOI BibTeX RDF |
General Petri nets, Distribution, Synthesis, Finite automata, Regions |
| 1 | Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau |
Generalized Automata and Their Net Representations. |
Unifying Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Philippe Darondeau, Jean-Claude Raoult |
Context-Free Event Domains are Recognizable. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Philippe Darondeau, Andrew Tokmakoff |
Modelling Dynamic Agent Systems with Cooperating Automata. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Eric Badouel, Luca Bernardinello, Philippe Darondeau |
The Synthesis Problem for Elementary Net Systems is NP-Complete. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Philippe Darondeau |
Stratified Petri Nets. |
FCT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Philippe Darondeau |
Theory of Regions. |
Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Philippe Darondeau |
Trace Nets and Process Automata. |
Acta Inf. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Luca Bernardinello, Philippe Darondeau |
Polynomial Algorithms for the Synthesis of Bounded Nets. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Philippe Darondeau, Jean-Claude Raoult |
Context-Free Event Domains are Recognizable. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Philippe Darondeau |
Dualities Between Nets and Automata Induced by Schizophrenic Objects. |
Category Theory and Computer Science |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Philippe Darondeau |
Structural Operational Specifications and the Trace Automata. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Philippe Darondeau |
Trace Nets. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
Trace Automata, Trace Nets, Regions |
| 1 | Eric Badouel, Philippe Darondeau |
On Guarded Recursion. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel |
Terms and Infinite Trees as Monads Over a Signature. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel |
Algebraic Closed Theories. |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")