Hans Fleischhack

Publication Activity (10 Years)

Years Active: 1986-2005
Publications (10 Years): 0

Technical University of Dortmund, Germany (PHD)

Education History

Technical University of Dortmund, Germany

PHD

Publications

Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. SDL Forum (2005)
Elisabeth Pelz, Hans Fleischhack
Compositional High Level Petri Nets with Timing Constraints - A Comparison. ACSD (2003)
Hans Fleischhack, Elisabeth Pelz
Hierarchical Timed High Level Nets and Their Branching Processes. ICATPN (2003)
Hans Fleischhack, Christian Stehno
Computing a Finite Prefix of a Time Petri Net. ICATPN (2002)
Burkhard Bieber, Hans Fleischhack
Model Checking of Time Petri Nets Based on Partial Order Semantics. CONCUR (1999)
Bernd Grahlmann, Hans Fleischhack
Towards Compositional Verification of SDL Systems. HICSS (7) (1998)
Hans Fleischhack, Bernd Grahlmann
A Compositional Petri Net Semantics for SDL. ICATPN (1998)
Hans Fleischhack, Josef Tapken
An M-Net Semantics for a Real-Time Extension of µSDL. FME (1997)
Bernd Grahlmann, Hans Fleischhack
with Procedures. PDSE (1997)
Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
. Application and Theory of Petri Nets (1995)
Anja Gronewold, Hans Fleischhack
Computing Petri Net Languages by Reductions. FCT (1995)
Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
An M-net Semantics of B(PN)2. STRICT (1995)
Hans Fleischhack
P-Superfairness in Nets. Application and Theory of Petri Nets (1992)
Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig
Diagonalizing over Deterministic Polynomial Time. CSL (1987)
Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig
Diagonalizations over Polynomial Time Computable Sets. Theor. Comput. Sci. 51 (1987)
Hans Fleischhack
P-Genericity and Strong G-Genericity. MFCS (1986)

Hans Fleischhack.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Hans Fleischhack