Project Details
Person
Professor Dr. Ernst Althaus
Address
Johannes Gutenberg-Universität Mainz
Fachbereich Physik, Mathematik, Informatik
Institut für Informatik
Arbeitsgruppe Theoretische Informatik
Staudingerweg 9
55128 Mainz
-
As Applicant
-
Completed projects
-
Einfache und schnelle Implementierung von exakten Optimierungsalgorithmen mit SCIL (Priority Programmes)
-
Graph Grammars for Molecular Structure Search and Classification (Research Grants)
-
-
Completed projects
-
As Project Head
-
Completed projects
-
Timing Analysis, Scheduling and Distribution of Real-Time Tasks (CRC/Transregios)
-
Constaint-based Verification for Hybrid Systems (CRC/Transregios)
-
Automated Verification of Cooperating Traffic Agents (CRC/Transregios)
-
-
Completed projects
