Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Forschungsprojekte
PDF | RTF
Ergebnisse pro Seite:  10

2008 - 2013

LogAnswer

2006 - 2007

Softwarewerkzeuge zur Dokumentation der Fragebogenentwicklung (QDDS-2)

2006 - 2007

exSPACT Entwicklung eines Publikationssystems für das elektronische Publizieren: Modellhafte Lösungen und konkrete Umsetzung

2005 - 2007

Vascoda Teilprojekt Fachportale - Übergreifende Strukturen und Aufgaben

2005 - 2006

Ergonomische Gestaltung der grafischen Benutzungsschnittstelle multi-lingualer Inhaltserschließungswerkzeuge für die Sozialwissenschaften (LingUI)

2005 - 2025

Entscheidungsverfahren für komplexe logische Theorien

2004 - 2007

Kompetenznetzwerke. Neue Dienste, Standardisierung, Metadaten. Teilprojekt: Modellbildung und Heterogenitätsbehandlung

2004 - 2015

Über Realzeitautomaten hinaus (Teilprojekt TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)

2004 - 2015

Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)

2004 - 2015

Über Realzeitautomaten hinaus (Teilprojekt TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)