The SCEAS System
| |||||||

## Search the dblp DataBase
Elisabeth Pelz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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)**[Citation Graph (0, 0)][DBLP]^{2}. Application and Theory of Petri Nets, 1995, pp:103-120 [Conf] - 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] - Hans Fleischhack, Elisabeth Pelz
**Hierarchical Timed High Level Nets and Their Branching Processes.**[Citation Graph (0, 0)][DBLP] ICATPN, 2003, pp:397-416 [Conf] - 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] - 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] - 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] - 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] - Hanna Klaudel, Elisabeth Pelz
**Communication as Unification in the Petri Box Calculus.**[Citation Graph (0, 0)][DBLP] FCT, 1995, pp:303-312 [Conf] - Elisabeth Pelz
**Closure Properties of Deterministic Petri Nets.**[Citation Graph (0, 0)][DBLP] STACS, 1987, pp:371-382 [Conf] - 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] - 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] - Elisabeth Pelz
**Normalization of place/transition-systems preserves net behaviour.**[Citation Graph (0, 0)][DBLP] ITA, 1992, v:26, n:, pp:19-44 [Journal] - 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] - 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] - 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] - 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] **Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.**[Citation Graph (, )][DBLP]**Towards Efficient Verification of Systems with Dynamic Process Creation.**[Citation Graph (, )][DBLP]**An approach to state space reduction for systems with dynamic process creation.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |