Auflistung Informatik nach Titel
-
DissertationExtremal Fixpoints for Higher-Order Modal Logic (2018-10)
-
AufsatzFast computation of concept lattices using data mining techniques (2000)
-
DissertationFehlersuche im Modell - Modellbasiertes Testen und Debuggen (2011-07-13)
-
DissertationFehlertoleranz und Elastizität für ein Framework zur globalen Lastenbalancierung (2018-09-10)
-
LehrmaterialFolien zur Vorlesung Sortierverfahren (2014)
-
DissertationFormal Verification for ALICA Plans (2021)
-
DissertationFramework for middleware executed on mobile devices (2007-10-09)
-
Technischer ReportA Framework for TEI-Based Scholarly Text Editions (2010-11-15)
-
DiplomarbeitGenerierung von XSL-Visualisierungen für TEI-Dokumente in Drupal (2011-06-10)
-
AufsatzA geometrical heuristic for drawing concept lattices (1995)
-
DissertationGestengestützte Schema- und Datenexploration (2016-06-13)
-
AufsatzGone with the internet - How the old education was lost (2015-04-08)
-
LehrmaterialGrundlagen der Betriebssysteme (Universität Kassel, Fachbereich Mathematik/Informatik, 2003)
-
PreprintHeapsort for Equal Keys (2014-09)
-
AufsatzHierarchies of conceptual scales (1999)
-
DissertationThe Human in the Loop: User Participation in Self-Adaptive Software (2014-08-13)
-
DissertationHybrid Branching-Time Logics (2019)
-
PreprintIceberg query lattices for datalog (2004)