Investigacion
Proyectos Actuales:
- Lenguajes, Autómatos y Complexity Theory
- Concurrency, Petri Nets, and Distributed Algorithms
- Modeling and System Design
- Organizations and business processes
- Agent Technologies
- DFG-Proyecto Socionica (ASKO)
- DFG-Projekt Sozionik (DISPO) (sólo en Alemán)
- Projekt SISOL (sólo en Alemán)
- Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
- Algebraic and Syntactic Methods in Computer Science (ASMICS 2)
- Lenguajes Formales, Autómatos y Redes de Petri
Proyectos antiguos:
- Toward a unifying framework for concurrency
- Anwendung von Ergebnissen über Petrinetze in der Theorie der Matrixgrammatiken (sólo en Alemán)
- Strukturelle Untersuchungen dünner Mengen in NSPACE(log n) (sólo en Alemán)
- Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen (sólo en Alemán)
- Algorithmen zur Analyse von Petrinetzeigenschaften (sólo en Alemán)
- Spezifikation und Verifikation im Rahmen der Typtheorie (sólo en Alemán)
- Generatoren durchschnitts- und twistabgeschlossener Trios (sólo en Alemán)
- Selbstverständnis der Informatik (sólo en Alemán)
