dblp.uni-trier.dewww.uni-trier.de

Hans Fleischhack Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
13EEChristoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno: Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. SDL Forum 2005: 133-148
2003
12EEElisabeth Pelz, Hans Fleischhack: Compositional High Level Petri Nets with Timing Constraints - A Comparison. ACSD 2003: 132-141
11EEHans Fleischhack, Elisabeth Pelz: Hierarchical Timed High Level Nets and Their Branching Processes. ICATPN 2003: 397-416
2002
10EEHans Fleischhack, Christian Stehno: Computing a Finite Prefix of a Time Petri Net. ICATPN 2002: 163-181
1999
9EEBurkhard Bieber, Hans Fleischhack: Model Checking of Time Petri Nets Based on Partial Order Semantics. CONCUR 1999: 210-225
1998
8EEHans Fleischhack, Bernd Grahlmann: A Compositional Petri Net Semantics for SDL. ICATPN 1998: 144-164
1997
7EEHans Fleischhack, Josef Tapken: An M-Net Semantics for a Real-Time Extension of µSDL. FME 1997: 162-181
1995
6EEEike 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. Application and Theory of Petri Nets 1995: 103-120
5 Anja Gronewold, Hans Fleischhack: Computing Petri Net Languages by Reductions. FCT 1995: 253-262
1992
4EEHans Fleischhack: P-Superfairness in Nets. Application and Theory of Petri Nets 1992: 193-204
1987
3EEKlaus Ambos-Spies, Hans Fleischhack, Hagen Huwig: Diagonalizing over Deterministic Polynomial Time. CSL 1987: 1-16
2 Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig: Diagonalizations over Polynomial Time Computable Sets. Theor. Comput. Sci. 51: 177-204 (1987)
1986
1EEHans Fleischhack: P-Genericity and Strong G-Genericity. MFCS 1986: 341-349

Coauthor Index

1Klaus Ambos-Spies [2] [3]
2Eike Best [6]
3Burkhard Bieber [9]
4Christoph Eichner [13]
5Wojciech Fraczak [6]
6Bernd Grahlmann [8]
7Anja Gronewold [5]
8Richard P. Hopkins [6]
9Hagen Huwig [2] [3]
10Hanna Klaudel [6]
11Roland Meyer [13]
12Elisabeth Pelz [6] [11] [12]
13Ulrik Schrimpf [13]
14Christian Stehno [10] [13]
15Josef Tapken [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)