Navigation

Skiplinks

Contact

Publications 2000–2004

[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 ]

[Wim04b] Harro Wimmel. Infinity of Intermediate States is Decidable for Petri Nets. In Wolfgang Reisig and Jordi Cortadella, editors, 25th International Conference on Theory and Application of Petri nets, Lecture Notes in Computer Science, pages 426-435. Springer-Verlag, 2004.

[Wim04a] Harro Wimmel. Eliminating Internal Behaviour in Petri Nets. In Wolfgang Reisig and Jordi Cortadella, editors, 25th International Conference on Theory and Application of Petri nets, Lecture Notes in Computer Science, pages 411-425. Springer-Verlag, 2004.

[BK04] Eike Best and Maciej Koutny. Process Algebra: A Petri-Net-Oriented Tutorial. In Jörg Desel, Wolgang Reisig, and Grzegorz Rozenberg, editors, Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 180-209, 2004.

[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.

[KRHA04] Ernst Kretschmann, Astrid Rakow, Andre Hackmann, and Rolf Apweiler. The Aristotle Semantic Network Technology. In Proceedings of the Eighth World Multiconference on Systemics, Cybernetics and Informatics (SCI 2004), volume 13, pages 65-70, 2004. [ .pdf ]

[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 ]

[DW03] Philippe Darondeau and Harro Wimmel. From bounded T-systems to 1-safe T-systems up to language equivalence. Technical Report INRIA-RR-4708, INRIA, Rennes, France, 2003. [ .html ]

[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.

[FP03] 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 ]

[Ste03] Christian Stehno. Visual Modelling Facilities in PEP. In Eric Verbeek, editor, Tool Demonstrations, pages 87-92. Beta Research School for Operations Managemanet and Logistics, 2003. [ .ps.gz ]

[RHK+02]

Astrid Rakow, Andre Hackmann, Ernst Kretschmann, John O'Rourke, and Rolf Apweiler. Unifying Data Mining Tools for Automated Annotation on TrEMBL. In Thomas Lengauer, Hans-Peter Lenhof, and Ruth Christmann, editors, ECCB 2002 Poster Abstracts, page 194, Saarbrücken, October 2002.

[BDK02] Eike Best, Raymond Devillers, and Maciej Koutny. The Box Algebra = Petri Nets + Process Expressions. Information and Computation, 178:44-110, 2002.

[BS02b] Cécile Bui Thanh and Christian Stehno. New Petri Net Programming Features in PEP. In Ivana Cerná, editor, TOOLS DAY, Affiliated to CONCUR 2002, volume FIMU-RS-2002-05 of FI MU Report Series, pages 72-78. Masaryk University, 2002. [ .ps.gz ]

[BS02a] Eike Best and Christian Stehno. Überprüfung vom Steuersystemen mit PEP. Niedersächsiches Ministerium für Wissenschaft und Kultur (Hrsg.): Informationstechnologie an niedersächsischen Hochschulen, März 2002. Seiten 40-41. [ .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.

[PW02] Lutz Priese and Harro Wimmel. Theoretische Informatik: Petri-Netze. Springer-Verlag, 2002. Lehrbuch, 376 Seiten, 2. Auflage 2008.

[Ste02c] Christian Stehno. System Specification and Verification Using High Level Concepts - A Tool Demonstration. In Dragan Bosnacki and Stefan Leue, editors, Model Checking Software, volume 2318 of Lecture Notes in Computer Science, pages 246-249. Springer-Verlag, 2002. [ .ps.gz ]

[Ste02b] Christian Stehno. Real-Time Systems Design with PEP. In Joost-Pieter Katoen and Perdita Stevens, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 2280 of Lecture Notes in Computer Science, pages 476-480. Springer-Verlag, 2002. [ .ps.gz ]

[Ste02a] Christian Stehno. Petri Net Markup Language: Implementation and Application. In Jörg Desel and Mathias Weske, editors, Promise 2002, volume P-21 of Lecture Notes in Informatics, pages 18-30. Gesellschaft für Informatik, 2002. [ .ps.gz ]

[BDK01c] Eike Best, Raymond R. Devillers, and Maciej Koutny. Recursion and Petri Nets. Acta Informatica, 37(11-12):781-829, 2001. [ .ps.gz ]

[BDK01b] Eike Best, Raymond Devillers, and Maciej Koutny. A Unified Model for Nets and Process Algebras. In J.A. Bergstra, A. Ponse, and S.A. Smolka, editors, Handbook of Process Algebra, chapter 14, pages 873-944. Elsevier Science, Amsterdam, The Netherlands, 2001. [ .ps.gz ]

[BDK01a] Eike Best, Raymond Devillers, and Maciej Koutny. Petri Net Algebra. Monographs in Theoretical Computer Science. Springer-Verlag, Berlin, Heidelberg, New York, 2001. 378 pages.

[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.

[PS01] Franck Pommereau and Christian Stehno. FIFO Buffers in Hot Tie Sauce. Technical Report 2001-04, LACL, Université Paris 12, 61 avenue du General de Gaulle, 94010 Créteil, France, 2001. [ .ps.gz ]

[Ste01] Christian Stehno. PEP Version 2.0. In Tool Demonstrations, Application and Theory of Petri Nets 2001. University of Newcastle upon Tyne, 2001. [ .ps.gz ]

[BW00] Eike Best and Harro Wimmel. Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. In Mogens Nielsen and Dan Simpson, editors, Application and Theory of Petri Nets, volume 1825 of Lecture Notes in Computer Science, pages 63-82. Springer-Verlag, 2000. [ .ps.gz ]

[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.

[GKH00] Miltos D. Grammatikakis, Miro Kraetzl, and D. Frank Hsu. Parallel Interconnects and Communication. CRC Press, Inc., Boca Raton, New York, London, Tokyo, 2000.

[GL00] M. Grammatikakis and S. Liesche. Priority Queues and Sorting for Parallel Simulation. IEEE Trans. Soft. Engin., SE 26(5):401-422, 2000.

[LY00] Alexander Lavrov and Leonid Yampolsky. Configuration synthesis and refinement: An approach to simulation of heterogeneous distributed systems. Control Systems and Machines, (3):11-17, 2000.

[Lav00] Alexander Lavrov. Fuzzifying Semantic Hierarchies of Concurrency-Related Models. In V.Dimitrov and V.Korotkich, editors, With Fuzzy Logic in the New Millenium. Abstracts of papers presented at the Second International Discourse on Fuzzy Logic, page 48. The University of Western Sydney, Australia, 2000.

[Weh00] H. Wehrheim. Specification of an automatic manufacturing system - a case study in using integrated formal methods. In T. Maibaum, editor, FASE 2000: Fundamental Aspects of Software Engineering, number 1783 in Lecture Notes in Computer Science, pages 334-348. Springer-Verlag, 2000.

[Wim00] Harro Wimmel. Algebraische Semantiken für Petri-Netze. PhD thesis, Universität Koblenz-Landau, 2000. 212 pages.

Webmaster (macarcruo.2meagrawunuqder@uqosol.de99r4r) (Changed: 2018-11-01)