The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Elisabeth Pelz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
    A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:99-110 [Conf]
  2. Elisabeth Pelz, Hans Fleischhack
    Compositional High Level Petri Nets with Timing Constraints - A Comparison. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:132-141 [Conf]
  3. Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
    Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:179-188 [Conf]
  4. Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
    A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:103-120 [Conf]
  5. Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
    M-net Calculus Based Semantics for Triggers. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:306-325 [Conf]
  6. Hans Fleischhack, Elisabeth Pelz
    Hierarchical Timed High Level Nets and Their Branching Processes. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:397-416 [Conf]
  7. Wojciech Fraczak, Elisabeth Pelz
    Improved Implementations via a New Structural Equivalence on Labelled Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:117-135 [Conf]
  8. Michel Parigot, Elisabeth Pelz
    A logical formalism for the study of the infinite behaviour of Petri nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:346-361 [Conf]
  9. Elisabeth Pelz
    Infinitary languages of Petri nets and logical sentences. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1986, pp:224-237 [Conf]
  10. Elisabeth Pelz
    About the concurrent behaviour of EN systems: definability and closure results. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1988, pp:354-373 [Conf]
  11. Hanna Klaudel, Elisabeth Pelz
    Communication as Unification in the Petri Box Calculus. [Citation Graph (0, 0)][DBLP]
    FCT, 1995, pp:303-312 [Conf]
  12. Elisabeth Pelz
    Closure Properties of Deterministic Petri Nets. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:371-382 [Conf]
  13. Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
    M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:10, pp:813-857 [Journal]
  14. Elisabeth Pelz
    Logic Versus Sequential and Concurrent Net Behaviour. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1990, v:26, n:8/9, pp:461-472 [Journal]
  15. Elisabeth Pelz
    Normalization of place/transition-systems preserves net behaviour. [Citation Graph (0, 0)][DBLP]
    ITA, 1992, v:26, n:, pp:19-44 [Journal]
  16. Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz
    An Algebraic Box Calculus. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 2000, v:5, n:2, pp:81-108 [Journal]
  17. Michel Parigot, Elisabeth Pelz
    A Logical Approach of Petri Net Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:39, n:, pp:155-169 [Journal]
  18. Elisabeth Pelz
    On the Complexity of Theories of Permutations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:41, n:, pp:247-269 [Journal]
  19. Elisabeth Pelz, Dietmar Tutsch
    Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:381-401 [Conf]

  20. Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. [Citation Graph (, )][DBLP]


  21. Towards Efficient Verification of Systems with Dynamic Process Creation. [Citation Graph (, )][DBLP]


  22. An approach to state space reduction for systems with dynamic process creation. [Citation Graph (, )][DBLP]


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