Recherche

Projets financés externes

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

Projets actuels:

• Systemes concurrentes, Réseaux de Petri et algorithmes distribues
• Théorie des langages, automates et complexitë
• Modelage et conception des systèmes
• Organisation, processus et modelage des processus
• Technologie des agents

Projets financés externes termineés

• 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-Projekt Sozionik (ASKO) (seulement en Allemand)
• DFG-Projekt Sozionik (DISPO) (seulement en Allemand)
• Projekt SISOL (seulement en Allemand)
• Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
• Algebraic and Syntactic Methods in Computer Science (ASMICS 2)
• Langages Formelles, Automates et Réseaux de Petri

Projets anciens

• Langages, écritures et temps
  • Problèmes de Linguistique Mathématique
  • Dévelopment des Systèmes de Metafont et TEX pour Écritures Non-latines
  • Systèmes de Calendriers
• Toward a unifying framework for concurrency
• Anwendung von Ergebnissen über Petrinetze in der Theorie der Matrixgrammatiken (seulement en Allemand)
• Strukturelle Untersuchungen dünner Mengen in NSPACE(log n) (seulement en Allemand)
• Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen (seulement en Allemand)
• Algorithmen zur Analyse von Petrinetzeigenschaften (seulement en Allemand)
• Spezifikation und Verifikation im Rahmen der Typtheorie (seulement en Allemand)
• Generatoren durchschnitts- und twistabgeschlossener Trios (seulement en Allemand)
• Selbstverständnis der Informatik (seulement en Allemand)

Ancienne page synoptique de recherche (avant de 2009)