Publikationen des Jahres 2003

Dissertationen und Habilitationen

• Axel Martens. Verteilte Geschäftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2003. Note: Erschienen in WiKi: Stuttgart, Berlin & Paris.

Publikationen in Zeitschriften und Büchern

• Axel Martens. On Compatibility of Web Services. Petri Net Newsletter, 65: 12-20, 2003.

• Wolfgang Reisig. On Gurevich's Theorem on Sequential Algorithms. Acta Informatica, 39(5): 273-305, 2003.

• Wolfgang Reisig. The Expressive Power of Abstract State Machines. Computing and Informatics, 22(3): 209-219, 2003.

• Karsten Schmidt. Distributed Verification with LoLA. Fundamenta Informaticae, 54(2-3): 253-262, 2003.

Konferenzbeiträge und Beiträge auf Workshops

• Adrianna Alexander and Wolfgang Reisig. Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. In Proc. of the 3rd International Conference on Application of Concurrency to System Design (ACSD'03), Guimaraes, Portugal, pages 167-176, June 2003. IEEE Computer Society.

• Axel Martens. Compatibility of Web Services. In 10th Workshop on Algorithms and Tools for Petri Nets (AWPN 2003), Eichstätt, Germany, pages 26.-27, September 2003.

• Axel Martens. On Usability of Web Services. In Coral Calero, Oscar Díaz, and Mario Piattini, editors, Proceedings of 1st Web Services Quality Workshop (WQW 2003), Rome, Italy, 2003.

• Wolfgang Reisig. The Computable Kernel of ASM. In Egon Börger, Angelo Gargantini, and Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, volume 2589 of Lecture Notes in Computer Science, pages 421-422, 2003.

• Karsten Schmidt. Using Petri Net Invariants in State Space Construction. In Hubert Garavel and John Hatcliff, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), 9th International Conference, Part of ETAPS 2003, volume 2619 of Lecture Notes in Computer Science, Warsaw, Poland, 2003.

• Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, and A. Qemali. The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. In Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, and Herbert Weber, editors, Petri Net Technology for Communication-Based Systems, volume 2472 of Lecture Notes in Computer Science, pages 1-21, 2003. Springer-Verlag.

• Michael Weber and Ekkart Kindler. The Petri Net Kernel. In Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, and Herbert Weber, editors, Petri Net Technology for Communication-Based Systems, volume 2472 of Lecture Notes in Computer Science, pages 109-124, 2003. Springer-Verlag.

• Michael Weber and Ekkart Kindler. The Petri Net Markup Language. In Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, and Herbert Weber, editors, Petri Net Technology for Communication-Based Systems, volume 2472 of Lecture Notes in Computer Science, pages 124-144, 2003. Springer-Verlag.

Studien- und Diplomarbeiten

• Andreas Glausch. Abstract-State Machines - Eine Sammlung didaktischer Beispiele. Studienarbeit, Humboldt-Universität zu Berlin, February 2003.

• Dirk Hain and Christian Stahl. Komposition von Web Services. Studienarbeit, Humboldt-Universität zu Berlin, April 2003.

• Thomas Heidinger. Statische Analyse von BPEL4WS-Prozessmodellen. Studienarbeit, Humboldt-Universität zu Berlin, December 2003.

• Peter Massuthe. Parallele Komposition in TLA. Studienarbeit, Humboldt-Universität zu Berlin, September 2003.

• Lars Münzberg. Komposition von Web Services. Studienarbeit, Humboldt-Universität zu Berlin, June 2003.

• Daniela Weinberg. Graphische Repräsentation von BPEL. Studienarbeit, Humboldt-Universität zu Berlin, August 2003.

Sonstiges

• Lars Michael Kristensen, Karsten Schmidt, and Antii Valmari. Question Guided Stubborn Set Methods for State Properties, 2003. Note: Submitted to a journal.

zurück zur Übersicht