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 |