The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eric Badouel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eric Badouel, Philippe Darondeau
    Theory of Regions. [Citation Graph (0, 0)][DBLP]
    Petri Nets, 1996, pp:529-586 [Conf]
  2. Eric Badouel, Philippe Darondeau, Jean-Claude Raoult
    Context-Free Event Domains are Recognizable. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:214-229 [Conf]
  3. Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau
    Generalized Automata and Their Net Representations. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:304-345 [Conf]
  4. Eric Badouel, Jules Chenou
    Nets Enriched over Closed Monoidal Structures. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:64-81 [Conf]
  5. Eric Badouel, Philippe Darondeau
    Structural Operational Specifications and the Trace Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:302-316 [Conf]
  6. Eric Badouel, Philippe Darondeau
    Dualities Between Nets and Automata Induced by Schizophrenic Objects. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1995, pp:24-43 [Conf]
  7. Eric Badouel, Philippe Darondeau
    Stratified Petri Nets. [Citation Graph (0, 0)][DBLP]
    FCT, 1997, pp:117-128 [Conf]
  8. Eric Badouel, Jules Chenou, Goulven Guillou
    Petri Algebras. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:742-754 [Conf]
  9. Eric Badouel
    Algebraic Closed Theories. [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:155-164 [Conf]
  10. Eric Badouel, Philippe Darondeau, Andrew Tokmakoff
    Modelling Dynamic Agent Systems with Cooperating Automata. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:11-17 [Conf]
  11. Eric Badouel, Marisa Llorens, Javier Oliver
    Modeling Concurrent Systems: Reconfigurable Nets. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2003, pp:1568-1574 [Conf]
  12. Eric Badouel, Philippe Darondeau
    Trace Nets. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:21-50 [Conf]
  13. Eric Badouel
    Terms and Infinite Trees as Monads Over a Signature. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1989, pp:89-103 [Conf]
  14. Eric Badouel, Luca Bernardinello, Philippe Darondeau
    Polynomial Algorithms for the Synthesis of Bounded Nets. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:364-378 [Conf]
  15. Eric Badouel, Philippe Darondeau
    Trace Nets and Process Automata [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:7, pp:647-679 [Journal]
  16. Eric Badouel, Benoît Caillaud, Philippe Darondeau
    Distributing Finite Automata Through Petri Net Synthesis. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:6, pp:447-470 [Journal]
  17. Eric Badouel, Philippe Darondeau
    The synthesis of Petri nets from path-automatic specifications. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:193, n:2, pp:117-135 [Journal]
  18. Eric Badouel, Philippe Darondeau, Jean-Claude Raoult
    Context-Free Event Domains are Recognizable. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:149, n:2, pp:134-172 [Journal]
  19. Eric Badouel, Luca Bernardinello, Philippe Darondeau
    The Synthesis Problem for Elementary Net Systems is NP-Complete. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:186, n:1-2, pp:107-134 [Journal]
  20. Eric Badouel, Philippe Darondeau
    On Guarded Recursion. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:82, n:2, pp:403-408 [Journal]
  21. Eric Badouel, Jules Chenou, Goulven Guillou
    An Axiomatization of the Token Game Based on Petri Algebras. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:77, n:3, pp:187-215 [Journal]

  22. Why Are Modalities Good for Interface Theories?. [Citation Graph (, )][DBLP]


  23. Modal interfaces: unifying interface automata and modal specifications. [Citation Graph (, )][DBLP]


  24. Merging Hierarchically-Structured Documents in Workflow Systems. [Citation Graph (, )][DBLP]


Search in 0.055secs, Finished in 0.056secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002