Publikationen

Seite 1 von 1.

Lutz Schröder; Dirk Pattinson; Daniel Hausmann
Optimal Tableaux for Conditional Logics with Cautious Monotonicity
In: Michael Wooldridge (Hrsg.). Proceedings of the 19th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2010), 19th, August 16-20, Lisbon, Portugal, Frontiers in Artificial Intelligence and Applications, IOS Press, 8/2010.
Daniel Hausmann; Lutz Schröder
Optimizing Conditional Logic Reasoning within CoLoSS
In: Thomas Bolander; Torben Braüner (Hrsg.). Methods for Modalities (M4M-6, 2009). Methods for Modalities (M4M-6), 6th Workshop on Methods for Modalities, November 12-14, Kopenhagen, Denmark, Pages 157-171, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 262, Elsevier, Amsterdam, 5/2010.
Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter
The Importance of Being Formal
In: M. Huhn; H. Hungar (Hrsg.). Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert-08), located at ETAPS'08, March 29, Budapest, Hungary, Pages 57-70, Vol. 238, No. 4, Elsevier B.V. 2009.
Daniel Hausmann; Lutz Schröder
Optimizing Conditional Logic Reasoning within CoLoSS
In: Thomas Bolander; Torben Braüner (Hrsg.). Proceedings of the 6th Workshop on Methods for Modalities. Methods for Modalities (M4M-6), November 12-14, Copenhagen, Denmark, Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Amsterdam, 2009.
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, February 18-22, München, Germany, Pages 335-338, Lecture Notes in Informatics (LNI), Vol. P-122, ISBN 978-3-88579-216-1, Gesellschaft für Informatik, 2008.
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, VDI-Verlag, 2008.
Daniel Hausmann; Till Mossakowski; Lutz Schröder
A Coalgebraic Approach to the Semantics of the Ambient Calculus
In: Theoretical Computer Science, Vol. 366, No. 1-2, Pages 121-143, 2006.
Daniel Hausmann; Till Mossakowski; Lutz Schröder
Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus
In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-2005), September 3-6, Swansea, United Kingdom, Pages 232-246, Lecture Notes in Computer Science (LNCS), Vol. 3629, ISBN 3-540-28620-9, Springer, Berlin, 2005.