Publikationen des Jahres 2000

Dissertationen und Habilitationen

Tobias Vesper. Petrinetze zum Entwurf selbststabilisierender Algorithmen. Dissertation, Humboldt-Universit�t zu Berlin, Mathematisch-Naturwissenschaftliche Fakult�t II, December 2000.
Hagen V�lzer. Fairne�, Randomisierung und Konspiration in verteilten Algorithmen. Dissertation, Humboldt-Universit�t zu Berlin, Mathematisch-Naturwissenschaftliche Fakult�t II, December 2000.

Publikationen in Zeitschriften und B�chern

Adrianna Foremniak and Peter H. Starke. Structural Analysis of Signal-Event Systems. Fundamenta Informaticae, 43(1-4): 81-104, August 2000.
Ekkard Kindler and Axel Martens. Cross-talk revisited - What's the problem?. Petri Net Newsletter, 58: 4-10, 2000. Note: Cover Picture Story.
Ekkard Kindler and Hagen V�lzer. Algebraic Nets with Flexible Arcs. Theoretical Computer Science, 2000.
Karsten Schmidt. Flexible net Inscriptions with LoLA. Petri Net Newsletter, 59: 30-44, 2000.
Karsten Schmidt. How to Calculate Symmetries of Petri Nets. Acta Informatica, 36(7): 545-590, 2000.
Karsten Schmidt. Stubborn Sets for Model Checking the EF/AG Fragment of CTL. Fundamenta Informaticae, 43(1-4): 331-341, August 2000.

Konferenzbeitr�ge und Beitr�ge auf Workshops

Matthias J�ngel, Ekkard Kindler, and Michael Weber. The Petri Net Markup Language. In S. Philippi, editor, 7. Workshop Algorithmen und Werkzeuge f�r Petrinetze, Fachberichte Informatik 7/2000, pages 47-52, June 2000. Universit�t Koblenz-Landau. Note: Also in: Petri Net Newsletter 59, pages 24-29, October 2000.
Matthias J�ngel, Ekkard Kindler, and Michael Weber. Towards a Generic Interchange Format for Petri Nets. In Remi Bastide, Jonathan Billington, Ekkard Kindler, Fabrice Kordon, and Kjeld H. Mortensen, editors, Meeting on XML/SGML based Interchange Formats for Petri Nets, 21. ICATPN, �rhus, D�nemark, pages 1-5, June 2000.
Ekkard Kindler. Consistency, Causality, Petri Nets, and Automata. In Hans-Dieter Burkhard, Ludwik Czaja, Andrzej Skowron, and Peter H. Starke, editors, Workshop Concurrency, Specification & Programming (CS&P 2000), pages 93-104, October 2000.
Ekkard Kindler. Serializability, concurrency control and replication control. In G. Saake, K. Schwarz, and C. T�rker, editors, Transactions and Database Dynamics, Proceedings of the 8th International Workshop on Foundations of Models and Languages for Data and Objects, Selected Papers, volume 1773 of Lecture Notes in Computer Science, pages 26-44, 2000. Springer-Verlag.
Ekkard Kindler, Axel Martens, and Wolfgang Reisig. Inter-operability of Workshop Applications - Local Criteria for Global Soundness. In Wil M. P. van der Aalst, J�rg Desel, and Andreas Oberweis, editors, Business Process Management, volume 1806 of Lecture Notes in Computer Science, pages 235-253, 2000. Springer-Verlag.
Ekkard Kindler and Michael Weber. The Petri Net Kernel. In Kjeld H�yer Mortensen, editor, Tool Demonstrations, 21. ICATPN, �rhus, Denmark, pages 71-75, June 2000.
Wolfgang Reisig. The Linear Theory of Multiset Based Dynamic Systems. In Cristian Calude, Gheorghe Paun, Grzegorz Rozenberg, and Arto Salomaa, editors, Workshop on Multiset Processing (WMP 2000), volume 2235 of Lecture Notes in Computer Science, pages 287-298, 2000. Springer-Verlag.
Wolfgang Reisig. Towards an ASM Thesis for Unconventional Algorithms. In Yuri Gurevich, Philipp W. Kutter, Martin Odersky, and Lothar Thiele, editors, Abstract State Machines, volume 1912 of Lecture Notes in Computer Science, pages 112-130, 2000. Springer-Verlag.
Karsten Schmidt. Integrating Low Level Symmetries into Reachability Analysis. In Susanne Graf and Michael I. Schwartzbach, editors, Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, volume 1785 of Lecture Notes in Computer Science, pages 315-330, 2000. Springer-Verlag.
Karsten Schmidt. LoLA: A Low Level Analyser. In Mogens Nielsen and Dan Simpson, editors, Application and Theory of Petri Nets, 21st International Conference (ICATPN 2000), volume 1825 of Lecture Notes in Computer Science, pages 465-474, June 2000. Springer-Verlag.
Karsten Schmidt. Narrowing the state space of Petri nets using the state equation. In Workshop on Concurrency, Specification and Programming, Berlin, 2000.

Technische Berichte

Adrianna Foremniak and Wolfgang Reisig. A Temporal Logic of Distributed Actions (TLDA). Informatik-Berichte 140, Humboldt-Universit�t zu Berlin, 2000.
Felix C. G�rtner and Hagen V�lzer. Redundancy in Space in Fault-Tolerant Systems. Technical Report TUD-BS-2000-06, Department of Computer Science, Darmstadt University of Technology, July 2000.
Ekkard Kindler and Dennis Shasha. Verifying a Design Pattern for the Fault-Tolerant Execution of Parallel Programs. Technical Report TR2000-803, New York University, Courant Institute of Mathematical Sciences, Computer Science Department, June 2000.
Sibylle Peuker. Property Preserving Transition Refinement with Concurrent Runs. Informatik-Berichte 139, Humboldt-Universit�t zu Berlin, July 2000.
Tobias Vesper. Randomized Self-Stabilizing Leader Election (Extended Abstract). Informatik-Berichte 133, Humboldt-Universit�t zu Berlin, January 2000.
Michael Weber. An XML-based Approach towards an Interchange Format for Petri Nets (Extended Abstract). Informatik-Berichte 140, Humboldt-Universit�t zu Berlin, October 2000.

Studien- und Diplomarbeiten

Abdourahaman. DAWN-ILF Tool. Modelchecking Anwendung. Diplomarbeit, Humboldt-Universit�t zu Berlin, September 2000.

zur�ck zur �bersicht

Theorie der Programmierung | Kontakt | XHTML 1.0 | Fri Sep 11 16:30:32 2009