Skip to main content Skip to main navigation

Publications

Displaying results 71 to 80 of 506.
  1. Lutz Schröder

    Expressivity of Coalgebraic Modal Logic: The Limits and Beyond

    In: Theoretical Computer Science, Vol. 390, Pages 230-247, 2008.

  2. Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter

    Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung

    In: Walid Maalej; Bernd Brügge (Hrsg.). Software Engineering 2008 - Workshopband: Fachtagung des GI-Fachbereichs Softwaretechnik. GI-Fachtagungen, …

  3. Christoph Lüth; Udo Frese; Holger Täubig; Dennis Walter; Daniel Hausmann

    SAMS: Sicherheitskomponente für Autonome Mobile Serviceroboter

    In: Robotik 2008. Leistungsstand - Anwendungen - Visionen - Trends. VDI/VDE Fachtagung Robotik, June 11-12, München, Germany, VDI-Bericht, Vol. 2012, …

  4. Region-Based Segmentation with Ambiguous Color Classes and 2-D Motion Compensation

    In: Ubbo Visser; Fernando Ribeiro; Takeshi Ohashi; Frank Dellaert (Hrsg.). RoboCup 2007: Robot Soccer World Cup XI. RoboCup International Symposium …

  5. Dirk Pattinson; Lutz Schröder

    Admissibility of Cut in Coalgebraic Logics

    In: J. Adamek; C. Kupke (Hrsg.). Coalgebraic Methods in Computer Science. International Workshop on Coalgebraic Methods in Computer Science (CMCS-08), …

  6. Dirk Pattinson; Lutz Schröder

    Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics

    In: Roberto Amadio (Hrsg.). Foundations of Software Science and Computation Structures (FOSSACS 2008). International Conference on Foundations of …

  7. Till Mossakowski; Lutz Schröder; Sergey Goncharov

    A generic complete dynamic logic for reasoning about purity and effects

    In: J. Fiadeiro; P. Inverardi (Hrsg.). Fundamental Approaches to Software Engineering. Fundamental Approaches to Software Engineering (FASE-08), …

  8. Oliver Kutz; Dominik Lücke; Till Mossakowski

    Heterogeneously Structured Ontologies: Integration, Connection, and Refinement

    In: T. Meyer; M.A. Orgun (Hrsg.). Knowledge Representation Ontology Workshop. Knowledge Representation Ontology Workshop (KROW-08), located at …

  9. Oliver Kutz; Till Mossakowski; Mihai Codescu

    Shapes of Alignments - Construction, Combination, and Computation

    In: Ulrike Sattler; Andrei Tamilin (Hrsg.). International Workshop on Ontologies: Reasoning and Modularity. International Workshop on Ontologies: …

  10. Yohei Kurata; Hui Shi

    Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models

    In: Andreas Dengel (Hrsg.). KI 2008: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2008), 31st Annual German …