Detailseite
Max-Planck-Institut für Informatik
Adresse
Campus Geb. E 1.4
66123 Saarbrücken
Deutschland
- Schwerpunktprogramme
- abgeschlossene Projekte
- Management variabler Datenströme in Netzwerken(Antragstellerinnen / Antragsteller Feldmann, Ph.D., Anja ; Vöcking, Berthold )
-
- abgeschlossene Projekte
- Sachbeihilfen
- Sonderforschungsbereiche
- abgeschlossene Projekte
- Beleuchtungssimulation in nicht-diffusen Umgebungen(Teilprojektleiter Seidel, Hans-Peter ; Slusallek, Philipp )
- Identifikation und Bewertung persönlicher Daten für Privacy Awareness(Teilprojektleiter Dittrich, Jens ; Weikum, Gerhard )
- Modellierung von amorphen Festkörpern auf der Basis von Graphen(Teilprojektleiter Lengauer, Thomas )
-
- Privacy Implikationen durch Verbreitung visueller Daten(Teilprojektleiter Fritz, Mario ; Schiele, Bernt )
-
-
- abgeschlossene Projekte
- Klinische Forschungsgruppen
- Transregios
- laufende Projekte
- Beschreibungslogische Erklärungen(Teilprojektleiter Baader, Franz ; Borgwardt, Stefan ; Krötzsch, Markus ; Krüger, Antonio ; Weidenbach, Christoph )
-
- abgeschlossene Projekte
- Automatisierte Verifikation kooperierender Verkehrssysteme(Teilprojektleiterinnen / Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
-
- Dynamische Kommunikationssysteme(Teilprojektleiter Damm, Werner ; Finkbeiner, Bernd ; Hermanns, Holger ; Podelski, Andreas ; Weidenbach, Christoph )
- Über Realzeitautomaten hinaus(Teilprojektleiterinnen / Teilprojektleiter Finkbeiner, Bernd ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Podelski, Andreas ; Sofronie-Stokkermans, Viorica )
- Zeitanalyse, Scheduling und Verteilung von Echtzeittasks(Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Hack, Sebastian ; Reineke, Jan ; Wilhelm, Reinhard )
-
- laufende Projekte
- Heisenberg-Stipendien
- Graduiertenkollegs
- Graduiertenschulen
- Exzellenzcluster