Ehemaliger Mitarbeiter (07/2005 - 06/2007)

	Andreas Glausch wissenschaftlicher Mitarbeiter am Lehrstuhl Theorie der Programmierung
Adresse	Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6 10099 Berlin
Sitz	Humboldt-Universitiät zu Berlin Institut für Informatik Haus IV, 4. Etage, Raum 415 Rudower Chaussee 25 12489 Berlin
Sprechstunde	nach Vereinbarung (E-Mail bevorzugt)
Telefon	+49 30 2093-3068
Fax	+49 30 2093-3067
E-Mail	glausch @ informatik.hu-berlin.de

Forschungsschwerpunkte

• Abstract State Machines
• Projekt Expressive Power of Abstract State Machines

Publikationen von Andreas Glausch

2007

• Andreas Glausch. A Semantic Characterization of Elementary Wide-Step ASMs. In Proceedings of the 14th International ASM Workshop, June 2007.

• Andreas Glausch and Wolfgang Reisig. A Semantic Characterization of Unbounded-Nondeterministic ASMs. In Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science, volume 4624 of Lecture Notes in Computer Science, August 2007.

• Andreas Glausch and Wolfgang Reisig. An ASM-Characterization of a Class of Distributed Algorithms. In Proceedings of the Dagstuhl Seminar on Rigorous Methods for Software Construction and Analysis, Festschrift volume of Lecture Notes in Computer Science, 2007. Springer. Note: To appear.

2006

• Andreas Glausch. Distributed Abstract State Machines - Status Report of a Doctoral Thesis. In Jörg Desel, editor, Proceedings of the Doctoral Consortium ACSD & PetriNets 2006, Turku, Finland, June 2006. Åbo Akademi.

• Andreas Glausch and Wolfgang Reisig. How Expressive are Petri Net Schemata?. In Susanna Donatelli and P. S. Thiagarajan, editors, Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, volume 4024 of Lecture Notes in Computer Science, pages 201-220, 2006. Springer.

• Andreas Glausch and Wolfgang Reisig. Distributed Abstract State Machines and Their Expressive Power. Informatik-Berichte 196, Humboldt-Universität zu Berlin, January 2006.

• Andreas Glausch and Wolfgang Reisig. On the Expressive Power of Unbounded-Nondeterministic Abstract State Machines. Informatik-Berichte 211, Humboldt-Universität zu Berlin, December 2006.

2005

• Andreas Glausch. Eine Charakterisierung einfacher Petrinetz-Schemata. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 2005), Proceedings, pages 1-6, September 2005. Humboldt-Universität zu Berlin.

• Andreas Glausch. Varianten des ASM-Theorems. Diplomarbeit, Humboldt-Universität zu Berlin, June 2005.

2003

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