Publications (Krieg-Brückner Group)

Go to year:  to appear   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000   1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   1989   1988   1987   1986   1985   1984   1983   1982   1981   1980   1979   1978   1977   1974   1973   1972   1971 

to appear     Back to top

	T. Laue, T. Röfer. SimRobot - Development and Applications. In H. B. Amor, J. Boedecker, O. Obst (Eds.), The Universe of RoboCup Simulators - Implementations, Challenges and Strategies for Collaboration. Workshop Proceedings of the International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR 2008), Lecture Notes in Artificial Intelligence. Springer.
	Till Mossakowski. Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods. In Theoretical Computer Science. To appear.
	Till Mossakowski, Andrzej Tarlecki, Razvan Diaconescu. What is a logic translation?. Winner of the universal logic 2007 contest.
	D. Pachur, T. Laue, T. Röfer. Real-time Simulation of Motion-based Camera Disturbances. In L. Iocchi, H. Matsubara, A. Weitzenfeld, Changjiu Zhou (Eds.), RoboCup 2008: Robot Soccer World Cup XII, Lecture Notes in Artificial Intelligence. Springer.
	Lutz Schröder, Dirk Pattinson. PSPACE Bounds for Rank-1 Modal Logics. In ACM Transactions on Computational Logic. To appear. Preprint available as e-print arXiv:0706.4044. Extends (Schröder and Pattinson 2006).
	Lutz Schröder, Dirk Pattinson. Rank-1 modal logics are coalgebraic . In Journal of Logic and Computation. To appear. Extends (Schröder and Pattinson STACS 2007).
	Lutz Schröder, Till Mossakowski. HasCASL: Integrated Higher-Order Specification and Program Development. In Theoretical Computer Science. To appear.
	Lutz Schröder. Bootstrapping Types and Cotypes in HasCASL. In Logical Methods in Computer Science. To appear.
	Hui Shi, Thora Tenbrink. Telling Rolland where to go: HRI dialogues on Route Navigation.K. Conventry, T. Tenbrink, J. Bateman (Eds.). Oxford University Press.
	M. Wünstel, T. Röfer. Feature Based Registration of Range Images in Domestic Environments. In Computational Imaging and Vision. Kluwer Academic Publishers, Dordrecht, The Netherlands.

2009     Back to top

Lutz Schröder, Dirk Pattinson (2009). Strong completeness of coalgebraic modal logics. In Susanne Albers, Jean-Yves Marion (Eds.), Theoretical Aspects of Computer Science (STACS 2009). To appear.

2008     Back to top

	D. Becker, J. Brose, D. Göhring, M. Jüngel, M. Risler, T. Röfer (2008). GermanTeam 2008. In L. Iocchi, H. Matsubara, A. Weitzenfeld, C. Zhou (Eds.), RoboCup 2008: Robot Soccer World Cup XII Preproceedings. RoboCup Federation.
	O. Birbach, J. Kurlbaum, T. Laue, U. Frese (2008). Tracking of Ball Trajectories with a Free Moving Camera-Inertial Sensor. In Proceedings of the RoboCup International Symposium, Suzhou.
	Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema (2008). Modal logics are coalgebraic. In Samson Abramsky, Erol Gelenbe, Vladimiro Sassone (Eds.), Visions of Computer Science, BCS International Academic Research Conference (BCS 2008), pp. 129–140. British Computer Society.
	Mihai Codescu, Till Mossakowski (2008). Heterogeneous colimits. In Frédéric Boulanger, Christophe Gaston, Pierre-Yves Schobbens (Eds.), MoVaH'08 Workshop on Modeling, Validation and Heterogeneity. IEEE press.
	Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde (2008). Shaped Generic Graph Transformation. In Andy Schürr, Manfred Nagl, Albert Zündorf (Eds.), Applications of Graph Transformation with Industrial Relevance (AGTIVE'07) Selected Papers, Vol. 5088, pp. 201–216, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	U. Frese, T. Laue (2008). (A) VISION FOR 2050: The Road Towards Image Understanding for a Human–Robot Soccer Match. In Proceedings of the 5th International Conference on Informatics in Control, Automation and Robotics.
	Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter (2008). The Importance of Being Formal. In Hardi Hungar (Ed.), Proc. SoftCert'08, Electronic Notes in Theoretical Computer Science. Elsevier Science.
	Mark Minas, Berthold Hoffmann (2008). An Example of Cloning Graph Transformation Rules for Programming. In Electronic Notes in Theoretical Computer Science, Vol. 211, pp. 241–250.
	Drewes, Frank, Hoffmann, Berthold, Minas, Mark (2008). Adaptive Star Grammars for Graph Models. In Hartmut Ehrig, others (Eds.), 4th International Conference on Graph Transformation (ICGT'08), Vol. 5214, pp. 442–457, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	Hoffmann, Berthold, Pérez, Javier, Mens, Tom (2008). A Case Study for Refactoring. In Arend Rensink, Pieter Van Gorp (Eds.), Proc. of the GraBaTS Tool Context 2008.
	Hoffmann, Berthold, Jakumeit, Edgar, Geiß, Rubino (2008). Graph Rewrite Rules with Structural Recursion. In Mosbah, Mohamed, Habel, Annegret (Eds.), 2nd Intl. Workshop on Graph Computational Models (GCM 2008), pp. 5–16.
	Joana Hois, Michael Wünstel, John A. Bateman, Thomas Röfer (2008). Dialog-Based 3D-Image Recognition Using a Domain Ontology. In Thomas Barkowsky, Markus Knauff, Gérard Ligozat, Daniel R. Montello (Eds.), Spatial Cognition V: Reasoning, Action, Interaction, International Conference Spatial Cognition 2006, No. 4387, pp. 107–126, Lecture Notes in Artificial Intelligence. Springer-Verlag Heidelberg.
	Andrea Kohlhase (2008). MS PowerPoint Use from a Micro-Perspective. In AACE (Ed.), Proceedings of the World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008, Vol. 1, pp. 1279–1286. AACE, Chesapeake, VA.
	Yohei Kurata, Hui Shi (2008). Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models. In A. Dengel (Ed.), Proceedings of the 31st Annual German Conference on Artifical Intelligence, Vol. 5243, pp. 258–266, Lecture Notes in Artificial Intelligence. Springer-Verlag Berlin Heidelberg.
	Oliver Kutz, Till Mossakowski (2008). Conservativity in Structured Ontologies. In M. Ghallab, C.D. Spyropoulos, N. Fakotakis, N. Avouris (Eds.), ECAI 2008, Vol. 178, Frontiers in Artificial Intelligence and Applications. IOS Press.
	Oliver Kutz, Till Mossakowski, Mihai Codescu (2008). Shapes of Alignments - Construction, Combination, and Computation. In Ulrike Sattler, Andrei Tamilin (Eds.), International Workshop on Ontologies: Reasoning and Modularity (WORM-08), Vol. 348, CEUR-WS online proceedings.
	Oliver Kutz, Dominik Lücke, Till Mossakowski (2008). Heterogeneously Structured Ontologies: Integration, Connection, and Refinement. In Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, Vol. 90, CRPIT.
	Dominik Lücke, Till Mossakowski, Diedrich Wolter (2008). Qualitative reasoning about convex relations. In Christian Freksa, Nora S. Newcombe, Peter Gaerdenfors (Eds.), Spatial Cognition 2008, Lecture Notes in Computer Science. Springer. to appear.
	Christoph Lüth, Udo Frese, Holger Täubig, Dennis Walter, Daniel Hausmann (2008). SAMS Sicherheitskomponente für Autonome Mobile Serviceroboter. In VDI-Bericht, Vol. 2012. VDI-Verlag.
	Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter (2008). Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. In Software Engineering 2008, Lecture Notes in Informatics. GI.
	David Aspinall, Ewen Denney, Christoph Lüth (2008). A Tactic Language for Hiproofs. In Mathematical Knowledge Management MKM 2008, Intelligent Computer Mathematics, Vol. 5144, pp. 339–354, Lecture Notes in Artificial Intelligence. Springer.
	Till Mossakowski, Anne Haxthausen, Don Sannella, Andrzej Tarlecki (2008). CASL, the Common Algebraic Specification Language. In D. Bjorner, M. Henson (Eds.), Logics of formal specification languages, pp. 241–298, Monographs in Theoretical Computer Science . Springer-Verlag Heidelberg.
	Till Mossakowski, Lutz Schröder, Sergey Goncharov (2008). A generic complete dynamic logic for reasoning about purity and effects. In J. Fiadeiro, P. Inverardi (Eds.), Fundamental Approaches to Software Engineering (FASE 2008), Vol. 4961, pp. 199–214, Lecture Notes in Computer Science. Springer.
	Dirk Pattinson, Lutz Schröder (2008). Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. In Roberto Amadio (Ed.), Foundations of Software Science and Computation Structures (FOSSACS 2008), Vol. 4962, pp. 66–80, Lecture Notes in Computer Science. Springer.
	Dirk Pattinson, Lutz Schröder (2008). Admissibility of Cut in Coalgebraic Logics. In J. Adamek, C. Kupke (Eds.), Coalgebraic Methods in Computer Science (CMCS 08), Vol. 203, pp. 221–241, Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam.
	T. Röfer (2008). Region-Based Segmentation with Ambiguous Color Classes and 2-D Motion Compensation. In U. Visser, F. Ribeiro, T. Ohashi, F. Dellaert (Eds.), RoboCup 2007: Robot Soccer World Cup XI, No. 5001, pp. 369–376, Lecture Notes in Artificial Intelligence. Springer.
	Lutz Schröder (2008). Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In Theoretical Computer Science, Vol. 390, pp. 230–247. Extends (Schröder 2005).
	Lutz Schröder (2008). Linearizability of Non-expansive Semigroup Actions on Metric Spaces. In Topology and its Applications, Vol. 155, pp. 1576–1579. Preliminary version appeared as DFKI Research Report RR-06-1, DFKI GmbH, Kaiserslautern, 2006.
	Lutz Schröder, Dirk Pattinson (2008). How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. In Gerhard Brewka, Jerôme Lang (Eds.), Principles of Knowledge Representation and Reasoning (KR 2008), pp. 307–218. AAAI Press, Menlo Park, CA. To appear.
	Lutz Schröder, Dirk Pattinson (2008). Shallow models for non-iterative modal logics. In Andreas Dengel, Karsten Berns, Thomas Breuel, Frank Bomarius, Thomas Roth-Berghofer (Eds.), Advances in Artificial Intelligence (KI 2008), Vol. 5243, pp. 324–331, Lecture Notes in Artificial Intelligence. Springer. Full version available as e-print arXiv:0802.0116.
	Hui Shi, Christian Mandel, Robert J. Ross (2008). Interpreting Route Instructions as Qualitative Spatial Actions. In T. Barkowsky, M. Knauff, G. Ligozat, D. R. Montello (Eds.), Spatial Cognition V, Vol. 4387, Lecture Notes in Computer Science. Springer Verlag, 14197 Berlin.
	Hui Shi, Bernd Krieg-Brückner (2008). Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. In International Journal of Software and Informatics, 2 (1), pp. 33–60.
	Hui Shi, Bernd Krieg-Brückner (2008). Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems. In KI Zeitschrift, Vol. 3, pp. 59–61.
	M. Wünstel, T. Röfer (2008). Multi-Modal Scene Interpretation. In S. Timpf (Ed.). Künstliche Intelligenz - Themenheft Räumliche Mobilität, pp. 69–71. Fachbereich KI der Gesellschaft für Informatik e.V., BöttcherIT Verlag.

2007     Back to top

	John Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo, Till Mossakowski (2007). Ontological Modularity and Spatial Diversity. In Spatial Cognition and Computation, 7 (1), pp. 97–128.
	Georgel Calin, Rob Myers, Dirk Pattinson, Lutz Schröder (2007). CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description). In Carlos Areces, Stephane Demri (Eds.), Methods for Modalities (M4M-5), Electronic Notes in Theoretical Computer Science. Elsevier Science. To appear.
	U. Frese (2007). Efficient 6-DOF SLAM with Treemap as a Generic Backend. In Proceedings of the Internation Conference on Robotics and Automation, Rome.
	Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe, Lutz Schröder (2007). An Institutional View on Categorical Logic. In Int J Software Informatics, 1 (1), pp. 129–152.
	Sami Haddadin, Tim Laue, Udo Frese, Gerd Hirzinger (2007). Foul 2050: Thoughts on Physical Interaction in Human-Robot Soccer. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2007).
	K. Huebner (2007). Object Description and Decomposition by Symmetry Hierarchies. In V. Skala (Ed.), WSCG 2007 Short Paper Proceedings, pp. 125–132. UNION Agency - Science Press, Plzen, Czech Republic.
	Michael Kohlhase, Achim Mahnke, Christine Müller (2007). Managing Variants in Document Content and Narrative Structures. In Alexander Hinneburg (Ed.), Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings.
	Oliver Kutz, Till Mossakowski (2007). Modules in Transition - Conservativity, Composition, and Colimits. In Anne Schlicht (Ed.), Second International Workshop on Modular Ontologies.
	Tim Laue, Armin Burchardt, Kai Cierpka, Sebastian Fritsch, Nils Göde, Kamil Huhn, Teodosiy Kirilov, Bianca Lassen, Markus Miezal, Eyvaz Lyatif, Malte Schwarting, Andreas Seekircher, Ruben Stein (2007). B-Smart (Bremen Small Multi-Agent Robot Team) Team Description for RoboCup 2007. In In RoboCup 2007: Robot Soccer World Cup XI Preproceedings. RoboCup Federation.
	T. Laue, T. Röfer (2007). Integrating Simple Unreliable Perceptions for Accurate Robot Modeling in the Four-Legged League. In G. Lakemeyer, E. Sklar, D. Sorrenti, T. Takahashi (Eds.), RoboCup 2006: Robot Soccer World Cup X, No. 4434, pp. 474–482, Lecture Notes in Artificial Intelligence. Springer.
	T. Laue, T. Röfer (2007). Particle Filter-based State Estimation in a Competitive and Uncertain Environment. In Proceedings of the 6th International Workshop on Embedded Systems. VAMK, University of Applied Sciences, Vaasa, Finland.
	Christoph Lüth, Bernd Krieg-Brückner (2007). Sicherheit in der Künstlichen Intelligenz. In Künstliche Intelligenz, Vol. 1, pp. 51–52.
	David Aspinall, Christoph Lüth, Daniel Winterstein (2007). A Framework for Interactive Proof. In Mathematical Knowledge Management MKM 2007, Vol. 4573, pp. 161–175, Lecture Notes in Artificial Intelligence. Springer.
	Klaus Lüttich, Till Mossakowski (2007). Reasoning Support for CASL with Automated Theorem Proving Systems. In J. Fiadeiro (Ed.), WADT 2006, Vol. 4409, pp. 74–91. Springer-Verlag Heidelberg.
	C.Mandel, U.Frese (2007). Comparison of Wheelchair User Interfaces for the Paralysed: Head-Joystick vs. Verbal Path Selection from an offered Route-Set. In Proceedings of the 3rd European Conference on Mobile Robots (ECMR 2007).
	C. Mandel, U. Frese, T. Röfer (2007). Design Improvements for Proportional Control of Autonomous Wheelchairs Via 3DOF Orientation Tracker. In Proceedings of the 9th International Work-Conference on Artificial Neural Networks (IWANN'2007), Lecture Notes in Computer Science. Springer, Berlin.
	C. Mandel, T. Röfer, U. Frese (2007). Applying a 3DOF Orientation Tracker as a Human-Robot Interface for Autonomous Wheelchairs. In Proceedings of the 10th International Conference on Rehabilitation Robotics.
	Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Orna Grumberg, Michael Huth (Eds.), TACAS 2007, Vol. 4424, pp. 519–522, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	Till Mossakowski, Markus Roggenbach (2007). Structured CSP -- A Process Algebra as an Institution. In J. Fiadeiro (Ed.), WADT 2006, Vol. 4409, pp. 92–110, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	Till Mossakowski, Ugo Montanari, Magne Haveraaen (Eds.) (2007). CALCO 2007. Second conference on algebra and coalgebra in computer science. Vol. 4624, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Bernhard Beckert (Ed.), VERIFY 2007, 4th International Verification Workshop, Vol. 259, pp. 119–135, CEUR Workshop Proceedings.
	Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki (2007). What is a Logic? (revised version). In Jean-Yves Beziau (Ed.), Logica Universalis, pp. 111–133. Birkhäuser.
	C. Niehaus, T. Röfer T. Laue (2007). Gait Optimization on a Humanoid Robot using Particle Swarm Optimization. In C. Zhou, E. Pagello, E. Menegatti, S. Behnke (Eds.), Proceedings of the Second Workshop on Humanoid Soccer Robots in conjunction with the 2007 IEEE-RAS International Conference on Humanoid Robots.
	Thomas Röfer, Christoph Budelmann, Martin Fritsche, Tim Laue, Judith Müller, Cord Niehaus, Florian Penquitt (2007). B-Human Team Description for RoboCup 2007. In RoboCup 2007: Robot Soccer World Cup XI Preproceedings. RoboCup Federation.
	T. Röfer, J. Brose, D. Göhring, M. Jüngel, T. Laue, M. Risler (2007). GermanTeam 2007. In U. Visser, F. Ribeiro, T. Ohashi, F. Dellaert (Eds.), RoboCup 2007: Robot Soccer World Cup XI Preproceedings. RoboCup Federation.
	Lutz Schröder (2007). A finite model construction for coalgebraic modal logic. In Journal of Logic and Algebraic Programming (FOSSACS 06 special issue), Vol. 73, pp. 97–110. Extends (Schröder 2006).
	Lutz Schröder, Dirk Pattinson (2007). Rank-1 Modal Logics are Coalgebraic. In Wolfgang Thomas, Pascal Weil (Eds.), Theoretical Aspects of Computer Science (STACS 07), Vol. 4393, pp. 573–585, Lecture Notes in Computer Science. Springer. Extended version available.
	Lutz Schröder (2007). Book review: L. M. G. Feijs and H. B. M. Jonkers, Formal Specification and Design, Cambridge University Press, 2005. The Computer Journal 50 (2007), pp. 129-130.
	Lutz Schröder, Till Mossakowski (2007). Coalgebraic Modal Logic in CoCASL. In José Luiz Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Vol. 4409, pp. 128–142, Lecture Notes in Computer Science. Springer.
	Lutz Schröder (2007). Bootstrapping Types and Cotypes in HasCASL. In Till Mossakowski, Udo Montanari (Eds.), Algebra and Coalgebra in Computer Science (CALCO 07), Vol. 4624, pp. 447–462, Lecture Notes in Computer Science. Springer. Extended version available.
	Lutz Schröder, Dirk Pattinson (2007). Modular Algorithms for Heterogeneous Modal Logics. In Lars Arge, Andrzej Tarlecki, Christian Cachin (Eds.), Automata, Languages and Programming (ICALP 07), Vol. 4596, pp. 459–471, Lecture Notes in Computer Science. Springer.
	Thora Tenbrink, Hui Shi (2007). Negotiating Spatial Goals with a Wheelchair. In S. Keizer, H. Bunt, T. Paek (Eds.), Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue.
	Stefan Wölfl, Till Mossakowski, Lutz Schröder (2007). Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In David Wilson, Geoff Sutcliffe (Eds.), 20th International FLAIRS Conference (FLAIRS-20), pp. 665–670. AAAI Press.

2006     Back to top

	Bernd Krieg-Brückner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In M. Raubal, H. Miller, A. Frank, M. Goodchild (Eds.), Geographic Information Science - Fourth International Conference, GIScience 2006, Vol. 4197, Lecture Notes in Computer Science. Springer, Berlin.
	Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde (2006). Adaptive Star Grammars. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari,, Leila Ribeiro , Grzegorz Rozenberg (Eds.), 3rd International Conference on Graph Transformation (ICGT'06), Vol. 4178, pp. 77–91, Lecture Notes in Computer Science. Springer.
	U. Frese (2006). A Discussion of Simultaneous Localization and Mapping. In Autonomous Robots, 20 (1), pp. 25–42.
	U. Frese (2006). Treemap: An $O(log n)$ Algorithm for Indoor Simultaneous Localization and Mapping. In Autonomus Robots, 21 (2), pp. 103–122.
	U. Frese, L. Schröder (2006). Closing a Million-Landmarks Loop. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing.
	U. Frese (2006). Treemap: An $O(log n)$ Algorithm for Indoor Simultaneous Localization and Mapping. No. 006-03/2006. Universität Bremen, SFB/TR 8 Spatial Cognition. Companion report to the Autonomous Robots article with the same title..
	U. Frese (2006). Using Treemap as a Generic Least Square Backend for 6-DOF SLAM. In Procedings of the Spatial Cognition V Workshop Robotic 3D Environment Cognition. (read the ICRA07 paper instead).
	Sergey Goncharov, Lutz Schröder, Till Mossakowski (2006). Completeness of Global Evaluation Logic. In Rastislav Kralovic, Pawel Urzyczyn (Eds.), Mathematical Foundations of Computer Science, Vol. 4162, pp. 447–458, Lecture Notes in Computer Science. Springer, Berlin.
	Daniel Hausmann, Till Mossakowski, Lutz Schröder (2006). A Coalgebraic Approach to the Semantics of the Ambient Calculus. In Theoretical Computer Science, 366 (1-2), pp. 121–143. Extends (Hausmann et al. 2005).
	Berthold Hoffmann, Dirk Janssens, Van Eetvelde, Niels (2006). Cloning and Expanding Graph Transformation Rules for Refactoring. In Electronic Notes in Theoretical Computer Science, Vol. 152, pp. 53–67.
	K. Huebner, J. Zhang (2006). Stable Symmetry Feature Detection and Classification in Panoramic Robot Vision Systems. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 3429–3434.
	K. Huebner, D. Westhoff, J. Zhang (2006). A Comparison of Regional Feature Detectors in Panoramic Images. In Proceedings of the 2006 IEEE International Conference on Information Acquisition, pp. 666–671.
	K. Huebner (2006). Symmetriesignaturen für bildbasierte Anwendungen in der Robotik.R. Drechsler, M. Gogolla, H.-J. Kreowski, B. Krieg-Brückner, J. Peleska (Eds.), Vol. 24, BISS Monographs. Logos Verlag, Berlin.
	Bernd Krieg-Brückner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In Raubal, M., Miller, H.J., Frank, A.U., Goodchild, M.F. (Eds.), Proc. International Conference GIScience 2006, Münster, Germany, Vol. 4197, pp. 234–250, Lecture Notes in Computer Science. Springer Verlag. (to appear).
	Tim Laue, Torben Schindler, Florian Penquitt, Armin Burchardt, Oliver Birbach, Carsten Elfers, Kai Stoye (2006). B-Smart (Bremen Small Multi-Agent Robot Team) Team Description for RoboCup 2006. In In RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup Federation.
	T. Laue, T. Röfer (2006). Getting Upright: Migrating Concepts and Software from Four-Legged to Humanoid Soccer Robots. In E. Pagello, C. Zhou, E. Menegatti (Eds.), Proceedings of the Workshop on Humanoid Soccer Robots in conjunction with the 2006 IEEE International Conference on Humanoid Robots.
	T. Laue, K. Spiess, T. Röfer (2006). SimRobot - A General Physical Robot Simulator and Its Application in RoboCup. In A. Bredenfeld, A. Jacoff, I. Noda, Y. Takahashi (Eds.), RoboCup 2005: Robot Soccer World Cup IX, No. 4020, pp. 173–183, Lecture Notes in Artificial Intelligence. Springer.
	Maksym Bortin, Einar Broch Johnsen, Christoph Lüth (2006). Structured Formal Development in Isabelle. In Nordic Journal of Computing, Vol. 12, pp. 1–20.
	David Aspinal, Christoph Lüth, Daniel Winterstein, Ahsan Fayyaz (2006). Proof General in Eclipse. In Eclipse Technology eXchange ETX'06. ACM Press.
	Klaus Lüttich (2006). Approximation of Ontologies in CASL. In Brandon Bennett, Christiane Fellbaum (Eds.), Formal Ontology in Information Systems -- Proceedings of the Fourth International Conference (FOIS-2006), Vol. 150, pp. 335–346, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam.
	Klaus Lüttich, Claudio Masolo, Stefano Borgo (2006). Development of Modular Ontologies in CASL. In P. Haase, V. Honavar, O. Kutz, Y. Sure, A. Tamilin (Eds.), Workshop on Modular Ontologies 2006, Vol. 232, CEUR Workshop Proceedings. CEUR-WS.org.
	Hartwig H. Hochmair, Klaus Lüttich (2006). An Analysis of the Navigation Metaphor -- And Why It Works for the World Wide Web. In Spatial Cognition and Computation, 6 (3), pp. 235–278.
	C. Mandel, U. Frese, T. Röfer (2006). Robot Navigation based on the Mapping of Coarse Qualitative Route Descriptions to Route Graphs. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2006), pp. 205–210.
	Michael Wünstel, Thomas Röfer (2006). Feature Based Registration of Range Images in Domestic Environments. In Computer Vision and Graphics, ICCVG 2004, pp. 648–654, Computational Imaging and Vision. Springer, Dordrecht, The Netherlands.
	Michael Wünstel, Thomas Röfer (2006). A Probabilistic Approach for Object Recognition in a Real 3-D Office Environment. In Vaclav Skala (Ed.), WSCG’2006 Posters Proceedings, pp. 41–42.
	Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel (2006). Algebraic-co-algebraic specification in CoCASL. In Journal of Logic and Algebraic Programming, 67 (1-2), pp. 146–197. Extends (Mossakowski et al. 2003).
	T. Mossakowski, S. Autexier, D. Hutter (2006). Development Graphs -- Proof Management for Structured Specifications. In Journal of Logic and Algebraic Programming, 67 (1-2), pp. 114–145.
	Till Mossakowski (2006). Institutional 2-cells and Grothendieck institutions. In K. Futatsugi, J.-P. Jouannaud, J. Meseguer (Eds.), Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Vol. 4060, pp. 124–149, Lecture Notes in Computer Science. Springer, Berlin.
	Till Mossakowski (2006). Monad-Based Logics for Computational Effects. In M. Johnson, V. Vene (Eds.), AMAST 2006, Vol. 4019, pp. 3–4, Lecture Notes in Computer Science. Springer, Berlin.
	Till Mossakowski, Lutz Schröder, Stefan Wölfl (2006). A Categorical Perspective on Qualitative Constraint Calculi. In Stefan Wölfl, Till Mossakowski (Eds.), Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pp. 28–39.
	Till Mossakowski (2006). Hets User Guide. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	W. Nistico, T. Röfer (2006). Improving percept reliability in the Sony Four-Legged League. In A. Bredenfeld, A. Jacoff, I. Noda, Y. Takahashi (Eds.), RoboCup 2005: Robot Soccer World Cup IX, No. 4020, pp. 545–552, Lecture Notes in Artificial Intelligence. Springer.
	Thomas Röfer, Martin Fritsche, Matthias Hebbel, Thomas Kindler, Tim Laue, Cord Niehaus, Walter Nistico, Philippe Schober (2006). BreDoBrothers Team Description for RoboCup 2006. In RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup Federation.
	T. Röfer, J. Brose, E. Carls, J. Carstens, D. Göhring, M. Jüngel, T. Laue, T. Oberlies, S. Oesau, M. Risler, M. Spranger, C. Werner, J. Zimmer (2006). GermanTeam 2006. In G. Lakemeyer, E. Sklar, D. Sorrenti, T. Takahashi (Eds.), RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup Federation.