Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik

Address Nöthnitzer Straße 46
01187 Dresden
Deutschland

GERiT This institution in GERiT

01187 Dresden

Projects

Research Grants
- Completed projects
Emmy Noether Independent Junior Research Groups
- Completed projects
  - Data Integration and Access by Merging Ontologies and Databases (DIAMOND)
    (Applicant Krötzsch, Markus )
Collaborative Research Centres
- Completed projects
  - High-Capacity Knowledge Processing Pipeline
    (Project Head Krötzsch, Markus )
CRC/Transregios
- Current projects
  - Description Logic Explications
    (Project Heads Baader, Franz ; Borgwardt, Stefan ; Krötzsch, Markus ; Krüger, Antonio ; Weidenbach, Christoph )
  - Distributed Knowledge and Information Flow
    (Project Heads Dachselt, Raimund ; Finkbeiner, Bernd ; Krötzsch, Markus ; Schmuck, Anne-Kathrin )
  - Knowledge-Driven Inspection
    (Project Heads Apel, Sven ; Dachselt, Raimund ; Gaggl, Sarah Alice ; Krötzsch, Markus ; Krüger, Antonio )
- Completed projects
  - Logic-Based Perspicuous Run-Time Supervision
    (Project Heads Fetzer, Christof ; Krötzsch, Markus ; Weidenbach, Christoph )
Research Training Groups
- Completed projects
  - GRK 191: Tools for the Effective Use of Parallel and Distributed Computing Systems
    (Spokesperson Kabitzsch, Klaus )
  - GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics
    (Spokesperson Vogler, Heiko )