Projekte

Lehrgebiet Algebra

• Theorie von Kippmodulen
• Die klassische homologische Vermutungen der Darstellungstheorie
• Kombinatorische Aspekte der Darstellungstheorie

Lehrgebiet Datenverarbeitungstechnik

• Softwaretechnik
  • Vertragsbasiertes Testen von Webservices
  • Entwicklung und Evaluierung eines umfassenden Konzepts zur Sicherstellung der Kompatibilität von Komponentenupdates durch automatisierte Austauschbarkeitsanalyse und Systemsynthese
  • Ermittlung und Selektion von Webservices
• Lerntechnik
  • CampusContent - Aufbau eines Portals für wiederverwendbare Lernobjekte und didaktische Szenarien
  • Impact - Auswirkungen Neuer Technologien auf Fernstudierende
  • eleed - e-learning and education - Online-Zeitschrift mit freiem Zugang zu wissenschaftlichen und informativen Beiträgen zum Themenbereich "Lernen mit neuen Medien"
  • GETS - Einsatz und Erprobung lerntechnischer Werkzeuge zwecks Aufbau einer transatlantischen Studierendengruppe
• Gruppenarbeit
  • Gemeinsame Nutzung von Lernressourcen und -erfahrungen in offenen verteilten Lernumgebungen
  • Verbesserung von Such- und Navigationsaktivitäten im Web durch soziale Kooperation
• Dagstuhl-Seminare
  • Dagstuhl-Seminar 05462: Service-Oriented Computing (SOC)
  • Dagstuhl-Seminar 02451: Dependability of Component Based Systems
  • Dagstuhl-Seminar: High Integrity Programmable Electronic Systems (März 1995)
  • Dagstuhl-Seminar 04511: Architecturing Systems with Trustworthy Components

Lehrgebiet Informationssysteme und Datenbanken

• CampusSource
• Förderung selbstgesteuerten Lernens in der virtuellen (Fern)Lehre durch ein Selbstmanagement-System
• FuXML
• Pocket University
• Virtuelles Rathaus
• Vefa-Online
• E-learning im e-government

Lehrgebiet Intelligente Informations- und Kommunikationssysteme

Semantische Wissensrepräsentation

• MultiNet [Mehrschichtige erweiterte semantische Netze]

Automatische Sprachverarbeitung

• WOCADI (NatLink) [Syntaktisch-semantische Analyse]

Wissensmanagement und Inferenzverfahren

• MWR [Werkbank für den Wissens-Ingenieur] und Nachfolger MWR+

Ressourcen

• HaGenLex / LIA [Computerlexikon und Werkbank für den Computer-Lexikographen]

Anwendungen

• VILAB [Virtuelles Elektronisches Informatik-Labor]
• NLI-Z39.50 [Natürlichsprachliches Interface für das Internet]
• BenToWeb
• InSicht [Frage-Antwort-System]
• IRSAW [Intelligent Information Retrieval on the Basis of a Semantically Annotated Web]

Lehrgebiet Kooperative Systeme

• DFG-Forschungsverbund "Kontextadaptive Interaktion in kooperativen Wissensprozessen (CONTICI)"
• DFG-Projekt "Unterstützung des kooperativen Lernens durch Lernprotokolle"
• CURE: Collaborative Universal Remote Education
• BMBF-Projekt "links4science Vorprojekt" (Laufzeit: 2006-2007)
• BMBF-Projekt "GridLabs"
• EU-Project "MAPPER" (Laufzeit: 2005-2008)
• EU-Projekt EXTERNAL
• CoCLIPSE - Kooperationsunterstützung in der Softwareentwicklung (Laufzeit: Seit 2006)

• XPairtise - Ein Plugin zur Unterstützung verteilten Pair-Programmings
• COINED - Ein Plugin zur Unterstützung von Objektrollenspielen
• File History Flow Visualization - Ein Plugin zur besseren Visualisierung von Code-Änderungen in Eclipse
• CoWOZ - Ein Plugin zur Interaktionsunterstützung im virtuellen Paper-Prototyping

Lehrgebiet Multimedia und Internetanwendungen

• DigitalPreservationEurope (DPE)
  Aktivitäten auf nationaler und internationaler Ebene zur Erhaltung des digitalen Erbes Europas
• EFG
  European Film Gateway
• EMTO
  Early Modern Thought Online
• LACOSTIR
  Interaktives Retrieval für Syntax, Semantik und Layout
• nestor II
  Kompetenznetzwerk Langzeitarchivierung
• PARSE
  Insight into issues of Permanent Access to the Records of Science in Europe
• SHAMAN
  Sustaining Heritage Access through Multivalent ArchiviNg

Lehrgebiet Optische Nachrichtentechnik

• Numerische Simulationen zur optischen Selbstabbildung in photonischen Kristall- und plasmonischen Wellenleiterstrukturen (Status: laufend)

• Interchip-Optical Communications and Photonic PCBs for next generation OBP (Status: laufend)

Lehrgebiet Parallelität und VLSI

• Links4science - Vorprojekt
• Globaler Zellularautomat

Lehrgebiet Rechnerarchitektur

• Global Cellular Automata

Lehrgebiet Prozesssteuerung und Regelungstechnik

• Internationale Minenräumung
• Internationale Waldbrandbekämpfung
• DAAD-Förderung im PPP-Programm Slowakei

Lehrgebiet Softwaretechnik und Theorie der Programmierung

• CampusContent
• elearning and education (eleed)
• Entwicklung und Evaluierung eines umfassenden Konzepts zur Sicherstellung der Kompatibilität von Komponentenupdates durch automatisierte Austauschbarkeitsanalyse und Systemsynthese
• Ermittlung und Selektion von Webservices
• EzUnit — A Perspective for Unit Testing in Eclipse
• GETS: Einsatz und Erprobung lerntechnischer Werkzeuge zwecks Aufbau einer transatlantischen Studierendengruppe
• Impact - Auswirkungen neuer Technologien auf Fernstudierende
• IntoJ
• Mehrwertfunktionen für vernetzte Nutzer- und Entwicklergemeinschaften von Lernobjektrepositorien
• Modeltalk
• Programmer's Productivity Tools
• WebAssign
• WebRegIS

Lehrgebiet Unternehmensweite Softwaresysteme

• ICoTrans
• MasPlan

Lehrgebiet Verteilte Systeme für kooperative Arbeits-/Lernumgebungen

• DFG-Forschungsverbund "Kontextadaptive Interaktion in kooperativen Wissensprozessen (CONTICI)"
• Real Virtual Erasmus (REVE)

Lehrgebiet Wissensbasierte Systeme

• KReate — Logic-based probabilistic knowledge representation for relational learning, modelling and inference
• Conditionals — Discovery and Revison (Condor)
• Structure Oriented Testing of Erlang Programs (STEP)
• Complete Type Inference (CTI)
• Typical for Annotated Prolog: A type-checking tool for Prolog
• Compilation of Typed Logic (CTL)
• Analysis and Verification of Annotated Logic Programs
• Probabilistic Logic and Knowledge Representation
• PROTOS-L