Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Johannes Gutenberg-Universität Mainz
Fachbereich Physik, Mathematik, Informatik
Institut für Informatik
Arbeitsgruppe Theoretische Informatik

Address Staudingerweg 9
55128 Mainz
Deutschland

GERiT This institution in GERiT

55128 Mainz

Projects

Priority Programmes
- Completed projects
  - Einfache und schnelle Implementierung von exakten Optimierungsalgorithmen mit SCIL
    (Applicants Althaus, Ernst ; Buchheim, Christoph )
Research Grants
- Completed projects
  - Graph Grammars for Molecular Structure Search and Classification
    (Applicants Althaus, Ernst ; Hildebrandt, Andreas )
CRC/Transregios
- Completed projects
  - Automated Verification of Cooperating Traffic Agents
    (Project Heads Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
  - Constaint-based Verification for Hybrid Systems
    (Project Heads Althaus, Ernst ; Becker, Bernd ; Fränzle, Martin ; Weidenbach, Christoph )
  - Timing Analysis, Scheduling and Distribution of Real-Time Tasks
    (Project Heads Althaus, Ernst ; Damm, Werner ; Hack, Sebastian ; Reineke, Jan ; Wilhelm, Reinhard )

© 2024 DFG Disclaimer / Copyright / Privacy Policy