Investigacion

Third party funded projects

• Einsatz eines Classroom Response Systems zur Aktivierung der Studierenden in großen Hörsälen

Proyectos Actuales:

• Concurrency, Petri Nets, and Distributed Algorithms
• Lenguajes, Autómatos y Complexity Theory
• Modeling and System Design
• Organizations and business processes
• Agent Technologies

Third party funded projects

• Konzeption und Durchführung des inverted-classroom Ansatzes für die Lehre im Pflichtmodul Formale Grundlagen der Informatik (FGI-1) (BMBF: 01PL12033)
• Didaktische und methodische Qualifikation studentischer Hilfskräfte für die Üungsbetreuung der Studieneingangsphase der Informatik
• Herold
• Mondula
• 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:

• • Problemas de Lingüística Matemática
  • Desarrollo de Metafont y Sistemas de TEX para Escrituras Nonlatinas
  • Sistemas de Calendarios
• 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)

Previous research overview page (before 2009)