The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luca Bernardinello: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luca Bernardinello
    Synthesis of Net Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:89-105 [Conf]
  2. Luca Bernardinello, Fiorella de Cindio
    A survey of basic net models and modular net classes. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets: The DEMON Project, 1992, pp:304-351 [Conf]
  3. Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello
    Modular System Development with Pullbacks. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:140-160 [Conf]
  4. Lucia Pomello, Luca Bernardinello
    Formal Tools for Modular System Development. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:77-96 [Conf]
  5. Luca Bernardinello, Lucia Pomello
    A Category of Transition Systems and Its Relations with Orthomodular Posets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:139-148 [Conf]
  6. 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]
  7. Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello
    Modelling Mobility with Petri Hypernets. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:28-44 [Conf]
  8. 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]
  9. Luca Bernardinello, Carlo Ferigato, Lucia Pomello
    An algebraic model of observable properties in distributed systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:637-668 [Journal]

  10. Orthomodular Lattices in Occurrence Nets. [Citation Graph (, )][DBLP]


  11. Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. [Citation Graph (, )][DBLP]


  12. Orthomodular Lattices Induced by the Concurrency Relation [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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