Hans Fleischhack
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1986–1999
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | CONCUR | Model Checking of Time Petri Nets Based on Partial Order Semantics. | Burkhard Bieber, Hans Fleischhack |
| 1997 | FM | An M-Net Semantics for a Real-Time Extension of µSDL. | Hans Fleischhack, Josef Tapken |
| 1995 | FCT | Computing Petri Net Languages by Reductions. | Anja Gronewold, Hans Fleischhack |
| 1987 | CSL | Diagonalizing over Deterministic Polynomial Time. | Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig |
| 1986 | MFCS | P-Genericity and Strong G-Genericity. | Hans Fleischhack |