199 Ergebnisse Suchergebnis für "Institution: FB Informatik und Informationswissenschaft"
Titel | Institution | Startdatum | Enddatum |
---|---|---|---|
Modeling, simulating and visualizing complex, realistic landscapes and ecosystems |
AG Deussen (Visual Computing) |
01.01.2007 | 31.12.2009 |
inteHRDis - Interaktionstechniken für hochauflösende Displays |
FB Informatik und Informationswissenschaft AG Reiterer (Human-Computer Interaction) |
01.06.2006 | 31.12.2011 |
Reliable Opportunistic Mobile Networks |
AG Waldvogel (Distributed Systems) |
01.04.2006 | 31.03.2009 |
DiRePro: Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems |
AG Leue (Software and Systems Engineering) |
22.08.2005 | 30.09.2011 |
Aufbau einer netzwerkbasierten Usability Informationsplattform für Unternehmen der Region Alpenrhein-Bodensee-Hochrhein |
AG Reiterer (Human-Computer Interaction) |
04.04.2005 | 31.12.2006 |
Entwurf komplexer Softwaresysteme / Engineering Complex Software Systems |
AG Leue (Software and Systems Engineering) |
01.10.2004 | 31.12.2099 |
SoFaLoc: Lokalisierung von Software Fehlern / Software Fault Localization |
AG Leue (Software and Systems Engineering) |
01.10.2004 | 30.09.2007 |
Exploration und Visualisierung großer Informationsmengen |
AG Saupe (Multimedia Signalverarbeitung) |
01.07.2004 | 30.06.2013 |
IMCOS: Unvollständige Model Checking für Objektorientierte Nebenläufige Systeme |
AG Leue (Software and Systems Engineering) |
01.01.2004 | 31.12.2006 |
LDAP/PKI |
IT-Dienste Verwaltungsprozesse AG Waldvogel (Distributed Systems) |
01.01.2004 | 31.12.2006 |