Publikationen

2017

2016

2015

2014

2013

2012

2011

2010

  • Till Mossakowski; Lutz Schröder; Sergey Goncharov
    A Generic Complete Dynamic Logic for Reasoning about Purity and Effects.
    In: Formal Aspects of Computing (FAC), Vol. 22, No. 3-4, Pages 363-384, Springer, Berlin, 5/2010.
  • Serge Autexier; Petr Sojka; Masakazu Suzuki
    Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge (Foreword).
    In: Journal Mathematics in Computer Science, Vol. 3, No. 3, Pages 225-226, Birkhaeuser, Basle, Switzerland, 3/2010.
  • David Aspinall; Ewen Denney; Christoph LĂŒth
    Tactics for Hierarchical Proofs.
    In: Mathematics in Computer Science, Vol. 3, Pages 309-330, BirkhÀuser, 3/2010.
  • Lutz Schröder; Dirk Pattinson
    Rank-1 modal logics are coalgebraic.
    In: Journal of Logic and Computation (JLC), Vol. 20, No. 5, Pages 1113-1147, Oxford University Press, Oxford, 2010.
  • Udo Frese; RenĂ© Wagner; Thomas Röfer
    A SLAM Overview from a User's Perspective.
    In: KI - KĂŒnstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "KĂŒnstliche Intelligenz" der Gesellschaft fĂŒr Informatik e.V. (KI), Vol. 24, No. 3, Pages 191-198, Springer, 9/2010.
  • Udo Frese
    Simultaenous Localization and Mapping - Gasteditorial.
    In: KI - KĂŒnstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "KĂŒnstliche Intelligenz" der Gesellschaft fĂŒr Informatik e.V. (KI), Vol. 24, No. 3, Page 189, Springer, 9/2010.
  • Bernd Krieg-BrĂŒckner; Thomas Röfer; Hui Shi; Bernd Gersdorf
    Mobility Assistance in the Bremen Ambient Assisted Living Lab.
    In: GeroPsych: The Journal of Gerontopsychology and Geriatric Psychiatry, Vol. 23, No. 2, Pages 121-130, Verlag Hans Huber; http://www.verlag-hanshuber.com, 2010.
  • Dirk Pattinson; Lutz Schröder
    Cut Elimination in Coalgebraic Logics.
    In: Information and Computation (Inform. Comput.), Vol. 208, Pages 1447-1468, Elsevier, Amsterdam, 12/2010.
  • Oliver Kutz; Till Mossakowski; Dominik LĂŒcke
    Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design.
    In: Jean-Yves Béziau (Hrsg.). Logica Universalis, Vol. 4, No. 2, Pages 255-333, BirkÀuser, Basel, 2010.
  • Till Mossakowski; Ugo Montanari
    Preface.
    In: Till Mossakowski; Ugo Montanari (Hrsg.). Logical Methods in Computer Science (LMCS), Vol. SPECIAL ISSUE: Selected Papers of the Conference "Algebraic and Coalgebraic Methods in Computer Science 2007" Bergen, Norway, 2007, Pages 1-2, 2010.
  • Andrea Kohlhase; Milena Reichel
    Social Tagging and Learning: The Fuzzy Line between Private and Public Space.
    In: Nikos Karacapilidis (Hrsg.). Novel Developments in Web-Based Learning Technologies: Tools for Modern Teaching. Chapter 11, Pages 199-210, Advances in Web-based Learning (AWBL), Information Science Reference, 1/2010.
  • Achim Brucker; Dieter Hutter
    Information Flow in Disaster Management Systems.
    In: M. Takizawa; A M. Tjoa (Hrsg.). Proceedings of the 5th International Conference on Availability, Reliability and Security 2010. International Conference on Availability, Reliability and Security (ARES-2010), February 15-18, Krakau, Poland, IEEE Computer Society, 1/2010.
  • Andrea Kohlhase; Michael Kohlhase; Christoph Lange
    Dimensions of Formality: A Case Study for MKM in Software Engineering.
    In: Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10), located at CICM, July 8-10, Paris, France, Lecture Notes on Artificial Intelligence (LNAI), Springer Verlag, 2010.
  • Mihai Codescu; Till Mossakowski; Adrian Riesco; Christian Maeder
    Integrating Maude into HETS.
    In: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology. International Conference on Algebraic Methodology and Software Technology (AMAST-2010), Thirteenth, June 23-25, Manoir St-Castin, Quebec, Canada, LNCS, Springer, 2010.
  • Marco Franke; Patrick Klein; Lutz Schröder
    Ontological Semantics of Standards and PLM Repositories in the Product Development Phase.
    In: Alain Bernard (Hrsg.). Proceedings of the 20th CIRP Design Conference 2010. CIRP Design Conference (CIRP Design-2010), Global Product Development, April 19-21, Nantes, France, Springer, 2010.
  • Rajeev Gore; Clemens Kupke; Dirk Pattinson; Lutz Schröder
    Global Caching for Coalgebraic Description Logics.
    In: JĂŒrgen Giesl; Reiner Haehnle (Hrsg.). Proceeding of the 5th International Joint Conference on Automated Reasoning. International Joint Conference on Automated Reasoning (IJCAR-2010), 5th, located at FLoC 2010, July 16-19, Edinburgh, United Kingdom, Lecture Notes in Computer Science (LNCS), Springer, 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.
  • Carsten Lutz; Lutz Schröder
    Probabilistic Description Logics for Subjective Uncertainty.
    In: Fangzhen Lin; Ulrike Sattler (Hrsg.). Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning. International Conference on Principles of Knowledge Representation and Reasoning (KR-2010), 12th, May 9-13, Toronto, Ontario, Canada, AAAI Press, Menlo, CA, 5/2010.
  • Lutz Schröder; Dirk Pattinson
    Named Models in Coalgebraic Hybrid Logic.
    In: Jean-Yves Marion; Thomas Schwentick (Hrsg.). Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science. International Symposium on Theoretical Aspects of Computer Science (STACS-2010), 27th, March 4-6, Nancy, France, Pages 645-656, Leibniz International Proceedings in Informatics, Vol. 5, Schloss Dagstuhl - Leibniz-Center of Informatics, Dagstuhl, Germany, 3/2010.
  • Lutz Schröder; Dirk Pattinson
    Coalgebraic correspondence theory.
    In: Luke Ong (Hrsg.). Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2010), 13th, located at ETAPS 2010, March 20-28, Paphos, Cyprus, Pages 328-342, Lecture Notes in Computer Science, Vol. 6014, Springer, Berlin, 3/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.
  • Lutz Schröder; Yde Venema
    Flat coalgebraic fixed point logics.
    In: Paul Gastin; François Laroussinie (Hrsg.). Proceedings of the 21st International Conference on Concurrency Theory. International Conference on Concurrency Theory (CONCUR-2010), 21st, August 31 - September 3, Paris, France, Lecture Notes in Computer Science, Springer, Berlin, 8/2010.
  • Serge Autexier; Dominik Dietrich
    A Tactic Language for Declarative Proofs.
    In: Matt Kaufmann; Lawrence C. Paulson (Hrsg.). Proceedings International Conference on Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2010), July 11-14, Edinburgh, United Kingdom, Pages 99-114, Lecture Notes in Computer Sciences (LNCS), Vol. 6172, Springer, 7/2010.
  • Serge Autexier; Normen MĂŒller
    Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents.
    In: Michael Gormish; Rolf Ingold (Hrsg.). Proceedings of 10th ACM Symposium on Document Engineering. ACM Symposium on Document Engineering (DocEng-10), September 21-24, Manchester, United Kingdom, ACM, 9/2010.
  • Serge Autexier; Christoph LĂŒth
    Adding Change Impact Analysis to the Formal Verification of C Programs.
    In: Dominique MĂ©ry; Stephan Merz (Hrsg.). Proceedings 8th International Conference on Integrated Formal Methods. International Conference on Integrated Formal Methods (IFM-10), October 11-14, Nancy, France, LNCS, Springer, 10/2010.
  • Andrea Kohlhase
    Towards User Assistance for Documents via Interactional Semantic Technology.
    In: Conference Proceedings of KI'10. German Conference on Artificial Intelligence (KI), September 21-24, Karlsruhe, Germany, IEEE, 2010.
  • Andrea Kohlhase; Michael Kohlhase; Christoph Lange
    sTeX+ - A System for Flexible Formalization of Linked Data.
    In: Proceedings the 6the International Conference on Semantic Systems. International Conference on Semantic Systems (I-Semantics-10), September 1-3, Graz, Austria, arXiv.org, 2010.
  • Andrea Kohlhase; Michael Kohlhase
    What we understand is we get: Assessment in Spreadsheets.
    In: Proceedings of the EuSpRIG-Conference 2010. European Spreadsheet Risks Interest Group (EuSpRIG-10), July 15-16, Greenwich, United Kingdom, EuSpRIG, 2010.
  • Paul Libbrecht
    Notations Around the World:Census and Exploitation.
    In: Serge Autexier; Jacques Calmet; David Delahaye; Patrick D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.). Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10), 9th, located at Conference on Intelligent Computer Mathematics, July 8-9, Paris, France, Pages 398-410, Lecture Notes in Artificial Intelligence (LNAI), Vol. 6167/2010, ISBN 3-652-14127-7, Springer Verlag, 7/2010.
  • Dennis Walter; Holger TĂ€ubig; Christoph LĂŒth
    Experiences in Applying Formal Verification in Robotics.
    In: SafeComp 2010 --- 29th International Conference on Computer Safety, Reliability and Security. International Conference on Computer Safety, Reliability and Security (SAFECom-2010), September 14-17, Vienna, Austria, Lecture Notes in Computer Science (LNCS), Springer, 2010.
  • Maksym Bortin; Christoph LĂŒth
    Structural Formal Development with Quotient Types in Isabelle/HOL.
    In: 10th International Conference on Artificial Intelligence and Symbolic Computation. International Conference on Artificial Intelligence and Symbolic Computation (AISC-2010), 10th, located at Intelligent Computer Mathematics 2010 (CICM 2010), July 5-10, Paris, France, Pages 34-48, Lecture Notes in Computer Science, Vol. 6167, Springer, 2010.
  • Glauber Cabral; Christian Maeder; Till Mossakowski; Lutz Schröder
    Creating a HasCASL library.
    In: Jonathan Aldrich; Ricardo Massa (Hrsg.). 14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages (SBLP-10), located at Brazilian Conference on Software: Theory and Practice, September 27 - October 1, Salvador-Bahia, Brazil, 9/2010.
  • S. Huang; Y. Lai; Udo Frese; G. Dissanayake
    How far is SLAM from a linear least squares problem?.
    In: Proceedings of the International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2010), September 18-22, Taipei, Taiwan, Province of China, IEEE, 2010.
  • G. Grisetti; R. KĂŒmmerle; C. Stachniss; Udo Frese; C. Hertzberg
    A Lazy, Online, and Hierarchical Optimization Approach for 2D and 3D Pose-Graphs Operating on Manifolds.
    In: Proceedings of the International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-2010), May 3-8, Anchorage, Alaska, USA, IEEE, 2010.
  • Jochen Frey; Christoph Stahl; Thomas Röfer; Bernd Krieg-BrĂŒckner; Jan Alexandersson
    The DFKI Competence Center for Ambient Assisted Living.
    In: Boris de Ruyter; Reiner Wichert; David V. Keyson; Panos Markopoulos; Norbert Streitz; Monica Divitini; Nikolaos Georgantas; Antonio Mana Gomez (Hrsg.). Ambient Intelligence: First International Joint Conference. International Joint Conference on Ambient Intelligence (Aml-2010), November 10 - October 12, Malaga, Spain, Pages 310-314, Lecture Notes in Computer Science (LNCS), Vol. 6439, Springer, 2010.
  • Thomas Röfer; Tim Laue; Colin Graf; Tobias Kastner; Alexander Fabisch; Christian Thedieck
    B-Human Team Description for RoboCup 2010.
    In: Javier Ruiz-del-Solar; Eric Chown; Paul G. Plöger (Hrsg.). RoboCup 2010: Robot Soccer World Cup XIII Preproceedings. RoboCup International Symposium (RoboCup-10), June 19-25, Singapore, Singapore, RoboCup Federation, 2010.
  • Alexander Fabisch; Tim Laue; Thomas Röfer
    Robot Recognition and Modeling in the RoboCup Standard Platform League.
    In: Changiu Zhou; Enrico Pagello; Sven Behnke; Emanuele Menegatti; Thomas Röfer; Peter Stone (Hrsg.). Proceedings of the Fourth Workshop on Humanoid Soccer Robots. Workshop on Humanoid Soccer Robots (Humanoids-10), located at in conjunction with the 2010 IEEE-RAS International Conference on Humanoid Robots, December 6-8, Nashville, TN, USA, 2010.
  • Colin Graf; Thomas Röfer
    A Closed-loop 3D-LIPM Gait for the RoboCup Standard Platform League Humanoid.
    In: Changiu Zhou; Enrico Pagello; Sven Behnke; Emanuele Menegatti; Thomas Röfer; Peter Stone (Hrsg.). Proceedings of the Fourth Workshop on Humanoid Soccer Robots. Workshop on Humanoid Soccer Robots (Humanoids-10), located at in conjunction with the 2010 IEEE-RAS International Conference on Humanoid Robots, December 6-8, Nashville, TN, USA, 2010.
  • Stefan Zickler; Tim Laue; Oliver Birbach; Mahisorn Wongphati; Manuela Veloso
    SSL-Vision: The Shared Vision System for the RoboCup Small Size League.
    In: Jacky Baltes; Michail G. Lagoudakis; Tadashi Naruse; Saeed Shiry (Hrsg.). RoboCup 2009: Robot Soccer World Cup XIII. RoboCup International Symposium (RoboCup-09), June 29 - July 5, Graz, Austria, Pages 425-436, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5949, Springer, 2010.
  • Tim Laue; Christoph Stahl
    Modeling and Simulating Ambient Assisted Living Environments -- A Case Study.
    In: Juan Carlos Augusto; Juan M. Corchado; Paulo Novais; Cesar Analide (Hrsg.). Ambient Intelligence and Future Trends -- International Symposium on Ambient Intelligence. International Symposium on Ambient Intelligence (ISAmI-2010), June 16-18, GuimarĂŁes, Portugal, Pages 217-220, Advances in Intelligent and Soft Computing, Vol. 72, Springer, 2010.
  • Christian Mandel; Tim Laue
    Particle Filter-based Position Estimation in Road Networks using Digital Elevation Models.
    In: Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2010), October 18-22, Taipei, Taiwan, Province of China, Pages 5744-5749, IEEE, 2010.
  • Joana Hois; Oliver Kutz; Till Mossakowski; John A. Bateman
    Towards Ontological Blending.
    In: Darina Dicheva; Danail Dochev (Hrsg.). Artificial Intelligence: Methodology, Systems, and Applications. Proceedings. Artificial Intelligence: Methodology, Systems, and Applications (AIMSA-10), 14th International Conference, September 8-10, Varna, Bulgaria, Pages 263-264, Lecture Notes in Computer Science (LNCS), Vol. 6304, Springer Verlag, Berlin, 2010.
  • Oliver Kutz; Immanuel Normann; Till Mossakowski; Dirk Walther
    Chinese Whispers and Connected Alignments .
    In: Pavel Shvaiko et al. (Hrsg.). Proceedings of the 5th International Workshop on Ontology Matching. International Workshop on Ontology Matching (OM-10), 5th, located at collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, Shanghai, China, Pages 25-36, CEUR-WS online proceedings, Vol. 689, CEUR-WS online proceedings, 2010.
  • Dominik LĂŒcke; Till Mossakowski
    A much better polynomial time approximation of consistency in the LR calculus.
    In: A. Gomez-Perez; T. Agotnes (Hrsg.). Proceedings of the 5th Starting AI Researcher Symposium. Starting AI Researcher Symposium (STAIRS-10), 5th, located at ECAI 2010 and PAIS 2010, August 16-20, Lisbon, Germany, Pages 175-185, Frontiers in Artificial Intelligence and Applications , Vol. 222, IOS Press, Amsterdam, 2010.
  • Erica Calogero; Christoph Stahl
    Pedestrian Route Choice Simulation Using Mixed Methods.
    In: Drew Dara-Abrams; Christoph Hoelscher; Ruth Conroy-Dalton; Alasdair Turner (Hrsg.). Environmental Modeling: Using Space Syntax in Spatial Cognition Research. International Workshop on Environmental Modeling, located at Spatial Cognition 2010, August 15-19, Portland, Oregon, USA, Pages 65-73, Report Series of the Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition, No. 26, Report Series of the Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition, UniversitÀt Bremen / UniversitÀt Freiburg, 12/2010.
  • Alexander Fabisch; Tim Laue; Thomas Röfer
    Robot Recognition and Modeling in the RoboCup Standard Platform League.
    In: Enrico Pagello; Changjiu Zhou; Sven Behnke; Emanuele Menegatti; Thomas Röfer; Peter Stone (Hrsg.). Proceedings of the Fifth Workshop on Humanoid Soccer Robots. Workshop on Humanoid Soccer Robots (Humanoids-2010), 5th, located at 2010 10th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2010), December 6-8, Nashville, TN, USA, IEEE Press, 2010.
  • Thomas Röfer; Tim Laue; Judith MĂŒller; Armin Burchardt; Eric Damrose; Alexander Fabisch; Fynn Feldpausch; Katharina Gillmann; Colin Graf; Thijs Jeffry de Haas; Alexander HĂ€rtl; Daniel Honsel; Patrick Kastner; Tobias Kastner; Benjamin Markowsky; Michael Mester; Jonas Peter; Ole Jan Lars Riemann; Martin Ring; Wiebke Sauerland; AndrĂ© Schreck; Ingo Sieverdingbeck; Felix Wenk; Jan-Hendrik Worch
    B-Human Team Report and Code Release 2010.
    2010.
  • Serge Autexier; Jacques Calmet; David Delahaye; Patrick D. F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.)
    Intelligent Computer Mathematics 2010 (CICM 2010).
    Conferences on Intelligent Computer Mathematics (CICM-10), 10th International Conference AISC 2010, 17th Symposium Calculemus 2010 and 9th International Conference MKM 2010, located at Conferences on Intelligent Computer Mathematics, July 5-10, Paris, France, LNCS (LNCS), Vol. 6167, ISBN 978-3-642-14127-0, Springer, Heidelberg, Germany, 7/2010.
  • Ubbo Visser; Sahar Asadi; Tim Laue; N. Michael Mayer (Hrsg.)
    Proceedings of the AAMAS 2010 Workshop on Agents in Real-time and Dynamic Environments.
    Workshop on Agents in Real-time and Dynamic Environments (ARDE-2010), located at AAMAS 2010, Toronto, Ontario, Canada, online, 2010.
  • Christoph LĂŒth
    Schlussbericht des Projektes SAMS.
    Technical Report, Deutsches Forschungszentrum fĂŒr KĂŒnstliche Intelligenz, DFKI Research Reports (RR), Vol. 10-01, 2010.

2009

2008

2007

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.
  • Dennis Walter; Lutz Schröder; Till Mossakowski
    Parametrized Exceptions.
    In: Jose Fiadeiro; 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 424-438, Lecture Notes in Computer Science, Vol. 3629, ISBN 3-540-28620-9, Springer; http://www.springer.de, Berlin, 2005.

2004

2003

2002

2001

2000

1997

  • Dieter Hutter; Michael Kohlhase
    A Colored Version of the lambda-Calculus.
    In: W. McCune (Hrsg.). Proceedings 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction (CADE), Townsville, Pages 291-305, Springer-Verlag, LNAI 1249, 1997.

1995

1994