Informatikwissenschaften (Universität Trier) - Forschungsprojekte

Generierung und Implementierung eines EDV-gestützten Kennzahlensystems - Erfolgs- und Qualitätssicherung im Krankenhaus -
Czap, Hans; (1998 - 2001)

MITRA (Matrix-analytische Algorithmen. Implementierung und Transfer)
Baum, Dieter; (1996 - 1998)

MATRA - Matrix Analytical Performance Assessment: Development, Implementation, and Transfer of Efficient Algorithms
Baum, Dieter; (1997 - 1998)

CNO - Center of Network Optimization
Baum, Dieter; (1998 - 1999)

High-level-Beschreibung und Verifikation komplexer digitaler Systeme
Meinel, Christoph; (1997 - 1999)

Elektronisches multitlinguales Dokumentenmanagement
Meinel, Christoph; (1997 - 1999)

Intranet-basiertes Portofolio-Managementsystem
Meinel, Christoph; (1998 - 1999)

Intranet für den Bereich Marktdatenbank des Konzernstabs Organisation
Meinel, Christoph; (1997 - 1998)

Internet-Repräsentanz für die DG-Bank Luxemburg
Meinel, Christoph; (1998 - 1999)

Internet-Repräsentanz der WGZ-Bank Luxemburg
Meinel, Christoph; (1996 - 1999)

Online-Redaktionssystem
Meinel, Christoph; (1997 - 1998)

Elektronische Tageszeitung
Meinel, Christoph; (1996 - 1997)

Institut für Telematik
Meinel, Christoph; (ab 1998)

Elektronisches Publizieren
Meinel, Christoph; 

VLSI-Effiziente Algorithmen und Datenstrukturen
Meinel, Christoph; 

Beherrschung multimedialer Datenströme in der Telemedizin
Meinel, Christoph; (1996 - 1997)

Telematik
Meinel, Christoph; 

VLSI-Design
Meinel, Christoph; 

VLSI-Design und Komplexitätstheorie
Meinel, Christoph; 

Computional Complexity
Meinel, Christoph; 

TI-Trust-Center
Meinel, Christoph; (ab 1998)

Efficient Data Structures for Computer-Aided Design
Meinel, Christoph; (1997 - 2000)

BDD-basierte Datenstrukturen für sequentielle Schaltkreise
Meinel, Christoph; (1996 - 2001)

OBDD-basierte Datenstrukturen im industriellen Einsatz
Meinel, Christoph; (1996 - 1997)

Branching Programme als Datenstruktur für den Schaltkreisentwurf
Meinel, Christoph; (1992 - 1996)

Entwicklung und Anwendung der Fusionsmethode für die Ableitung unterer Schranken und der Berechnungskomplexität
Meinel, Christoph; (1995 - 1999)

Komplexität Boolescher Funktionen und Kommunikationskomplexität
Meinel, Christoph; (1991 - 1995)

Einführung eines Zertifikat Management-Systems in einer Großbank
Meinel, Christoph; (1997 - 1999)

Caching und Replikation von WWW-Dokumenten
Sturm, Peter; (ab 1996)

Trierer Informatik-Bibliographie / DBLP
Walter, Bernd; (ab 1993)

SPARAMAT
Keßler, Christoph W.; (1997 - 2000)

Entwurf und Implementierung paralleler Programmiersprachen
Keßler, Christoph W.; (1995 - 2000)

DocML
Seidl, Helmut; (2000 - 2002)

SPARAMAT - automatic detection of SPARse matrix computations in Application programs by pattern MATching techniques
Seidl, Helmut; (1997 - 2000)

Programmanalyse
Seidl, Helmut; 

Fixpunktalgorithmen
Seidl, Helmut; 

M-Kalkül
Seidl, Helmut; 

Baum-Automaten und praktische Anwendungen
Seidl, Helmut; 

Parallele Programmiersprachen
Seidl, Helmut; 

Artifizielle Policy-Agenten zur Terminkoordination im Akutkrankenhaus
Czap, Hans; (2000 - 2006)

EVER - Extraktion und fallbasierte Verarbeitung von Erfahrungswissen aus Internet Communities
Bergmann, Ralph; (2011 - 2020)

WEDA - Web-basierte Erstellung, Wiederverwendung, Dokumentation und Ablaufunterstützung für agile Workflows
Bergmann, Ralph; (2011 - 2013)

PIE - Progress Information Environment for Workflow Enactment Tracking
Bergmann, Ralph; (2006 - 2010)

Combining matching strategies for medical vocabulary
Bergmann, Ralph; (2004 - 2009)

Integration of Similarity-Based and Logic-Based Search
Bergmann, Ralph; (2005 - 2006)

WoSeMa: Workflow Semantic Matching Platform
Bergmann, Ralph; (2005 - 2009)

URANOS: Analysis Methods for the Design of Application-Robust Nanoelektronic Systems
Bergmann, Ralph; (2005 - 2008)

GenCase: Reasoning With Generalized Cases
Bergmann, Ralph; (2002 - 2008)

Appear: Analyse von Patientenbehandlungs-Prozessen zur Erkennung von Abweichungen und Regelmäßigkeiten
Bergmann, Ralph; (2002 - 2007)

Amira: Advanced Multimodal Intelligence for Remote Assistance
Bergmann, Ralph; (2004 - 2006)

Cyclops: Medical Image Interpretation and Knowledge Management
Bergmann, Ralph; (1999 - 2004)

IPQ: IP Qualification for Efficient Design Reuse
Bergmann, Ralph; (2000 - 2003)

FM-Ultranet: Foetal Malformation - Ultrasonography training networking platform
Bergmann, Ralph; (2000 - 2002)

WebPlan: Dynamic Planning for Domain-Specific Search in the Internet
Bergmann, Ralph; (1998 - 2002)

READEE: Reuse Assistant for Designs in Electrical Engineering
Bergmann, Ralph; (1997 - 2001)

WEBSELL: Intelligent Sales Assistants for the World Wide Web
Bergmann, Ralph; (1998 - 2002)

INRECA-II: Information and Knowledge Reengineering for Reasoning from Cases
Bergmann, Ralph; (1996 - 1999)

WiMo: Modelling and Acquisition of Knowledge for Case-based Reasoning
Bergmann, Ralph; (1995 - 1996)

PARIS: Plan Abstraction and Refinement in an Integrated System
Bergmann, Ralph; (1994 - 1996)

OOReuse: Reuse of Object-Oriented Software
Bergmann, Ralph; (1994)

Controlling einer Integrierten Patientenversorgung
Czap, Hans; (2008 - 2011)

SEMAFLEX - Integriertes SEmantisches Management von Prozessen und Geschäftsdokumenten zur Unterstützung flexibler Geschäftsabläufe im Mittelstand
Bergmann, Ralph; (2015 - 2017)

eXplore! - Ausbau des Trier Center for Digital Humanities. Computergestützte Modellierung, Analyse und Exploration als
Grundlage für eScience in den eHumanities
Bergmann, Ralph; (2016 - 2019)

ReCAP – Information Retrieval and Case-Based Reasoning for Robust Deliberation and Synthesis of Arguments in the Political Discourse
Schenkel, Ralf; (2018 - 2021)

Parameterisierte Approximation - neue Konzepte und neue Anwendungen
Fernau, Henning; (2014 - 2017)

Moderne Komplexitätsaspekte formaler Sprachen
Fernau, Henning; (2018 - 2021)

AdaptPro - Adaptive Prozess- und Rollengestaltung in Organisationen, Teil des DFG-SPP 1921 Intentional Forgetting in Organisationen
Timm, Ingo J.; (2016 - 2020)

AdaptPro 2 - Adaptives Vergessen durch emergente Wissensstrukturen in sozio-technischen Systemen
Timm, Ingo J.; (2019 - 2022)

eXplore - Computer Supported Modelling, Analysis, and Exploration as Foundation for eScience in eHumanities
Timm, Ingo J.; (2016 - 2019)

METHOD IFG - Modelling EnvironmenTal dynamics and HOminin Dispersals around the Mid-Pleistocene Revolution
Timm, Ingo J.; (2016 - 2019)

ReCAP – Information Retrieval und Case-Based Reasoning für die robuste Deliberation und Synthese von Argumenten im politischen Diskurs
Bergmann, Ralph; (2018 - 2020)

INWEND: Intelligente wissensbasierte Entscheidungsunterstützung für juristische Fragestellungen am Beispiel des Datenschutzrechtes
Bergmann, Ralph; (2019 - 2020)

DeepCA – Deep Content Analytics
Bergmann, Ralph; (2018 - 2021)

SEMANAS - Semantisch unterstütztes Antragsassistenzsystem
Bergmann, Ralph; (2017 - 2021)

Die Wirkung von Ambient Awareness auf die zeitliche Koordination von räumlich verteilten Teams
Weyers, Benjamin; (ab 2019)

Intentionales Vergessen von Arbeitsverhalten im Alltag - Erfassung, Formalisierung und Integration in interaktive Systeme
Weyers, Benjamin; (2019 - 2022)

BugWright2:Autonomous Robotic Inspection and Maintenance on Ship Hulls and Storage Tanks
Weyers, Benjamin; (2020 - 2024)

The Human Brain Project
Weyers, Benjamin; (2020 - 2023)

ReCAP-II – Information Retrieval and Case-Based Reasoning for Robust Deliberation and Synthesis of Arguments
Schenkel, Ralf; (ab 2021)

Autumn School for Information Retrieval and Information Foraging (ASIRF) 2019
Schenkel, Ralf; (2019)

FlexiTeams - Methoden der Künstlichen Intelligenz zur Unterstützung der flexiblen Reorganisation von Arbeitsteams als Reaktion auf Anforderungen in pandemischen und sonstigen Krisen
Weyers, Benjamin; (2021 - 2023)

Situated IDEs: Added value of situated interactive visualization in software developement
Weyers, Benjamin; (ab 2022)

Professur für Fachdidaktik Informatik
Fernau, Henning; (2022 - 2031)

Succinct Representation of Grammars: Theory and Applications
Fernau, Henning; (2024 - 2026)