Recherche
Projets financés externes
Projets actuels:
- Théorie des langages, automates et complexitë
- Systemes concurrentes, Réseaux de Petri et algorithmes distribues
- Modelage et conception des systèmes
- Organisation, processus et modelage des processus
- Technologie des agents
- Langages, écritures et temps
Projets financés externes termineés
- 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
- 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)