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.