Fundamente Teoretici de Informatică
Third party funded projects
Proiecte actuale:
- Concurrency, Petri Nets, and Distributed Algorithms
- Limbaje, Automatelor şi 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-Projekt Sozionik (DISPO)
- Projekt SISOL
- Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
- Algebraic and Syntactic Methods in Computer Science (ASMICS 2)
- Limbaje Formale, Automate, şi Reţele de Petri
Proiecte
- Anwendung von Ergebnissen über Petrinetze in der Theorie der Matrixgrammatiken
- Strukturelle Untersuchungen dünner Mengen in NSPACE(log n)
- Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen
- Algorithmen zur Analyse von Petrinetzeigenschaften
- Generatoren durchschnitts- und twistabgeschlossener Trios
- Selbstverständnis der Informatik
Previous research overview page (before 2009)
Ultima actualizare: 10:57 23-06-2015
