Dr. Hans Fleischhack

Veröffentlichungen (seit 1993):

[EFM⁺05]

Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, and Christian Stehno. Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. In Andreas Prinz, Rick Reed, and Jeanne Reed, editors, SDL 2005: Model Driven, volume 3530 of Lecture Notes in Computer Science, pages 133-148. Springer-Verlag, 2005.

[SBG04]

Ingolf Sulk, Peter Bremer, and Sabine Gronewold. Notensysteme - Vorgehen und Probleme bei Umrechnung und Anerkennung. In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_6/2004, BLK-Verbund 2, Oldenburg, November 2004.

[BS04]

Barbara Bennemann and Thomas Scheidsteger. Entwicklung und prototypische Umsetzung einer verteilten heterogenen Moduldatenbank. In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_5/2004, BLK-Verbund 2, Oldenburg, November 2004.

[BT04]

Ulrich Battige and Heike Tauerschmidt. Organisation und Betrieb von internationalen Studiengängen. In: Gerhard Wenke, Robert Hönl, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_3/2004, BLK-Verbund 2, Furtwangen, Oldenburg, November 2004.

[Ben04]

Barbara Bennemann. Begriffsdefinition und Erfassung von Workload im Fach Informatik an der Universität Kiel. In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_4/2004, BLK-Verbund 2, Oldenburg, September 2004.

[BFG⁺04]

Eike Best, Hans Fleischhack, Sabine Gronewold, Thomas Scheidsteger, and Ulrike Scheidsteger. Beiträge zur Entwicklung eines Leistungspunktsystems in Fachbereichen Elektrotechnik und Informatik. Technical report, Hochschule Bremen, 2004.

[BB04]

Barbara Bennemann and Bernd Braßel. Konzept und prototypische Realisierung eines flexiblen Prüfungsverwaltungssystems. In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_8/2004, BLK-Verbund 2, Oldenburg, Dezember 2004.

[BSS04]

Barbara Bennemann, Thomas Scheidsteger, and Ulrike Scheidsteger. Studie zur Modularisierung von Studiengängen und zur Einführung von Leistungspunktesystemen. In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_2/2004, BLK-Verbund 2, Oldenburg, März 2004.
[ .pdf ]

[FGB04]

Hans Fleischhack, Sabine Gronewold, and Heiko Burchard. Arbeitsbelastung von Informatikstudierenden an der Universität Oldenburg. In H.-P. Schütz S. Gerber, editor, Workshop über Leistungspunkte und Modulmanagement, Leipzig, 2004.

[BBSS03]

Barbara Bennemann, Peter Bremer, Thomas Scheidsteger, and Ulrike Scheidsteger. Umfrage zu Bachelor- und Master-Studiengängen in der Informatik. In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_1/2003, BLK-Verbund 2, Oldenburg, Dezember 2003.
[ .pdf ]

[BvdA03]

Eike Best and Wil van der Aalst, editors. Applications and Theory of Petri Nets 2003, volume 2679 of Lecture Notes in Computer Science, Eindhoven, The Netherlands, 2003. Springer-Verlag.

[FP03a]

Hans Fleischhack and Elisabeth Pelz. Hierarchical Timed High Level Nets and their Branching Processes. In Best and van der Aalst [BvdA03], pages 397-416.

[FP03b]

Hans Fleischhack and Elisabeth Pelz. High Level Branching Processes for High Level Petri Nets. In Ivana Banicescu, editor, High Performances Computing Conference, pages 246-253. SCS, 2003.

[PF03]

Elisabeth Pelz and Hans Fleischhack. Compositional High Level Petri Nets with Timing Constraints-a Comparison. In Application of Concurrency to System Design, pages 132-141, Guimaraes, Portugal, 2003. IEEE Computer Society.
[ .pdf ]

[FS02]

Hans Fleischhack and Christian Stehno. Computing a Finite Prefix of a Time Petri Net. In Javier Esparza and Charles Lakos, editors, Application and Theory of Petri Nets, volume 2360 of Lecture Notes in Computer Science, pages 163-181. Springer-Verlag, 2002.
[ .ps.gz ]

[FP02b]

Hans Fleischhack and Elisabeth Pelz. High Level Branching Processes for High Level Petri Nets. Technical Report LACL-2002-18, University of Paris XII Val-de-Marne, Paris, 2002.

[FP02a]

Hans Fleischhack and Elisabeth Pelz. Hierarchical Timed High Level Nets and their Branching Processes. Technical Report LACL-2002-19, University of Paris XII Val-de-Marne, Paris, 2002.

[FP01]

Hans Fleischhack and Elisabeth Pelz. Causal Boxes and Hierarchical Timed Boxes. Technical Report LACL-2001-06, University of Paris XII Val-de-Marne, Paris, 2001.

[BBF⁺00]

Eike Best, Heiko Burchard, Hans Fleischhack, Andrè Hackmann, Ernst Kretschmann, Stefan Kühnapfel, and Astrid Rakow. Simulation of DNA-Computing. In Anne Condon and Gregorz Rozenberg, editors, Proceedings of DNA6, volume 2054 of Lecture Notes in Computer Science, page 249, 2000.
[ .ps ]

[FP00]

Hans Fleischhack and Elisabeth Pelz. Partial Order based Model Checking with data Types. In Proc. of Logic Colloquium 2000, Paris, 2000.

[BF99]

Burkhard Bieber and Hans Fleischhack. Model Checking of Time Petri Nets Based on Partial Order Semantics. In Jos C.M. Baeten and Sjouke Mauw, editors, International Conference on Concurrency Theory, volume 1664 of Lecture Notes in Computer Science, pages 210-225. Springer-Verlag, 1999.
[ .ps.gz ]

[FG98a]

Hans Fleischhack and Bernd Grahlmann. A Compositional Petri Net Semantics for SDL. In J. Desel and M. Silva, editors, Application and Theory of Petri Nets, volume 1420 of Lecture Notes in Computer Science, pages 144-164. Springer-Verlag, 1998.

[FG98b]

Hans Fleischhack and Bernd Grahlmann. Towards Compositional Verification of SDL Systems. In Proceedings of 31st HICSS (Hawaii International Conference on System Science) - Software Technology Track, pages 404 - 414. IEEE Computer Society, January 1998.

[FG97b]

Hans Fleischhack and Bernd Grahlmann. A Petri Net Semantics for B(PN)² with Procedures. In Parallel and Distributed Software Engineering, pages 15-27. IEEE Computer Society, May 1997.

[FG97a]

Hans Fleischhack and Bernd Grahlmann. A Compositional Petri Net Semantics for SDL. Technical Report 18/97, Universität Hildesheim, 1997.
[ .ps.gz ]

[FT97]

Hans Fleischhack and Josef Tapken. An M-Net Semantics for a Real-Time Extension of muSDL. In John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997), volume 1313 of Lecture Notes in Computer Science, pages 162-181. Springer-Verlag, 1997.
[ .ps.gz ]

[FG96]

Hans Fleischhack and Bernd Grahlmann. A Petri Net Semantics for B(PN)² with Procedures which Allows Verification. Hildesheimer Informatik-Berichte 21/96, Universität Hildesheim, July 1996.

[AFT96]

Peter Amthor, Hans Fleischhack, and Josef Tapken. Moby - more than a tool for the verification of sdl-specifications. Technical report, Fachbereich Informatik, Carl von Ossietzky Universität Oldenburg, 1996.

[BFF⁺95a]

Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, and Elisabeth Pelz. A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)². In Giorgio De Michelis and Michel Diaz, editors, Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, pages 103-120. Springer-Verlag, 1995.
[ .ps.gz ]

[BFF⁺95b]

Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, and Elisabeth Pelz. An M-net Semantics of B(PN)². In Jörg Desel, editor, Structures in Concurrency Theory, pages 85-100. Springer-Verlag, 1995.
[ .ps.gz ]

[BF95]

Eike Best and Hans Fleischhack. PEP: Programming Environment Based on Petri Nets, Workshop, October 11-12, 1994, HU Berlin. Technical Report 14/95, Universität Hildesheim, 1995.
[ .ps.gz ]

[FT95]

Hans Fleischhack and Josef Tapken. Eine kompositionelle Petrinetz-Semantik für SDL-Spezifikationen. In J. Desel, Hans Fleischhack, A. Oberweis, and Michael Sonnenschein, editors, 2. Workshop Algorithmen und Werkzeuge für Petrinetze, number 22 in AIS reports. Fachbereich Informatik, Universität Oldenburg, 1995.

[GF95]

A. Gronewold and Hans Fleischhack. Computing Petri Net Languages by Reductions. In Horst Reichel, editor, Proceedings on the 10th International Conference on Fundamentals of computation theory (FCT'95) (Dresden, Germany, August 1995), volume 965 of Lecture Notes in Computer Science, pages 253-262. Springer-Verlag, 1995.

[FLSWt93]

Hans Fleischhack, Ulrike Lichtblau, Michael Sonnenschein, and Ralf Wieting. Abstraktion und Zeitbegriff in höheren Netzen. In G. Scheschonk, editor, Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, Berlin [u.a.], 1993.

[FL93]

Hans Fleischhack and Ulrike Lichtblau. MOBY - A tool for high level Petri Nets with objects. In Proceedings of the IEEE-SMC'93-Conference (Le Touquet, France, 1993), pages 644-649, 1993.