Publications

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

	Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark. Adaptive Star Grammars and Their Languages. In Theoretical Computer Science, (p. 41). . Accepted for publication.
	Pérez, Javier, Crespo, Yania, Hoffmann, Berthold, Mens, Tom. A Case Study to Evaluate the Suitability of Graph Transformation Tools for Program Refactoring. In International Journal on Software Tools for Technology Transfer. Accepted for publication..
	B. Krieg-Brückner, H. Shi, B. Gersdorf, M. Döhle, T. Röfer. Context-Sensitive Spatial Interaction and Ambient Control. In Mastrogiovanni, F. Chong, N.-Y. (Eds.), Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives.
	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 (Eds.), RoboCup 2009: Robot Soccer World Cup XIII, Lecture Notes in Artificial Intelligence. Springer.
	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

	O. Birbach, J. Kurlbaum, T. Laue, U. Frese (2009). Tracking of Ball Trajectories with a Free Moving Camera-Inertial Sensor. In Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou (Eds.), RoboCup 2008: Robot Soccer World Cup XII, Vol. 5399, pp. 49–60, Lecture Notes in Computer Science. Springer.
	Oliver Birbach, Udo Frese (2009). A Multiple Hypothesis Approach for a Ball Tracking System. In J. Piater, B. Schiele, M. Fritz (Eds.), Computer Vision Systems, Vol. 5815, pp. 435–444, Lecture Notes in Computer Science. Springer.
	Mihai Codescu (2009). Generalized Theoroidal Institution Comorphisms. In Andrea Corradini, Ugo Montanari (Eds.), WADT 2008, Vol. 5486, pp. 88–101, Lecture Notes in Computer Science. Springer.
	Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski (2009). The VSE Refinement Method in HETS. In K. Breitman, A. Cavalcanti (Eds.), ICFEM 2009, Vol. 5885, Lecture Notes in Computer Science. Springer.
	U. Frese (2009). Gutachten zur Spezifikation des Odometriealgorithmus. Deutsches Forschungszentrum für Künstliche Intelligenz, Robert-Hooke-Straße 5, 28359 Bremen. Industrieauftrag der Fa. Deuta Werke, Bergisch-Gladbach.
	Berthold Hoffmann (2009). Program Graph Transformation. In Hoffmann, Berthold, Lüth, Christoph, Mossakowski, Till, Schröder, Lutz (Eds.), Specification, Transformation, Navigation -- Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday, pp. 152–167. Sichere Kognitive Systeme, DFKI Bremen.
	Drewes, Frank, Habel, Annegret, Hoffmann, Berthold, Plump, Detlef (Eds.) (2009). Manipulation of Graphs, Algebras and Pictures. Universität Bremen.
	Hoffmann, Berthold (2009). Conditional Adaptive Star Grammars. In Manipulation of Graphs, Algebras, Pictures (Eds.), Manipulation of Graphs, Algebras and Pictures, pp. 171–189.
	Shoudong Huang, Zhan Wang, Gamini Dissanayake, Udo Frese (2009). Iterated D-SLAM Map Joining -- Evaluating its performance in terms of consistency, accuracy and efficiency. In Autonomous Robots, special issue on Characterizing Mobile Robot Localization and Mapping, 27 (4), pp. 409–429.
	J. Kurlbaum, U. Frese (2009). A Benchmark Dataset for Data Association. SFB/TR 8 Spatial Cognition. SFB/TR 8 Technical Report 017-02/2009.
	Tim Laue, Matthias Hebbel (2009). Automatic Parameter Optimization for a Dynamic Robot Simulation. In Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou (Eds.), RoboCup 2008: Robot Soccer World Cup XII, No. 5399, pp. 121–132, Lecture Notes in Artificial Intelligence. Springer.
	C. Mandel, T. Lüth, T. Laue, T. Röfer, A. Gräser, B. Krieg-Brückner (2009). Navigating a Smart Wheelchair with a Brain-Computer Interface Interpreting Steady-State Visual Evoked Potentials. In Ning Xi, W. R. Hamel (Eds.), Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 1118–1125. IEEE.
	Bernhard Graimann, Brendan Allison, Christian Mandel, Thorsten Lüth, Diana Valbuena, Axel Gräser (2009). Non-invasive Brain-Computer Interfaces for Semi-autonomous Assistive Devices. In Robust Intelligent Systems. Springer Verlag, London.
	Marvin Schiller, Christoph Benzmüller (2009). Presenting Proofs with Adapted Granularity. In Bärbel Mertsching, Marcus Hund, Zaheer Aziz (Eds.), KI 2009: Advances in Artificial Intelligence - 32nd Annual German Conference on AI, Lecture Notes in Artificial Intelligence. Springer.
	Till Mossakowski, Andrzej Tarlecki (2009). Heterogeneous Logical Environments for Distributed Specifications. In Andrea Corradini, Ugo Montanari (Eds.), WADT 2008, Vol. 5486, (p. 266–289). , Lecture Notes in Computer Science. Springer.
	Till Mossakowski (2009). On Teaching Logic and Algebraic Specification. In Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump (Eds.), Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, pp. 269–286.
	T. Röfer, C. Mandel, T. Laue (2009). Controlling an Automated Wheelchair via Joystick/Head-Joystick Supported by Smart Driving Assistance. In Proceedings of the 2009 IEEE 11th International Conference on Rehabilitation Robotics, pp. 743–748.

2008     Back to top

	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.
	Mihai Codescu, Daniel Gaina (2008). Birkhoff Completeness in Institutions. In Logica Universalis, 2 (2), pp. 277–309.
	Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark (2008). Adaptive Star Grammars and Their Languages. No. 2008-01. Departement Wiskunde-Informatica, Universiteit Antwerpen. Technical Report.
	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.
	S. Huang, Z. Wang, G. Dissanayake, U. Frese (2008). Iterated SLSJF: A Sparse Local Submap Joining Algorithm with Improved Consistency. In Proceedings of the Australasian Conference on Robotics and Automation, Canberaa.
	M. Gissler, U. Frese, M. Teschner (2008). Exact Distance Computation for Deformable Objects. In Proc. Computer Animation and Social Agents.
	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.
	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, Dominik Lücke, Till Mossakowski, Immanueal Normann (2008). The OWL in the CASL - Designing Ontologies Across Logics. In Catherine Dolbear, Alan Ruttenberg, Uli Sattler (Eds.), OWL: Experiences and Directions, 5th International Workshop (OWLED-08), No. 432. CEUR-WS.
	Oliver Kutz, Dominik Lücke, Till Mossakowski (2008). Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE. In First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08).
	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.
	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.

2007     Back to top

	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.
	Klaus Lüttich (2007). Development of Structured Ontologies in CASL. Universität Bremen, Bibliothekstraße 1, 28359 Bremen, Germany.
	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.
	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.

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). 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..
	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, 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.
	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, 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.
	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.
	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.
	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, T. Laue, D. Thomas (2006). Particle-filter-based self-localization using landmarks and directed lines. In A. Bredenfeld, A. Jacoff, I. Noda, Y. Takahashi (Eds.), RoboCup 2005: Robot Soccer World Cup IX, No. 4020, pp. 608–615, Lecture Notes in Artificial Intelligence. Springer.
	Stefan Wölfl, Till Mossakowski (Eds.) (2006). Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings.

2005     Back to top

	U. Frese (2005). Treemap: An $O(log n)$ Algorithm for Simultaneous Localization and Mapping. In C. Freksa (Ed.), Spatial Cognition IV, pp. 455–476. Springer Verlag. read the Autonomous Robots paper instead.
	Daniel Hausmann, Till Mossakowski, Lutz Schröder (2005). Iterative Circular Coinduction for CoCASL in Isabelle/HOL. In Maura Cerioli (Ed.), Fundamental Approaches to Software Engineering 2005, Vol. 3442, pp. 341–356, Lecture Notes in Computer Science. Springer, Berlin.
	Jens Hilljegerdes, Dirk Spenneberg, Frank Kirchner (2005). The Construction of the Four Legged Prototype Robot ARAMIES. In Proceedings of CLAWAR 2005.
	Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas (2005). Rule-Based Programming with Diaplan. In Electronic Notes in Theoretical Computer Science, 117 (1).
	Berthold Hoffmann (2005). Graph Transformation with Variables. In Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (Eds.), Formal Methods in Software and System Modeling (Festschrift for Hartmut Ehrig on the Occasion of his 60th Birthday), Vol. 3393, pp. 101–115, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	Kathrin Hoffmann, Francesco Parisi-Presicce, Till Mossakowski (2005). Higher-order nets for mobile policies. In Workshop on Petri Nets and Graph Transformations, 127 (2), pp. 87–105, Electronic Notes in Theoretical Computer Science. Elsevier Science.
	Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski (2005). High-Level Nets with Nets and Rules as Tokens. In 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 3536, pp. 268–288, Lecture Notes in Computer Science. Springer Verlag, London.
	K. Huebner, D. Westhoff, J. Zhang (2005). Optimized Quantitative Bilateral Symmetry Detection. In International Journal of Information Acquisition (IJIA), 2 (3), pp. 241–249.
	B. Krieg-Brückner, U. Frese, K. Lüttich, C. Mandel, T. Mossakowski, R. Ross (2005). Specification of an Ontology for Route Graphs. In C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky (Eds.), Spatial Cognition IV, Vol. 3343, pp. 390–412, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.
	Jörg Kurlbaum, Tim Laue, Florian Penquitt, Marian Weirich (2005). Bremen Small Multi-Agent Robot Team (B-Smart) Team Description for RoboCup 2005. In In RoboCup 2005: Robot Soccer World Cup IX Preproceedings. RoboCup Federation.
	T. Laue, T. Röfer (2005). A Behavior Architecture for Autonomous Mobile Robots Based on Potential Fields. In RoboCup 2004: Robot World Cup VIII, No. 3276, pp. 122–133, Lecture Notes in Artificial Intelligence. Springer.
	P. Lima, L. Custódio, L. Akin, A. Jacoff, G. Kraezschmar, N. B. Kiat, O. Obst, T. Röfer, Y. Takahashi, C. Zhou (2005). RoboCup 2004 Competitions and Symposium: A Small Kick for Robots, a Giant Score for Science. In AI Magazine, 26 (2), pp. 36–61.
	Christoph Lüth, Markus Roggenbach, Lutz Schröder (2005). CCC - The CASL Consistency Checker. In José Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Vol. 3423, pp. 94–105, Lecture Notes in Computer Science. Springer, Berlin.
	Neil Ghani, Christoph Lüth, Federico de Marchi (2005). Monads of Coalgebras: Rational Terms and Term Graphs. In Mathematical Structures in Computer Science, 15 (3), pp. 433–451. To appear.
	Micheal Abbot, Neil Ghani, Christoph Lüth (2005). Abstract Modularity. In Jürgen Giesl (Ed.), Rewriting Techniques and Applications RTA'05, Vol. 3467, pp. 46–60, Lecture Notes in Computer Science. Springer.
	David Aspinall, Christoph Lüth, Burkhart Wolff (2005). Assisted Proof Document Authoring. In Michael Kohlhase (Ed.), Mathematical Knowledge Management MKM 2005, Vol. 3863, pp. 65–80, Lecture Notes in Artificial Intelligence. Springer.
	K. Lüttich, T. Mossakowski, B. Krieg-Brückner (2005). Ontologies for the Semantic Web in CASL. In J. L. Fiadeiro, P. Mosses, F. Orejas (Eds.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Vol. 3423, pp. 106–125, Lecture Notes in Computer Science. Springer, Berlin.
	Klaus Lüttich (2005). Approximation of Ontologies in CASL. In P. Mosses, J. Power, M. Seisenberger (Eds.), CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, pp. 41–53, Report Series. University of Wales Swansea.
	Achim Mahnke, Jan Scheffczyk (2005). Engineering Mathematical Knowledge. In Michael Kohlhase (Ed.), Proceedings of the 4th International Conference on Mathematical Knowledge Management (MKM05), Bremen, Germany, Vol. 3863, pp. 250–266, LNAI. Springer-Verlag Heidelberg.
	C. Mandel, K. Huebner, T. Vierhuff (2005). Towards an Autonomous Wheelchair: Cognitive Aspects in Service Robotics. In Proceedings of Towards Autonomous Robotic Systems (TAROS 2005), pp. 165–172.
	T. Mossakowski, D. Sannella, A. Tarlecki (2005). A simple refinement language for CASL. In Jose Luiz Fiadeiro (Ed.), WADT 2004, Vol. 3423, pp. 162–185, Lecture Notes in Computer Science. Springer, Berlin.
	Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki (2005). What is a Logic?. In Jean-Yves Beziau (Ed.), Logica Universalis, pp. 113–133. Birkhäuser.
	Till Mossakowski (2005). Heterogeneous Theories and the Heterogeneous Tool Set. In Y. Kalfoglou, M. Schorlemmer, A. Sheth, S. Staab, M. Uschold (Eds.), Semantic Interoperability and Integration, No. 04391, Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ.
	Till Mossakowski (2005). Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen. Habilitation thesis.
	T. Röfer (2005). Evolutionary Gait-Optimization Using a Fitness Function Based on Proprioception. In RoboCup 2004: Robot World Cup VIII, No. 3276, pp. 310–322, Lecture Notes in Artificial Intelligence. Springer.
	T. Röfer (2005). From Perception to Action in the Sony Four-Legged Robot League. In Raul Rojas (Ed.). IT - Information Technology. Schwerpunktthema: Autonomous Robotic Soccer, No. 5, pp. 266–273. Oldenbourg Wissenschaftsverlag.
	T. Röfer, R. Brunn, S. Czarnetzki, M. Dassler, M. Hebbel, M. Jüngel, T. Kerkhof, W. Nistico, T. Oberlies, C. Rohde, M. Spranger, C. Zarges (2005). GermanTeam 2005. In A. Bredenfeld, A. Jacoff, I. Noda, Y. Takahashi (Eds.), RoboCup 2005: Robot Soccer World Cup IX Preproceedings. RoboCup Federation.
	T. Röfer, T. Laue, M. Weber, H.-D. Burkhard, M. Jüngel, D. Göhring, J. Hoffmann, B. Altmeyer, T. Krause, M. Spranger, O. v. Stryk, R. Brunn, M. Dassler, M. Kunz, T. Oberlies, M. Risler, etc. (2005). GermanTeam RoboCup 2005. Online. 247 pages.
	T. Röfer, O. v. Stryk (2005). Softwarearchitektur: Ein Erfolgsfaktor beim Roboterfußball!. In OBJEKTspektrum, 2005 (4), pp. 31–32.
	Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, Bartek Klin (2005). Amalgamation in the semantics of CASL. In Theoretical Computer Science, 331 (1), pp. 215–247.
	Lutz Schröder, Till Mossakowski, Christoph Lüth (2005). Type class polymorphism in an institutional framework. In José Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Vol. 3423, pp. 234–248, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder (2005). Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In Vladimiro Sassone (Ed.), Foundations of Software Science And Computation Structures, Vol. 3441, pp. 440–454, Lecture Notes in Computer Science. Springer, Berlin.
	Hui Shi, Robert Ross, John Bateman (2005). Formalising Control in Robust Spoken Dialogue Systems. In Bernhard K. Aichernig, Bernhard Beckert (Eds.), Software Engineering and Formal Methods 2005, pp. 332–341, IEEE. IEEE Computer Society.
	Hui Shi, John Bateman (2005). Developing human-robot dialogue management formally. In The Society for Text and Discourse 15th Annual Meeting.
	T. Wagner, K. Huebner (2005). An Egocentric Qualitative Spatial Knowledge Representation Based on Ordering Information for Physical Robot Navigation. In D. Nardi, M. Riedmiller, C. Sammut (Eds.), RoboCup 2004: Robot Soccer World Cup VIII, Vol. 3276, pp. 134–149, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.
	Dennis Walter (2005). Monadic Dynamic Logic: Application and Implementation. Master's Thesis (Diplomarbeit).
	D. Westhoff, K. Huebner, J. Zhang (2005). Robust Illumination-Invariant Features by Quantitative Bilateral Symmetry Detection. In Proceedings of the 2005 IEEE International Conference on Information Acquisition, pp. 48–53. This paper became ICIA 2005 Finalist for Best Conference Paper Award.
	D. Wilking, T. Röfer (2005). Real-time Object Recognition Using Decision Tree Learning. In RoboCup 2004: Robot World Cup VIII, No. 3276, pp. 556–563, Lecture Notes in Artificial Intelligence. Springer.
	Stefan Wölfl, Till Mossakowski (2005). CASL Specifications of Qualitative Calculi. In A. G. Cohn, D. M. Mark (Eds.), Conference on Spatial Information Theory, Vol. 3693, pp. 200–217, Lecture Notes in Computer Science. Springer, Berlin.

2004     Back to top

	Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki (2004). CASL Semantics. In Peter D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, Lecture Notes in Computer Science. Springer Verlag, London. Part. Ëdited by D. Sannella and A. Tarlecki.
	M. Drouineaud, M. Bortin, P. Torrini, K. Sohr (2004). A First Step towards Formal Verification of Security Policy Properties of RBAC. In H.-D. Ehrich, K.-D. Schewe (Eds.), Procceedings of the Fourth International Conference on Quality Software, IEEE.
	U. Frese (2004). An $O(log n)$ Algorithm for Simulateneous Localization and Mapping of Mobile Robots in Indoor Environments. University of Erlangen-Nürnberg.
	Annegret Habel, Berthold Hoffmann (2004). Parallel Independence in Hierarchical Graph Transformation. In International Conference on Graph Transformation, No. 3256, pp. 178–193, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	K. Huebner (2004). A Symmetry Operator and its Application to the RoboCup. In Daniel Polani, Brett Browning, Andrea Bonarini, Kazuo Yoshida (Eds.), RoboCup 2003: Robot Soccer World Cup VII, Vol. 3020, pp. 274–283, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.
	K. Huebner (2004). Symmetrie als kognitives Bildmerkmal. In D. Droege, D. Paulus (Eds.), 10. Workshop Farbbildverarbeitung, pp. 66–73. Der Andere Verlag, Tönning, Lübeck und Marburg.
	Raimund Klein (2004). Ein Interpreter für Diaplan, eine regelbasierte Sprache zum Programmieren mit Graphen und Diagrammen. Universität Bremen. Diplomarbeit.
	CoFI Language Design Group, B. Krieg-Brückner, P.D. Mosses (2004). CASL Syntax / CASL Summary. In P.D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	B. Krieg-Brückner, A. Lindow, C. Lüth, A. Mahnke, G. Russell (2004). Semantic Interrelation of Documents via an Ontology. In G. Engels, S. Seehusen (Eds.), DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik, 6.-8. September 2004, Paderborn, Germany, pp. 271–282, Lecture Notes in Informatics. Springer-Verlag, D-69121 Heidelberg, Germany.
	A. Mahnke, B. Krieg-Brückner (2004). Literate Ontology Development. In Robert Meersman, Zahir Tari, Angelo Corsaro et al. (Eds.), On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, Vol. 3292, pp. 753–757, Lecture Notes in Computer Science. Springer, Berlin.
	Bernd Krieg-Brückner, Hui Shi, Robert Ross (2004). A Safe and Robust Approach to Shared-Control via Dialogue. In In Chinese Journal of Software, 15 (12).
	Jörg Kurlbaum, Tim Laue, Björn Lück, Björn Mohrmann, Martin Poloczek, Dschen Reinecke, Tim Riemenschneider, Thomas Röfer, Simon Hendrik, Ubbo Visser (2004). Bremen Small Multi-Agent Robot Team (B-Smart) Team Description for RoboCup 2004. In RoboCup 2004: Robot Soccer World Cup VIII Preproceedings. RoboCup Federation.
	Neil Ghani, Christoph Lüth (2004). Rewriting via Coinserters. In Nordic Journal of Computing, Vol. 10, pp. 290–312.
	Einar Broch Johnsen, Christoph Lüth (2004). Abstracting Transformations for Refinement. In Nordic Journal of Computing, Vol. 10, pp. 316–336.
	Einar Broch Johnsen, Christoph Lüth (2004). Theorem Reuse by Proof Term Transformation. In Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (Eds.), International Conference on Theorem Proving in Higher-Order Logics TPHOLs 2004, Vol. 3223, pp. 152–167, Lecture Notes in Computer Science. Springer.
	K. Lüttich, B. Krieg-Brückner, T. Mossakowski (2004). Tramway Networks as Route Graphs. In E. Schnieder, G. Tarnai (Eds.), FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 109–119.
	K. Lüttich, T. Mossakowski (2004). Specification of Ontologies in CASL. In Achille C. Varzi, Laure Vieu (Eds.), Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), Vol. 114, pp. 140–150, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam.
	Michael Megrelishvili, Lutz Schröder (2004). Globalization of Confluent Partial Actions on Topological and Metric Spaces. In Topology and Applications, Vol. 145, pp. 119–145.
	Till Mossakowski, Piotr Hoffman, Serge Autexier, Dieter Hutter (2004). CASL Logic. In Peter D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, Lecture Notes in Computer Science. Springer Verlag, London. Part. Ëdited by T. Mossakowski.
	T. Mossakowski (2004). HetCASL - Heterogeneous Specification. Language Summary.
	T. Mossakowski (2004). ModalCASL - Specification with Multi-Modal Logics. Language Summary.
	T. Mossakowski (2004). CASL Sublanguages and extensions. In Peter D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, pp. 61–69, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (2004). CASL Tools. In M. Bidoit, P. D. Mosses (Eds.), CASL User Manual, Vol. 2900, pp. 131–142, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (2004). CASL Basic Libraries. In M. Bidoit, P. D. Mosses (Eds.), CASL User Manual, Vol. 2900, pp. 143–154, Lecture Notes in Computer Science. Springer Verlag, London.
	Reinhard Moratz, Michael Wünstel, Robert Ross (2004). Qualitative Spatial Arrangements and Natural Object Categories as a Link between 3D Perception and Speech. In Proc. of the 8th Pacific Rim International Conference on Artificial Intelligence.
	Markus Roggenbach, Lutz Schröder, Till Mossakowski (2004). Libraries. In Peter Mosses (Ed.), CASL reference manual, Vol. 2960, Lecture Notes in Computer Science. Springer, Berlin. Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html.
	R. Ross, H. Shi, T. Vierhuff, B. Krieg-Brückner, J. Bateman (2004). Towards Dialogue Based Shared Control of Navigating Robots. In C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky (Eds.), Spatial Cognition 2004, Vol. 3343, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	T. Röfer, R. Brunn, I. Dahm, M. Hebbel, J. Hoffmann, M. Jüngel, T. Laue, M. Lötzsch, W. Nistico, M. Spranger (2004). GermanTeam 2004. In RoboCup 2004: Robot World Cup VIII Preproceedings. RoboCup Federation.
	T. Röfer, I. Dahm, U. Düffert, J. Hoffmann, M. Jüngel, M. Kallnik, M. Lötzsch, M. Risler, M. Stelzer, J. Ziegler (2004). GermanTeam 2003. In RoboCup 2003: Robot World Cup VII, No. 3020, Lecture Notes in Artificial Intelligence. Springer. on CD.
	T. Röfer, M. Jüngel (2004). Fast and robust edge-based localization in the Sony Four-Legged Robot League. In RoboCup 2003: Robot World Cup VII, No. 3020, pp. 262–273, Lecture Notes in Artificial Intelligence. Springer.
	T. Röfer, T. Laue, H.-D. Burkhard, J. Hoffmann, M. Jüngel, D. Göhring, M. Lötzsch, U. Düffert, M. Spranger, B. Altmeyer, V. Goetzke, O. v. Stryk, R. Brunn, M. Dassler, M. Kunz, M. Risler, etc. (2004). GermanTeam RoboCup 2004. Online. 299 pages.
	Lutz Schröder, Till Mossakowski (2004). Generic exception handling and the Java monad. In Charles Rattray, Savitri Maharaj, Carron Shankland (Eds.), Algebraic Methodology and Software Technology, Vol. 3116, pp. 443–459, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder, Till Mossakowski (2004). Monad-independent dynamic logic in HasCASL. In Journal of Logic and Computation, 14 (4), pp. 571–619. Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.
	Lutz Schröder (2004). The logic of the partial λ-calculus with equality. In Jerzy Marcinkowski, Andrzej Tarlecki (Eds.), Computer Science Logic (CSL 04), Vol. 3210, pp. 385–399, Lecture Notes in Computer Science. Springer, Berlin.
	T. Wagner, K. Huebner (2004). An Egocentric Qualitative Spatial Knowledge Representation Based on Ordering Information for Physical Robot Navigation. ECAI-04, Workshop on Issues in Designing Physical Agents for Dynamic Real-Time Environments.
	Michael Wünstel, Reinhard Moratz (2004). Automatic Object Recognition within an Office Environment. In CRV 2004 Canadian Conference on Computer and Robot Vision, IEEE.

2003     Back to top

	Frank Drewes, Berthold Hoffmann, Mark Minas (2003). Context-Exploiting Shapes for Diagram Transformation. In Machine Graphics and Vision, 12 (1), pp. 117–132.
	Michael Drouineaud, Arnd Lüder, Karsten Sohr (2003). A role-based control model for agent-based control systems. In Proceedings of Proceedings of the 1st IEEE International Conference on Industrial Informatics.
	U. Frese, T. Duckett (2003). A Multigrid Approach for Accelerating Relaxation-based SLAM. In 18. Fachgespräch Autonome mobile Systeme. (read Transactions paper instead).
	Berthold Hoffmann (2003). Abstraction and Control for Shapely Nested Graph Transformation. In Fundamenta Informaticae, 58 (1), pp. 39–65.
	Kathrin Hoffmann, Till Mossakowski (2003). Algebraic Higher Order Nets: Graphs and Petri Nets as Tokens. In M. Wirsing, D. Pattinson, R. Hennicker (Eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, Vol. 2755, pp. 253–267, Lecture Notes in Computer Science. Springer Verlag, London.
	K. Huebner (2003). A 1-Dimensional Symmetry Operator for Image Feature Extraction in Robot Applications. In J.S. Zelek, J. Barron (Eds.), 16th International Conference on Vision Interface, pp. 286–291.
	B. Krieg-Brückner, D. Hutter, A. Lindow, C. Lüth, A. Mahnke, E. Melis, P. Meier, A. Poetzsch-Heffter, M. Roggenbach, G. Russell, J.-G. Smaus, M. Wirsing (2003). MultiMedia Instruction in Safe and Secure Systems. In M. Wirsing, D. Pattinson, R. Hennicker (Eds.), Recent Trends in Algebraic Development Techniques, Vol. 2755, pp. 82–117, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	A. Lankenau, T. Röfer, B. Krieg-Brückner (2003). Self-Localization in Large-Scale Environments for the Bremen Autonomous Wheelchair. In C. Freksa, W. Brauer, C. Habel, K. F. Wender (Eds.), Spatial Cognition III, No. 2685, pp. 34–61, Lecture Notes in Artificial Intelligence. Springer.
	Neil Ghani, Christoph Lüth, Federico de Marchi, John Power (2003). Dualizing Initial Algebras. In Mathematical Structures in Computer Science, 13 (2), pp. 349–370.
	Christoph Lüth (2003). Haskell in Space. In Journal of Functional Programming, 13 (6), pp. 1077–1085.
	Federico de Marchi, Neil Ghani, Christoph Lüth (2003). Coalgebraic Approaches to Algebraic Terms. In Theoretical Informatics and Applications, Vol. 37, pp. 301–314.
	Reinhard Moratz, Jan Oliver Wallgrün (2003). Spatial Reasoning about Relative Orientation and Distance for Robot Exploration. In W. Kuhn, M.F. Worboys, S. Timpf (Eds.), Spatial Information Theory: Foundations of Geographic Information Science. Conference on Spatial Information Theory (COSIT), pp. 61–74, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Reinhard Moratz, Jan Oliver Wallgrün (2003). Propagation of Distance and Orientation Intervals. In Proceedings of 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 3245–3250.
	R. Moratz, B. Nebel, C. Freksa (2003). Qualitative spatial reasoning about relative position: The tradeoff between strong formal properties and successful reasoning about route graphs.. In C. Freksa, C. Habel, K. F. Wender (Eds.), Spatial Cognition III, pp. 385–400. Springer Verlag, 14197 Berlin.
	R. Moratz, T.Tenbrink, K. Fischer, J. Bateman (2003). Spatial knowledge representation for human-robot interaction. In C. Freksa, C. Habel, K. F. Wender (Eds.), Spatial Cognition III, pp. 263–286. Springer Verlag, 14197 Berlin.
	Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder (2003). Algebraic-co-algebraic specification in CoCASL. In Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Eds.), Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, Vol. 2755, pp. 376–392, Lecture Notes in Computer Science. Springer, Berlin.
	Till Mossakowski, Markus Roggenbach, Lutz Schröder (2003). CoCASL at work --- Modelling Process Algebra. In Hans-Peter Gumm (Ed.), Coalgebraic Methods in Computer Science, Vol. 82, Electronic Notes in Theoretical Computer Science. Elsevier Science.
	Till Mossakowski, Michael Drouineaud, Karsten Sohr (2003). A temporal-logic extension of role-based access control covering dynamic separation of duties. In Proceedings of the 4th International Conference on Temporal Logic,, pp. 83–90. IEEE Computer Society Press.
	T. Mossakowski (2003). Foundations of heterogeneous specification. In M. Wirsing, D. Pattinson, R. Hennicker (Eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, pp. 359–375, Lecture Notes in Computer Science. Springer Verlag, London.
	Till Mossakowski, Anne Haxthausen, Donald Sannella, Andrzej Tarlecki (2003). CASL, the Common Algebraic Specification Language: Semantics and Proof Theory. In Computing and Informatics, Vol. 22, pp. 285–321.
	T. Röfer (2003). An Architecture for a National RoboCup Team. In G. A. Kaminka, P. U. Lima, R. Rojas (Eds.), RoboCup 2002: Robot Soccer World Cup VI, pp. 417–425, Lecture Notes in Artificial Intelligence. Springer.
	T. Röfer, H.-D. Burkhard, U. Düffert, J. Hoffmann, D. Göhring, M. Jüngel, M. Lötzsch, O. v. Stryk, R. Brunn, M. Kallnik, M. Kunz, S. Petters, M. Risler, M. Stelzer, I. Dahm, M. Wachter, K. Engel, etc. (2003). GermanTeam RoboCup 2003. Online. 199 pages.
	T. Röfer, M. Jüngel (2003). Vision-Based Fast and Reactive Monte-Carlo Localization. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA-2003), pp. 856–861.
	Lutz Schröder (2003). Classifying categories for partial equational logic. In Richard Blute (Ed.), Category Theory and Computer Science (CTCS 02), Vol. 69, Electronic Notes in Theoretical Computer Science. Elsevier Science.
	Lutz Schröder, Till Mossakowski (2003). Monad-independent Hoare logic in HasCASL. In Mauro Pezze (Ed.), Fundamental Approaches to Software Engineering (FASE 2003), Vol. 2621, pp. 261–277, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder (2003). Henkin models of the partial λ-calculus. In Matthias Baaz, Johann Makowsky (Eds.), Computer Science Logic, Vol. 2803, pp. 498–512, Lecture Notes in Computer Science. Springer, Berlin.
	L. Schröder, T. Mossakowski, C. Maeder (2003). HasCASL - Integrated functional specification and programming. Language summary..
	M. Wünstel (2003). Software Development. In J. Gasteiger, T. Engel (Eds.), Chemoinformatics - A Textbook. Wiley-VCH Weinheim.

2002     Back to top

	S. Autexier, T. Mossakowski (2002). Integrating HOLCASL into the Development Graph Manager MAYA. In A. Armando (Ed.), Frontiers of Combining Systems, 4th International Workshop, Vol. 2309, pp. 2–17, Lecture Notes in Computer Science. Springer Verlag, London.
	S. Autexier, D. Hutter, T. Mossakowski, A. Schairer (2002). The Development Graph Manager MAYA (System description). In H. Kirchner, C. Reingeissen (Eds.), Algebraic Methodology and Software Technology, 2002, Vol. 2422, pp. 495–502, Lecture Notes in Computer Science. Springer Verlag, London.
	J. Bredereke, A. Lankenau (2002). A Rigorous View of Mode Confusion. In Proc. of Safecomp 2002, 21st Int'l Conf. on Computer Safety, Reliability and Security, No. 2434, pp. 19–31, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	R. Brunn, U. Düffert, M. Jüngel, T. Laue, M. Lötzsch, S. Petters, M. Risler, T. Röfer, K. Spiess, A. Sztybryc (2002). GermanTeam 2001. In RoboCup 2001: Robot Soccer World Cup V, No. 2377, pp. 705–708, Lecture Notes in Artificial Intelligence. Springer.
	H.-D. Burkhard, U. Düffert, J. Hoffmann, M. Jüngel, M. Lötzsch, R. Brunn, M. Kallnik, N. Kuntze, M. Kunz, S. Petters, M. Risler, O. v. Stryk, N. Koschmieder, T. Laue, T. Röfer, K. Spiess, A. Cesarz, etc. (2002). GermanTeam RoboCup 2002. Online. 179 pages.
	Christian Mandel (2002). Trajektorienplanung und Trajektorienfolgeregelung im Konfigurationsraum nich-holonomer Fahrzeuge. DiplomaThesis.
	Frank Drewes, Berthold Hoffmann, Mark Minas (2002). Context-Exploiting Shapes for Diagram Transformation. In Ewa Grabska, Zenon Kulpa (Eds.), Proc. European Workshop on Diagrammatics snd Design (EWDD'02). Bielsko College of Business and Computer Science.
	Frank Drewes, Berthold Hoffmann, Mark Minas (2002). Constructing Shapely Nested Graph Transformations. In Peter Knirsch, Hans-Jörg Kreowski (Eds.), Proc. Int'l Workshop on Applied Graph Transformation (AGT'02). Universite de Grenoble.
	Frank Drewes, Berthold Hoffmann, Detlef Plump (2002). Hierarchical Graph Transformation. In Journal of Computer and System Science, 64 (2), pp. 249–283.
	U. Düffert, M. Jüngel, T. Laue, M. Lötzsch, M. Risler, T. Röfer (2002). GermanTeam 2002. In G. A. Kaminka, P. U. Lima, R. Rojas (Eds.), RoboCup 2002: Robot Soccer World Cup VI Preproceedings. RoboCup Federation.
	Berthold Hoffmann (2002). Abstraction and Control for Shapely Nested Graph Transformation. In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski (Eds.), 1st Int'l Conference on Graph Transformation (ICGT'02), Barcelona, No. 2505, pp. 177–191, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	E. Astesiano, M. Bidoit, B. Krieg-Brückner, H. Kirchner, P. D. Mosses, D. Sannella, A. Tarlecki (2002). CASL - the Common Algebraic Specification Language. In Theoretical Computer Science, Vol. 286, pp. 153–196.
	B. Krieg-Brückner (2002). MMiSS -- MultiMedia-Instruction in Safe and Secure Systems. In D. Hutter, W. Stephan (Eds.), Essays in Honor of Joerg H. Siekmann, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.
	A. Lankenau (2002). The Bremen Autonomous Wheelchair 'Rolland': Self-Localization and Shared Control.
	A. Lankenau, T. Röfer (2002). Mobile Robot Self-Localization in Large-Scale Environments. In Proceedings of the IEEE International Conference on Robotics and Automation 2002 (ICRA-2002), pp. 1359–1364. IEEE.
	Neil Ghani, Christoph Lüth, Federico De Marchi (2002). Coalgebraic Monads. In Lawrence S. Moss (Ed.), Electronic Notes in Theoretical Computer Science, 65 (1), Electronic Notes in Theoretical Computer Science. Elsevier Science.
	Christoph Lüth, Neil Ghani (2002). Monads and Modularity. In Alessandro Armando (Ed.), 4th International Workshop on Frontiers of Combining Systems FroCos 2002, No. 2309, pp. 18–32, Lecture Notes in Artificial Intelligence. Springer Verlag.
	Christoph Lüth, Neil Ghani (2002). Composing Monads Using Coproducts. In International Conference on Functional Programming ICFP'02, pp. 133–144. ACM Press.
	Moratz, R., Tenbrink, T. (2002). Natural Language Instructions for Joint Spatial Reference between Naive Users and a Mobile Robot. In Proceedings of the 11th IEEE International Workshop on Robot and Human Interactive Communication.
	T. Mossakowski (2002). Relating CASL with Other Specification Languages: the Institution Level. In Theoretical Computer Science, Vol. 286, pp. 367–475.
	T. Mossakowski (2002). Heterogeneous development graphs and heterogeneous borrowing. In M. Nielsen, U. Engberg (Eds.), Foundations of Software Science and Computation Structures, Vol. 2303, pp. 326–341, Lecture Notes in Computer Science. Springer-Verlag.
	T. Mossakowski, B. Klin (2002). Institution Independent Static Analysis for CASL. In M. Cerioli, G. Reggio (Eds.), Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy, Vol. 2267, pp. 221–237, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (2002). Comorphism-based Grothendieck logics. In K. Diks, W. Rytter (Eds.), Mathematical foundations of computer science, Vol. 2420, pp. 593–604, Lecture Notes in Computer Science. Springer Verlag, London.
	D. Popescu, K. Huebner, J. Zhang (2002). Real-time Intelligent Vision Sensor for Robot Navigation Using Symmetry Features. In 5th International FLINS Conference on Computational Intelligent System for Applied Research, pp. 421–428.
	Markus Roggenbach, Till Mossakowski (2002). Methodological guidelines (for CASL). CoFI note M-6.
	T. Röfer (2002). Using Histogram Correlation to Create Consistent Laser Scan Maps. In Proceedings of the IEEE International Conference on Robotics Systems (IROS-2002), pp. 625–630. EPFL, Lausanne, Switzerland.
	T. Röfer, A. Lankenau (2002). Route-Based Robot Navigation. In C. Freksa (Ed.). Künstliche Intelligenz - Themenheft Spatial Cognition, pp. 29–31. Fachbereich 1 der Gesellschaft für Informatik e.V., arenDTaP.
	Lutz Schröder, Till Mossakowski (2002). HasCASL: towards integrated specification and development of functional programs. In Hélène Kirchner, Christophe Ringeissen (Eds.), Algebraic Methodology And Software Technology (AMAST 2002), Vol. 2422, pp. 99–116, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder (2002). Monads on composition graphs. In Applied Categorical Structures, Vol. 10, pp. 221–236.
	Lutz Schröder, Paulo Mateus (2002). Universal aspects of probabilistic automata. In Math. Struct. Comput. Sci., Vol. 12, pp. 481–512.
	M. Wünstel, H. Schumann (2002). Automatic 3D-Reconstruction of the Ocular Fundus from Stereo Images. In CARS 2002 Computer-Assisted Radiology and Surgery. Springer-Verlag Heidelberg. Nominiert für den Best Paper Award des INI-Graphics Net 2003..
	J. Zhang, K. Huebner (2002). Using Symmetry as a Feature in Panoramic Images for Mobile Robot Applications. In Proceedings of Robotik 2002, Vol. 1679, pp. 263–268, VDI-Berichte.

2001     Back to top

	H.-D. Burkhard, U. Düffert, M. Jüngel, M. Lötzsch, N. Koschmieder, T. Laue, T. Röfer, K. Spiess, A. Sztybryc, R. Brunn, M. Risler, O. v. Stryk (2001). GermanTeam RoboCup 2001. Online. 41 pages.
	Giorgio Busatto, Berthold Hoffmann (2001). Comparing Notions of Hierarchical Graph Transformation. In Electronic Notes in Theoretical Computer Science, 50 (3).
	K. Fischer, R. Moratz (2001). From Communicative Strategies to Cognitive Modelling. In Proceedings of the Workshop on Epigenic Robotics, Lund.
	U. Frese, B. Bäuml, S. Haidacher, G. Schreiber, I. Schaefer, M. Hähnle, G. Hirzinger (2001). Off-the-Shelf Vision for a Robotic Ball Catcher. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems.
	N. Ghani, C. Lüth, F. de Marchi, J. Power (2001). Algebras, Coalgebras, Monads and Comonads. In U. Montanari (Ed.), Proceedings CMCS'01, Vol. 44.
	Berthold Hoffmann (2001). Shapely Hierarchical Graph Transformation. In Proc. IEEE Symposia on Human-Centric Computing Languages and Environments, pp. 30–37. IEEE Computer Press.
	Berthold Hoffmann, Mark Minas (2001). Transformation of Shaped Nested Graphs and Diagrams. In Electronic Notes in Theoretical Computer Science, 59 (4).
	Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski (2001). Checking amalgamability conditions for CASL architectural specifications. In Jiri Sgall, Ales Pultr, Petr Kolman (Eds.), Mathematical Foundations of Computer Science, Vol. 2136, pp. 512–523, Lecture Notes in Computer Science. Springer, Berlin.
	A. Lankenau (2001). Avoiding Mode Confusion in Service-Robots. In M. Mokhtari (Ed.), Integration of Assistive Technology in the Information Age, Proc. of the 7th Int. Conf. on Rehabilitation Robotics, pp. 162–167. IOS Press.
	A. Lankenau, T. Röfer (2001). Selbstlokalisation in Routengraphen. In P. Levi, M. Schanz (Eds.), Autonome Mobile Systeme 2001, pp. 157–163, Informatik aktuell. Springer.
	A. Lankenau, T. Röfer (2001). A Safe and Versatile Mobility Assistant. In Reinventing the Wheelchair. IEEE Robotics and Automation Magazine, No. 7, pp. 29–37.
	Mark Minas , Berthold Hoffmann (2001). Specifying and Implementing Visual Process Modeling Languages with DIAGEN. In Electronic Notes in Theoretical Computer Science, 44 (4).
	R. Moratz, K. Fischer, T. Tenbrink (2001). Cognitive Modelling of Spatial Reference for Human-Robot Interaction. In International Journal On Artificial Intelligence Tools, 10 (4), pp. 67–91.
	R. Moratz, B. Nebel (2001). Facetten der Kognitiven Robotik - Workshop-Bericht. In K"unstliche Intelligenz.
	T. Mossakowski, S. Autexier, D. Hutter (2001). Extending Development Graphs With Hiding. In H. Hußmann (Ed.), Fundamental Approaches to Software Engineering, Vol. 2029, pp. 269–283, Lecture Notes in Computer Science. Springer Verlag, London.
	Markus Roggenbach, Lutz Schröder (2001). Towards Trustworthy Specifications I: Consistency Checks. In Maura Cerioli, Gianna Reggio (Eds.), Recent Trends in Algebraic Specification Techniques, 15th International Workshop, WADT 2001, Vol. 2267, Lecture Notes in Computer Science. Springer, Berlin.
	T. Röfer (2001). Konsistente Karten aus Laser Scans. In P. Levi, M. Schanz (Eds.), Autonome Mobile Systeme 2001, pp. 171–177, Informatik aktuell. Springer.
	T. Röfer (2001). Building Consistent Laser Scan Maps. In Proceedings of the 4th European Workshop on Advanced Mobile Robots (Eurobot 2001), Vol. 86, pp. 83–90. Lund University Cognitive Studies.
	Lutz Schröder (2001). Categories: a free tour. In Austin Melton, Jürgen Koslowski (Eds.), Categorical Perspectives, pp. 1–27. Birkhäuser, Basel.
	Lutz Schröder (2001). Traces of Epimorphism classes. In Quaestiones Mathematicae, Vol. 24, pp. 193–200.
	Lutz Schröder (2001). Life without the Terminal Type. In Laurent Fribourg (Ed.), Computer Science Logic, Vol. 2142, pp. 429–442, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder, Till Mossakowski, Piotr Hoffman, Bartek Klin, Andrzej Tarlecki (2001). Semantics of Architectural Specifications in CASL. In Heinrich Hußmann (Ed.), Fundamental Approaches to Software Engineering, Vol. 2029, pp. 253–268, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder, Till Mossakowski, Andrzej Tarlecki (2001). Amalgamation via enriched CASL signatures. In Fernando Orejas, Paul Spirakis, Jan van Leeuwen (Eds.), International Colloquium on Automata, Languages and Programming (ICALP 2001), Vol. 2076, pp. 993–1004, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder, Horst Herrlich (2001). Free factorizations. In Applied Categorical Structures, Vol. 9, pp. 571–593.
	M. Wünstel, H. Schumann (2001). Glaucad - Glaucoma Prevention by Computer Aided Diagnostics. In Computer Graphik topics, Reports des INI-GraphicsNet, No. 6, pp. 22–23.
	J. Zhang, K. Huebner, A. Knoll (2001). Learning based Situation Recognition by Sectoring Omnidirectional Images for Robot Localisation. In Proceedings of the IEEE Workshop on Omnidirectional Vision.

2000     Back to top

	E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.) (2000). Algebraic Foundations of System Specification. IFIP State-of-the-Art Reports. Springer-Verlag, D-69121 Heidelberg, Germany.
	D. Basin, B. Krieg-Brückner (2000). Formalization of the Development Process. In E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), Algebraic Foun­dations of System Specification, pp. 521–562, IFIP State-of-the-Art Reports. Springer-Verlag, D-69121 Heidelberg, Germany.
	Frank Drewes, Berthold Hoffmann, Detlef Plump (2000). Hierarchical Graph Transformation. In Tiuryn, Jerzy (Eds.), Foundations of Software Science and Computation Structures (FOSSACS 2000), No. 1784, pp. 98–113, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske (2000). Simple Modules for GRACE. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski (Eds.), Theory and Application of Graph Transformation (TAGT'98), Selected Papers, No. 1764, pp. 383–395, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Berthold Hoffmann (2000). From Graph Transformation to Rule-Based Programming with Diagrams. In Manfred Nagl, Andy Schürr (Eds.), Int'l Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), Selected Papers, No. 1779, pp. 165–180, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Berthold Hoffmann, Mark Minas (2000). Über generisches Visuelles Programmieren. In Stephan Diehl, Andreas Kerren (Eds.), Proc. GI-Workshop Software-Visualisierung, pp. 41–52, Technical Report A/01/2000. Universität des Saarlandes.
	Berthold Hoffmann, Mark Minas (2000). A Generic Model for Diagram Syntax and Semantics. In J. D. P. Polim, others (Eds.), ICALP Workshops — Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming, No. 8, pp. 443–450, Proceedings in Informatics. Carleton Scientific.
	Berthold Hoffmann, Mark Minas (2000). Towards Generic Rule-Based Visual Programming. In Margaret M. Burnett, others (Eds.), Proc. VL'2000. IEEE Press.
	Berthold Hoffmann, Mark Minas (2000). Towards Rule-Based Visual Programming of Generic Visual Systems. In Nachum Dershowitz, Claude Kirchner (Eds.), Proc. Workshop on Rule-Based Languages.
	J. Kollmann, T. Röfer (2000). Echtzeitkartenaufbau mit einem 180°-Laser-Entfernungssensor. In R. Dillmann, H. Wörn, von M. Ehr (Eds.), Autonome Mobile Systeme 2000, pp. 121–128, Informatik aktuell. Springer.
	A. Lankenau, T. Röfer (2000). Rollstuhl "Rolland" unterstützt ältere und behinderte Menschen. In FIfF-Kommunikation. Informationstechnik und Behinderung, No. 2, pp. 48–50. Forum InformatikerInnen für Frieden und gesellschaftliche Verantwortung (FIfF).
	A. Lankenau, T. Röfer (2000). The Role of Shared Control in Service Robots - The Bremen Autonomous Wheelchair as an Example. In T. Röfer, A. Lankenau, R. Moratz (Eds.), Service Robotics - Applications and Safety Issues in an Emerging Market. Workshop Notes, pp. 27–31.
	A. Lankenau, T. Röfer (2000). Smart Wheelchairs - State of the Art in an Emerging Market. In Künstliche Intelligenz. Schwerpunkt Autonome Mobile Systeme, No. 4, pp. 37–39. Fachbereich 1 der Gesellschaft für Informatik e.V., arenDTaP.
	Christoph Lüth, Burkhart Wolff (2000). TAS —- A Generic Window Inference System. In John Harrison, Mark Aagaard (Eds.), Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, No. 1869, pp. 405–422, Lecture Notes in Computer Science. Springer Verlag.
	Christoph Lüth, Burkhart Wolff (2000). More about TAS and IsaWin: Tools for Formal Program Development. In Tom Maibaum (Ed.), Fundamental Approaches to Software Engineering FASE 2000. Joint European Conferences on Theory and Practice of Software ETAPS 2000, No. 1783, pp. 367–370, Lecture Notes in Computer Science. Springer Verlag.
	Till Mossakowski (2000). CASL: From Semantics to Tools. In S. Graf, M. Schwartzbach (Eds.), TACAS 2000, Vol. 1785, pp. 93–108, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (2000). Specification in an arbitrary institution with symbols. In C. Choppy, D. Bert, P. Mosses (Eds.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Vol. 1827, pp. 252–270, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski, A. Haxthausen, B. Krieg-Brückner (2000). Subsorted Partial Higher-Order Logic as an Extension of CASL. In C. Choppy, D. Bert, P. Mosses (Eds.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Vol. 1827, pp. 126–145, Lecture Notes in Computer Science. Springer Verlag, London.
	Till Mossakowski (2000). How to write consistent CASL design specifications. CoFI note M-8.
	A. Musto, K. Stein, A. Eisenkolb, T. Röfer, W. Brauer, K. Schill (2000). From Motion Observation to Qualitative Motion Representation. In C. Freksa, W. Brauer, C. Habel, K. F. Wender (Eds.), Spatial Cognition II, No. 1849, pp. 115–126, Lecture Notes in Artificial Intelligence. Springer.
	R. Müller, T. Röfer, A. Lankenau, A. Musto, K. Stein, A. Eisenkolb (2000). Coarse Qualitative Descriptions in Robot Navigation. In C. Freksa, W. Brauer, C. Habel, K. F. Wender (Eds.), Spatial Cognition II, No. 1849, pp. 265–276, Lecture Notes in Artificial Intelligence. Springer.
	Markus Roggenbach, Lutz Schröder, Till Mossakowski (2000). Specifying real numbers in CASL. In Christine Choppy, Didier Bert (Eds.), Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Vol. 1827, pp. 146–161, Lecture Notes in Computer Science. Springer, Berlin.
	T. Röfer (2000). Route Navigation and Panoramic Image Processing. In Künstliche Intelligenz. Schwerpunkt Autonome Mobile Systeme, No. 1, pp. 62–64. Fachbereich 1 der Gesellschaft für Informatik e.V., arenDTaP.
	T. Röfer, A. Lankenau (2000). Architecture and Applications of the Bremen Autonomous Wheelchair. In P. Wang (Ed.), Information Sciences, 1-4 (126), pp. 1–20. Elsevier Science BV.
	T. Röfer, A. Lankenau, R. Moratz (Eds.) (2000). Service Robotics - Applications and Safety Issues in an Emerging Market. Workshop Notes. European Conference on Artificial Intelligence 2000 (ECAI-2000).
	Lutz Schröder (2000). Isomorphisms and splitting of idempotents in semicategories. In Cahiers de Topologie et Géométrie Différentielle catégoriques, Vol. 41, pp. 143–153.
	Lutz Schröder, Horst Herrlich (2000). Free adjunction of morphisms. In Applied Categorical Structures, Vol. 8, pp. 595–606.
	Lutz Schröder, Horst Herrlich (2000). Abstract initiality. In Commentationes Mathematicae Universitatis Carolinae, Vol. 41, pp. 575–583.
	A. Sernadas, C. Sernadas, C. Caleiro, T. Mossakowski (2000). Categorical Fibring of Logics with Terms and Binding Operators. In D. Gabbay, Rijke, M. de (Eds.), Frontiers of Combining Systems 2, pp. 295–316, Studies in Logic and Computation. Research Studies Press.
	H. Shi (2000). Java2CSP: A System for Verifying Concurrent Java Programs. In G. Schellhorn, W. Reif (Eds.), FM-TOOLS 2000, No. 2000-07, pp. 111–115, Ulmer Informatik-Berichte.
	H. Shi, J. Peleska, M. Kouvaras (2000). Combining Methods for the Analysis of a Fault-Tolerant System. In Bob Werner (Ed.), Proceedings of 1999 Pacific Rim International Sympositum on Dependable Computing, pp. 135–142, IEEE. IEEE Computer Society, 10662 Los Vaqueros Circle, P.O.Box 3014, Los Alamitos, CA 90720-1314, USA.
	Karsten Sohr (2000). Sandkastenspiele. In c’t, No. 11, pp. 226–232.
	S. Werner, B. Krieg-Brückner, T. Herrmann (2000). Modelling Navigational Knowledge by Route Graphs. In C. Freksa, C. Habel, K.F. Wender (Eds.), Spatial Cognition II, Vol. 1849, pp. 295–317, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.
	M. Wünstel, D. Polani, T. Uthmann, J. Perl (2000). Behavior Classification with Self-Organizing Maps. In P. Stone, T. Balch, G. Kraetzschmar (Eds.), RoboCup 2000: Robot Soccer. World Cup IV, pp. 108–118, Lecture Notes in Computer Science. RoboCup 2000 Scientific Challenge Award.

1999     Back to top

	Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer (1999). Graph Transformation for Specification and Programming. In Science of Computer Programming, Vol. 34, pp. 1–54.
	B. Buth, Jan Peleska, Hui Shi (1999). Combining Methods for the Analysis of a Fault-Tolerant System. In Proceedings of 12th International Software Quality Week.
	M. Cerioli, T. Mossakowski, H. Reichel (1999). From total equational to partial first order logic. In E. Astesiano, H.-J.~Kreowski, B.~Krieg--Brückner (Eds.), Algebraic Foundations of Systems Specifications, pp. 31–104, IFIP State-of-the-Art Reports. Springer Verlag, London.
	Horst Herrlich, Lutz Schröder (1999). Composing special epimorphisms and retractions. In Cahiers de Topologie et Géométrie Différentielle catégoriques, Vol. 40, pp. 221–226.
	B. Krieg-Brückner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer (1999). UniForM Workbench, Universelle Entwicklungsumgebung für Formale Methoden; Schlussbericht. Vol. 9, Monographs of the Bremen Institute of Safe Systems (BISS). Shaker Verlag, Postfach 1290, 52013 Aachen.
	B. Krieg-Brückner (1999). UniForM Perspectives for Formal Methods. In D. Hutter, W. Stephan, P. Traverso, M. Ullmann (Eds.), Applied Formal Methods -- FM-Trends 98. International Workshop on Current Trends in Applied Formal Methods, No. 1641, pp. 251–265, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-Brückner, J. Peleska, E.-R. Olderog, A. Baer (1999). The UniForM Workbench, a Universal Develop­ment Environment for Formal Methods. In J.M. Wing, J. Woodcock, J. Davies (Eds.), FM'99, Formal Methods. Proceedings, 2 (1709), pp. 1186–1205, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	A. Lankenau, O. Meyer (1999). Formal Methods in Robotics: Fault Tree Based Verification. In Proc. of Quality Week Europe.
	Christoph Lüth, Burkhart Wolff (1999). Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. In Journal of Functional Programming, 9 (2), pp. 167–189.
	Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner (1999). TAS and IsaWin: Tools for Transformational Program Developkment and Theorem Proving. In J.-P. Finance (Ed.), Fundamental Approaches to Software Engineering FASE'99. Joint European Conferences on Theory and Practice of Software ETAPS'99, No. 1577, pp. 239–243, Lecture Notes in Computer Science. Springer-Verlag.
	T. Mossakowski (1999). Translating OBJ3 to CASL: the institution level. In J. L. Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers, Vol. 1589, pp. 198–214, Lecture Notes in Computer Science. Springer Verlag, London.
	Till Mossakowski, Markus Roggenbach (1999). The datatypes REAL and COMPLEX in CASL. CoFI note M-7.
	A. Musto, K. Stein, A. Eisenkolb, T. Röfer (1999). Qualitative and Quantitative Representations of Locomotion and their Application in Robot Navigation. In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), pp. 1067–1073. Morgan Kaufman Publishers, Inc, San Francisco, CA.
	Markus Roggenbach, Till Mossakowski (1999). Proposal of some annotations and literal syntax in CASL. CoFI note L-11.
	T. Röfer (1999). Route Navigation Using Motion Analysis. In C. Freksa, D. M. Mark (Eds.), Proceedings of the Conference on Spatial Information Theory (COSIT-99), No. 1661, pp. 21–36, Lecture Notes in Computer Science. Springer.
	T. Röfer (1999). Route Navigation and Panoramic Image Processing. In Ausgezeichnete Informatikdissertationen 1998, pp. 132–141. B. G. Teubner, Stuttgart, Leipzig.
	T. Röfer, A. Lankenau (1999). Ensuring Safe Obstacle Avoidance in a Shared-Control System. In J. M. Fuertes (Ed.), Proceedings of the 7th International Conference on Emergent Technologies and Factory Automation (ETFA-99), pp. 1405–1414.
	T. Röfer, A. Lankenau (1999). Ein Fahrassistent für ältere und behinderte Menschen. In G. Schmidt, U. Hanebeck, F. Freyberger (Eds.), Autonome Mobile Systeme 1999, pp. 334–343, Informatik aktuell. Springer.
	Lutz Schröder (1999). Composition graphs and free extensions of categories. Universität Bremen. PhD Thesis.
	M. Wünstel, M. Boll, D. Polani, T. Uthmann, J. Perl (1999). Trajectory Clustering using Self-Organizing Maps. Universität Ulm. S. Sablatnög & S. Enderle (Hrsg.), Workshop RoboCup at KI'99 in Bonn, Germany, Report 1999/12, S. 41-46. SFB 527 Universität Ulm.

1998     Back to top

	A. Behrens, S. Kubon (1998). Objektverfolgung durch aktive Konturen und Objekterkennung. In A. Bühlmeier, J. Kollmann, B. Krieg-Brückner, T. Röfer (Eds.), Sensomotorik autonomer Systeme, Informatik Bericht. ISSN 0722-8996. Universität Bremen.
	B. Buth, J. Peleska, H. Shi (1998). Combining Methods for the Livelock Analysis of a Fault-Tolerant System. In A. M. Haeberer (Ed.), Algebraic Methodology and Software Technology. Proceedings of the AMAST'98, No. 1548, pp. 124–139, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	A. Bühlmeier, J. Kollmann, B. Krieg-Brückner, T. Röfer (Eds.) (1998). Studentisches Projekt SAUS: Sensomotorik autonomer Systeme. Informatik Bericht. ISSN 0722-8996. Universität Bremen.
	M. Fröhlich (1998). Inkrementelles Graphlayout im Visualisierungssystem daVinci.M. Gogolla, H.-J. Kreowski, B. Krieg-Brückner, J. Peleska, B.-H. Schlingloff, H. Sczerbicka (Eds.), No. 6, BISS Monographs. Shaker Verlag, Postfach 1290, 52013 Aachen.
	Anne Haxthausen, Bernd Krieg-Brückner, Till Mossakowski (1998). Extending CASL with higher-order functions -- design proposal. CoFI note L-8.
	Anne Haxthausen, Bernd Krieg-Brückner, Till Mossakowski. (1998). Subsorted partial higher-order logic as an extension of CASL. CoFI note L-10.
	B. Krieg-Brückner (1998). A Taxonomy of Spatial Knowledge for Navigation. In U. Schmid, F. Wysotzki (Eds.), Qualitative and Quantitative Approaches to Spatial Inference and the Analysis of Movements, No. 98-2. Technische Universität Berlin; Computer Science Department. Technical Report.
	B. Krieg-Brückner, T. Röfer, H.-O. Carmesin, R. Müller (1998). A Taxonomy of Spatial Knowledge for Navigation and its Application to the Bremen Autonomous Wheelchair. In C. Freksa, C. Habel, K. F. Wender (Eds.), Spatial Cognition, No. 1404, pp. 373–397, Lecture Notes in Artificial Intelligence. Springer.
	A. Lankenau, O. Meyer, B. Krieg-Brückner (1998). Safety in Robotics: The Bremen Autonomous Wheelchair. In Proceedings of the 5th Int. Workshop on Advanced Motion Control (AMC '98), pp. 524–529.
	A. Lankenau, T. Röfer (1998). Architecture of the Bremen Autonomous Wheelchair. In B. Hildebrand, R. Moratz, Ch. Scheering (Eds.), Architectures in Cognitive Robotics. Technical Report, No. 98/13, pp. 19–24. SFB 360 "Situierte Künstliche Kommunikatoren". Universität Bielefeld.
	Christoph Lüth (1998). Categorical Term Rewriting: Monads and Modularity. University of Edinburgh.
	T. Mossakowski, Kolyang, B. Krieg-Brückner (1998). Static Semantic Analysis and Theorem Proving for CASL. In F. Parisi-Pressice (Ed.), Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, No. 1376, pp. 333–348, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	T. Mossakowski, A. Tarlecki, W. Pawlowski (1998). Combining and Representing Logical Systems Using Model-Theoretic Parchments. In F. Parisi Presicce (Ed.), Recent trends in algebraic development techniques. Proc. 12th International Workshop, Vol. 1376, pp. 349–364, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (1998). Colimits of Order-Sorted Specifications. In F. Parisi Presicce (Ed.), Recent trends in algebraic development techniques. Proc. 12th International Workshop, Vol. 1376, pp. 316–332, Lecture Notes in Computer Science. Springer Verlag, London.
	Till Mossakowski (1998). Two "functional programming" sublanguages of CASL. CoFI note L-9.
	Till Mossakowski (1998). Standard annotations for parsers and static semantic checkers - a proposal. CoFI note T-6.
	T. Röfer (1998). Routenbeschreibung durch Odometrie-Scans. In H. Wörn, R. Dillmann, D. Henrich (Eds.), Autonome Mobile Systeme 1998, pp. 122–129, Informatik aktuell. Springer.
	T. Röfer (1998). Strategies for Using a Simulation in the Development of the Bremen Autonomous Wheelchair. In R. Zobel, D. Moeller (Eds.), Simulation-Past, Present and Future, pp. 460–464. Society for Computer Simulation International.
	T. Röfer (1998). Panoramic Image Processing and Route Navigation. No. 7, BISS Monographs. Shaker-Verlag.
	T. Röfer, A. Lankenau (1998). Architecture and Applications of the Bremen Autonomous Wheelchair. In P. P. Wang (Ed.), Proceedings of the 4th Joint Conference on Information Systems, Vol. 1, pp. 365–368. Association for Intelligent Machinery.
	T. Röfer, R. Müller (1998). Navigation and Routemark Detection of the Bremen Autonomous Wheelchair. In T. Lüth, R. Dillmann, P. Dario, H. Wörn (Eds.), Distributed Autonomous Robotics Systems, pp. 183–192. Springer.
	U. Burkard, M. Wünstel (1998). Simulationssoftware zur Quantenmechanik. misc. Gewinner der nationalen Ausscheidung des 2. Europäischen Bildungssoftware- und Multimedia-Wettbewerbs.

1997     Back to top

	B. Buth, M. Kouvaras, J. Peleska, H. Shi (1997). Deadlock Analysis for a Fault-Tolerant System. In M. Johnson (Ed.), Algebraic Methodology and Software Technology. Proceedings of the AMAST'97, No. 1349, pp. 60–75, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	M. Cerioli, M. Gogolla, H. Kirchner, B. Krieg-Brückner, Z. Qian, M. Wolf (Eds.) (1997). Algebraic System Specification and Development: Survey and Annotated Bibliography. Vol. 3, Monographs of the Bremen Institute of Safe Systems (BISS). Shaker Verlag, Postfach 1290, 52013 Aachen.
	M. Cerioli, A. Haxthausen, B. Krieg-Brückner, T. Mossakowski (1997). Permissive Subsorted Partial Logic in CASL. In M. Johnson (Ed.), Algebraic methodology and software technology, 6th international conference, AMAST 97, No. 1349, (p. 91–107). , Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	J. Kollmann, A. Lankenau, A. Bühlmeier, B. Krieg-Brückner, T. Röfer (1997). Navigation of a Kinematically Restricted Wheelchair by the Parti-Game Algorithm. In Spatial Reasoning in Mobile Robots and Animals, pp. 35–45. AISB-97 Workshop, Manchester University.
	J. Kollmann, A. Lankenau, A. Bühlmeier, B. Krieg-Brückner, T. Röfer (1997). Navigation of a Kinematically Restricted Wheelchair by the Parti-Game Algorithm. In Spatial Reasoning in Mobile Robots and Animals, AISB-97 Workshop, pp. 35–44. Manchester University.
	A. Lankenau, O. Meyer (1997). Der autonome Rollstuhl als sicheres eingebettetes System. Master's Thesis.
	Christoph Lüth, Neil Ghani (1997). Monads and Modular Term Rewriting. In E. Moggi, G. Rosolini (Eds.), Category Theory and Computer Science CTCS'97, No. 1290, Lecture Notes in Computer Science. Springer.
	T. Mossakowski, A. Tarlecki, W. Pawlowski (1997). Combining and Representing Logical Systems. In E. Moggi, G. Rosolini (Eds.), Category Theory and Computer Science, 7th Int. Conf., Vol. 1290, pp. 177–196, Lecture Notes in Computer Science. Springer Verlag, London.
	Till Mossakowski (1997). Sublanguages of CASL. CoFI note L-7.
	T. Röfer (1997). Routemark-Based Navigation of a Wheelchair. In Proceedings of the 3rd ECPD International Conference on Advanced Robotics, Intelligent Automation and Active Systems, pp. 333–338.
	T. Röfer (1997). Controlling a Wheelchair with Image-based Homing. In Spatial Reasoning in Mobile Robots and Animals, AISB-97 Workshop, pp. 66–75. Manchester University.
	S. Werner, B. Krieg-Brückner, H.A. Mallot, K. Schweitzer, C. Freksa (1997). Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation. In M. Jarke, K. Pasedach, K. Pohl (Eds.), Informatik ´97, pp. 41–50. Springer-Verlag, D-69121 Heidelberg, Germany.

1996     Back to top

	R. Curien, Z. Qian, H. Shi (1996). Efficient Second-Order Matching. In Proc. of 7th International Conference on Rewriting Techniques and Applications, No. 1103, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-Brückner (1996). Seven Years of COMPASS. In M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specification. Proc. 11th ADT/COMPASS Workshop (Oslo 1995), No. 1130, pp. 1–13, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Christoph Lüth (1996). Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem. In H. Ganzinger (Ed.), Rewriting Techniques and Applications RTA'96., No. 1103, pp. 261–275, Lecture Notes in Computer Science. Springer Verlag.
	T. Mossakowski (1996). Equivalences among various logical frameworks of partial algebras. In H. Kleine Büning (Ed.), Computer Science Logic. 9th Workshop, CSL'95. Paderborn, Germany, September 1995, Selected Papers, Vol. 1092, pp. 403–433, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (1996). Using limits of parchments to systematically construct institutions of partial algebras. In M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, Vol. 1130, pp. 379–393, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (1996). Different Types of Arrow Between Logical Frameworks. In F. Meyer auf der Heide, B. Monien (Eds.), Proc. ICALP 96, Vol. 1099, pp. 158–169, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (1996). Representations, hierarchies and graphs of institutions. Universität Bremen. Also appeared as book in Logos Verlag.
	Z. Qian, B. Krieg-Brückner (1996). Typed Object-Oriented Functional Programming with Late Binding. In Proc. 10th European Conf. on Object-Oriented Programming, No. 1098, pp. 48–72, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Z. Qian, B. Krieg-Brückner (1996). Object-Oriented Functional Programming and Type Reconstruction. In M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specification. Proc. 11th ADT/COMPASS Workshop (Oslo 1995), No. 1130, pp. 458–477, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Z. Qian, B. Krieg-Brückner (1996). An Approach to Object-Oriented Functional Programming. In A. Pnueli, H. Lin (Eds.), Proc. 1995 Int'l. Workshop on Logic and Software Engineering, pp. 71–89. World Scientific Publishing, Singapore.
	H. Shi (1996). A Semantic Matching Algorithm: Analysis and Implementation. In W. Penczek ad A. Szalas (Ed.), Proc. of 21st International Symposium on Mathematical Foundations of Computer Science, No. 1113, pp. 517–528, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1995     Back to top

	M. Fröhlich, M. Werner (1995). Demonstration of the interactive Graph Visualization System daVinci. In R. Tamassia, I. Tollis (Eds.), Proceedings of DIMACS Workshop on Graph Drawing `94, Princeton (USA) 1994, No. 894, pp. 266–269, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	H.-J. Kreowski, T. Mossakowski (1995). Equivalence and Difference of Institutions: Simulating Horn Clause Logic With Based Algebras. In Mathematical Structures in Computer Science, Vol. 5, pp. 189–215.
	Bernd Krieg-Brückner, Christoph Herwig (Hrsg.) (1995). Tagungsband des Workshops Kognitive Robotik. Universität Bremen; Zentrum für Kognitionswissenschaften.
	B. Krieg-Brückner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer (1995). Universelle Entwicklungsumgebung für Formale Methoden (UniForM Workbench). No. 8/95 Informatik Bericht. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	B. Krieg-Brückner, J. Liu, H. Shi, B. Wolff (1995). Towards Correct, Efficient and Reusable Transformational Developments. In M. Broy, S. Jähnichen (Eds.), KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Final Report., No. 1009, pp. 270–284, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-Brückner, J. Liu, H. Shi, B. Wolff (1995). Towards Correct, Efficient and Reusable Transformational Developments. In KORSO, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	T. Mossakowski (1995). A Hierarchy of Institutions separated by properties of parameterized abstract data types. In E. Astesiano, G. Reggio, A. Tarlecki (Eds.), Recent Trends in Data Type Specification. Proceedings, Vol. 906, pp. 389–405, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Röfer (1995). Image based homing using a self-organizing feature map. In F. Fogelman-Soulie, P. Gallinari (Eds.), Proceedings of the International Conference on Artificial Neural Networks (ICANN-95), Vol. 1, pp. 475–480. EC2 & Cie.
	T. Röfer (1995). Controlling a robot with image based homing. In B. Krieg-Brückner, C. Herwig (Eds.), Tagungsband des Workshops "Kognitive Robotik", No. 3/95, ZKW Bericht. Zentrum für Kognitionswissenschaften. Universität Bremen.
	T. Röfer (1995). Bildbasierte Navigation mit eindimensionalen 360°-Bildern. In R. Dillmann, U. Rembold, T. Lüth (Eds.), Autonome Mobile Systeme 1995, pp. 193–202, Informatik Aktuell. Springer.

1994     Back to top

	M. Fröhlich, M. Werner (1994). The Graph Visualization System daVinci - A User Interface for Applications. No. 5/94. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	B. Krieg-Brückner (Hrsg.) (1994). Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software); Band 2. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	Bernd Krieg-Brückner (Hrsg.) (1994). Graduiertenkolleg Raumorientierung und Handlungsorganisation Autonomer Systeme an der Universität Bremen, Berichte der Arbeitsgruppen. Universität Bremen; Zentrum für Kognitionswissenschaften.
	B. Krieg-Brückner, W. Menzel (1994). System Architecture Framework for KORSO. In B. Krieg-Brückner (Ed.), Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software), No. 1/94, Informatik Bericht. ISSN 0722-8996. Universität Bremen.
	B. Krieg-Brückner, J. Liu, H. Shi, B. Wolff (1994). Towards Correct, Efficient and Reusable Transformational Developments (extended version). In B. Krieg-Brückner (Ed.), Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software), No. 1/94, Informatik Bericht. ISSN 0722-8996. Universität Bremen.
	T. Röfer (1994). VierLING - Quadruped with Integrated Neural Balance Control. In M. Marinaro, P. Morasso (Eds.), Proceedings of the International Conference on Artificial Neural Networks (ICANN-94), pp. 1311–1314. Springer.
	T. Röfer (1994). VierLING - Vierbeinige Laufmaschine mit Integrierter Neuronaler Gleichgewichtssteuerung.B. Krieg-Brückner, G. Roth, H. Schwegler (Eds.), No. 3/94, ZKW Bericht. Zentrum für Kognitionswissenschaften. Universität Bremen.
	Hui Shi (1994). Extended Matching with Applications to Program Transformation. Universität Bremen.
	H. Shi, B. Wolff (1994). A Finitary Matching Algorithm for Constructor-Based Theories. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.