Hans Fleischhack

17 papers B 4Journal 1Unranked 11

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