|
|
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.
- 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.
2009
- 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.
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 inkl.CD-ROM. ROBOTIK-2008, Bericht zur 5. Fachtagung Robotik, June 11-12, München, Germany, Pages o.A.-o.A. VDI-Bericht, Vol. 2012, VDI-Verlag, 2008.
- 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. Software Engineering 2008 Workshops, Fachtagung des GI-Fachbereichs Softwaretechnik, February 18-22, München, Germany, Pages 335-338, Lecture Notes in Informatics (LNI), No. P - 122, ISBN 978-3-88579-216-1, GI, 2008.
2006
2005
- 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.
|
|
