FB 3

Publikationen der Arbeitsgruppe Krieg-Brückner

Springe zu Jahr: noch nicht erschienen 2022 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 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

noch nicht erschienen nach oben

	C. Jian, H. Shi, N. Sasse, C. Rachuy, F. Scharfmeister, H. Schmidt, N. v. Steinbuechel. Modality Preference in Multimodal Interaction for Elderly Persons. In Biomedical Engineering Systems and Technologies 2013, Lecture Notes, Lecture Notes in Communications in Computer and Information Science. Springer, Berlin.
	Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer. An Institution for Simple UML State Machines. In Alexander Egyed, Ina Schaefer (Hrsg.), 8th International Conference on Fundamental Approaches to Software Engineering (FASE), Lecture Notes in Computer Science. Springer.
	Alexander Knapp, Till Mossakowski, Markus Roggenbach. Towards an Institutional Framework for Heterogeneous Formal Development in UML - A Position Paper. In Rocco De Nicola, Rolf Hennicker (Hrsg.), Software, Services and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation , Band 8950, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	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. (Hrsg.), Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives.
	Christian Mandel, Kathrin Stich, Serge Autexier, Christoph LÃ¼th, Ariane Ziehn, Karin Hochbaum, Rolf Dembinski. Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic and Pulmonary Decompensation. In Proceedings of the 44th. International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society, 445 Hoes Lane, Piscataway, NJ 08854 USA.
	Till Mossakowski, Reinhard Moratz, Dominik LÃ¼cke. Relations Between Spatial Calculi About Directions and Orientations. In Journal of Artificial Intelligence Research.
	Till Mossakowski. Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods. In Theoretical Computer Science. To appear.
	Dirk Pattinson, Lutz SchrÃ¶der. Generic Modal Cut Elimination Applied to Conditional Logics. In Log. Methods Comput. Sci. To appear.

2022 nach oben

Amit Choudhury, Christian Mandel, Karin Hochbaum, Serge Autexier, Christoph Buldemann (2022). Klinische Evaluation eines Rollatormodus zur sensorgestÃ¼tzten Haltungs- und Gangmustererkennung. In KÃ¼nstliche Intelligenz im Gesundheitswesen, S. 881–905. Springer Gabler, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, Germany.

2019 nach oben

	Frank Drewes, Berthold Hoffmann, Mark Minas (2019). Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement. In Journal on Locical and Algebraic Methods for Programming, Band 104, S. 303–341.
	Christian Mandel, Amit Choudhury, Karin Hochbaum, Serge Autexier, Jeannine Budelmann (2019). Erkennung und Klassifikation von Haltungs- und Gangmustern am Rollator durch Abstandsmessungen â€“ ein Vergleich zwischen klinischer Beurteilung und maschineller Klassifikation. In Zeitschrift fÃ¼r Gerontologie und Geriatrie, S. 1–9.

2018 nach oben

Berthold Hoffmann , Mark Minas (2018). Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars. In M. Seidl, S. Zschaler (Hrsg.), STAF 2017 Workshops, Band 10748, S. 76–91, Lecture Notes in Computer Science. Springer.

2017 nach oben

	Frank Drewes, Berthold Hoffmann, Mark Minas (2017). Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars. In Juan de Lara, Detlef Plump (Hrsg.), Graph Transformation - 8th International Conference, ICGT 2017. Proceedings, Band 10373, S. 106–122, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	Berthold Hoffmann (2017). Cleaned SLL(1) Grammars are SLR(1). Nr. 17-1. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report 17-1.

2016 nach oben

	Frank Drewes, Berthold Hoffmann, Mark Minas (2016). Approximating Parikh Images for Generating Deterministic Graph Parsers. In Paolo Milazzo, Daniel Varro, Manuel Wimmer (Hrsg.), STAF 2016 Collocated Workshops, Revised Selected Papers, Band 9946, S. 112–128, Lecture Notes in Computer Science. Springer, Berlin.
	Christian Mandel, Serge Autexier (2016). People Tracking in Ambient Assisted Living Environments Using low-cost Thermal Image Cameras. In Inclusive Smart Cities and Digital Health. International Conference on Smart Homes and Health Telematics (ICOST-2016), Inclusive Smart Cities and Digital Health, Band 9677, S. 1–13, Lecture Notes in Computer Science. Springer.

2015 nach oben

	Daniel Calegari GarcÃa, Till Mossakowski, Nora Szasz (2015). Model-Driven Engineering in the Heterogeneous Tool Set. In Christiano Braga, Narciso MartÃ-Oliet (Hrsg.), 17th Brazilian Symposium, SBMF 2014, MaceiÃ³, AL, Brazil, September 29--October 1, 2014. Proceedings, Band 8941, S. 64–79, Lecture Notes in Computer Science.
	Katie Genter, Tim Laue, Peter Stone (2015). Benchmarking Robot Cooperation without Pre-Coordination in the RoboCup Standard Platform League Drop-In Player Competition. In Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Nominated for "Best RoboCup Paper" award.
	Katie Genter, Tim Laue, Peter Stone (2015). The RoboCup 2014 SPL Drop-in Player Competition: Encouraging Teamwork without Pre-coordination (Extended Abstract). In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS-15).
	Berthold Hoffmann (2015). More on Graph Rewriting With Contextual Refinement. In Rachid Echahed, Annegret Habel,, Mohamed Mosbah (Hrsg.), Fifth International Workshop on Graph Computational Models (GCM 2014), Band 71. Electr. Comm. of the EASST.
	Frank Drewes, Berthold Hoffmann, Mark Minas (2015). Predictive Top-Down Parsing for Hyperedge Replacement Grammars. In Francesco Parisi-Presicce, Bernhard Westfechtel (Hrsg.), Graph Transformation, Band 9151, S. 19–34. Springer International Publishing.
	Frank Drewes, Berthold Hoffmann (2015). Contextual hyperedge replacement. In Acta Informatica, 52 (6), S. 497–524.
	Marcus Ermler, Berthold Hoffmann, Christian John, Christopher Nottrodt, Carsten Pfeffer (2015). Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Montyâ€™s Coconut. In Wolf Zimmermann et al. (Hrsg.), Software Engineering Workshops 2015, S. 164–170.
	Tobias Kastner, Thomas RÃ¶fer, Tim Laue (2015). Automatic Robot Calibration for the NAO. In RoboCup 2014: Robot World Cup XVIII, Band 8992, S. 233–244, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.
	Oliver Kutz, John Bateman, Till Mossakowski, Fabian Neuhaus, Mehul Bhatt (2015). E pluribus unum - Formalisation, Use-Cases, and Computational Support for Conceptual Blending. In Tarek R. Besold, Marco Schorlemmer, Alan Smaill (Hrsg.), Computational Creativity Research: Towards Creative Machines, Band 7, S. 167–196, Atlantis Thinking Machines. Atlantis Press.

2014 nach oben

	John Bateman, Oliver Kutz, Till Mossakowski, Aleksandra Sojic, Mihai Codescu (2014). Space for Space. SpacePortal: the 21st Century Home for Spatial Ontologies. In Short paper for Spatial Cognition 2014, Bremen, Germany, 15-19 September 2014.
	Mihai Codescu, Till Mossakowski, Oliver Kutz (2014). A Categorical Approach to Ontology Alignment. In Proc. of the 9th International Workshop on Ontology Matching (OM-2014), ISWC-2014, Riva del Garda, Trentino, Italy., CEUR-WS online proceedings.
	Drewes, Frank, Hoffmann, Berthold (2014). Contextual Hyperedge Replacement. Nr. 14.04. Institutionen fÃ¶r datavetenskap, Umeaaa universitet. UMINF report 14.04.
	Alexander HÃ¤rtl, Ubbo Visser, Thomas RÃ¶fer (2014). Robust and Efficient Object Recognition for a Humanoid Soccer Robot. In Sven Behnke, Manuela Veloso, Arnoud Visser, Rong Xiong (Hrsg.), RoboCup 2013: Robot Soccer World Cup XVII, Band 8371, S. 396–407, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.
	Cui Jian, Hui Shi (2014). A Conceptual Model for Human-Robot Collaborative Spatial Navigation. In The 10th Asia-Pacific Conferences on Conceptual Modelling (APCCM 2014), CRPIT.
	Alexander Knapp, Till Mossakowski, Markus Roggenbach (2014). An Institutional Framework for Heterogeneous Formal Development in UML. Note published in arXiv.
	Oliver Kutz, Mossakowski, Fabian Neuhaus, Mihai Codescu (2014). Blending in the Hub. Towards a collaborative concept invention platform. In Fifth International Conference on Computational Creativity.
	Tim Laue, Oliver Birbach, Tobias Hammer, Udo Frese (2014). An Entertainment Robot for Playing Interactive Ball Games. In Sven Behnke, Manuela Veloso, Arnoud Visser, Rong Xiong (Hrsg.), RoboCup 2013: Robot World Cup XVII, Band 8371, S. 171–182, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.
	Till Mossakowski, Oliver Kutz, Mihai Codescu (2014). Ontohub: A semantic repository for heterogeneous ontologies. In Proc. of the Theory Day in Computer Science (DACS-2014), satellite workshop of ICTAC-2014, University of Bucharest, September 15-16, 2014.
	Till Mossakowski, Andrzej Tarlecki (2014). A relatively complete calculus for structured heterogeneous specifications. In Anca Muscholl (Hrsg.), 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Band 8412, S. 441–456, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki (2014). Parchments for CafeOBJ logics. In S. Iida, J. Meseguer, K. Ogata (Hrsg.), Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi, Band 8873, S. 66–91, Lecture Notes in Computer Science.
	Till Mossakowski, Mihai Codescu, Oilver Kutz, C. Lange,, M. Gruninger (2014). Proof Support for Common Logic. In Proc. of the Workshop on Automated Reasoning for Quantified Non-Classical Logic (ARQNL), July 23, Vienna Summer of Logic,, 2014.
	Judith MÃ¼ller, Udo Frese, Thomas RÃ¶fer, Rodolphe Gelin, Alexandre Mazel (2014). GRASPY - Object Manipulation with NAO. In Gearing up and Accelerating Cross-Fertilization between Academic and Industrial Robotics Research in Europe, Band 94, S. 177–195, Springer Tracts in Advanced Robotic. Springer.
	Fabian Neuhaus, Oliver Kutz, Mihai Codescu, T. Mossakowski (2014). F. Neuhaus, O. Kutz, M. Codescu, T. Mossakowski Fabricating Monsters is Hard - Towards the Automation of Conceptual Blending. In Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014.
	Thomas RÃ¶fer, Tim Laue, Arne BÃ¶ckmann, Judith MÃ¼ller, Alexis Tsogias (2014). B-Human 2013: Ensuring Stable Game Performance. In Sven Behnke, Manuela Veloso, Arnoud Visser, Rong Xiong (Hrsg.), RoboCup 2013: Robot World Cup XVII, Band 8371, S. 80–91, Lecture Notes in Artificial Intelligence. Springer.
	Thomas RÃ¶fer, Tim Laue (2014). On B-Human's Code Releases in the Standard Platform League - Software Architecture and Impact. In Sven Behnke, Manuela Veloso, Arnoud Visser, Rong Xiong (Hrsg.), RoboCup 2013: Robot World Cup XVII, Band 8371, S. 648–655, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.
	Felix Wenk, Thomas RÃ¶fer (2014). Online Generated Kick Motions for the NAO Balanced Using Inverse Dynamics. In Sven Behnke, Manuela Veloso, Arnoud Visser, Rong Xiong (Hrsg.), RoboCup 2013: Robot Soccer World Cup XVII, Band 8371, S. 25–36, Lecture Notes in Artificial Intelligence. Springer, Heidelberg. Best Paper Award for its engineering contribution.
	Stefan Zickler, Tim Laue, JosÃ© Angelo Gurzoni Jr., Oliver Birbach, Joydeep Biswas, Manuela Veloso (2014). Five Years of SSL-Vision - Impact and Development. In Sven Behnke, Manuela Veloso, Arnoud Visser, Rong Xiong (Hrsg.), RoboCup 2013: Robot World Cup XVII, Band 8371, S. 656–663, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.

2013 nach oben

	Dimitra Anastasiou, Cui Jian, Christoph Stahl (2013). A German-Chinese Speech-Gesture Corpus of Device Control in a Smart Home. In Proceedings of The 6th Workshop on Affect and Behaviour Related Assistance, the 6th International Conference on PErvasive Technologies Related to Assistive Environments.
	Oliver Kutz, Mehul Bhatt, Stefano Borgo, Paulo Santos (Hrsg.) (2013). Proceedings of Workshop, SHAPES 2.0: The Shape of Things (SHAPES 2.0). Co-located with UniLog 2013: 4th World Congress and School on Universal Logic. CEUR-WS online proceedings.
	Mihai Codescu, Till Mossakowski, Christian Maeder (2013). Checking conservativity with Hets. In Reiko Heckel, Stefan Milius (Hrsg.), CALCO 2013, Band 8089, S. 315–321, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe (2013). Compiling Logics. In Narciso MartÃ-Oliet, Miguel Palomino (Hrsg.), Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, Band 7841, S. 111–126, Lecture Notes in Computer Science. Springer.
	Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski (2013). The VSE Refinement Method in Hets. In Electronic Communications of the EASST, Band 62.
	Cui Jian, Hui Shi, Frank Schafmeister, Carsten Rachuy, Nadine Sasse, Holger Schmidt, Volker Hoemberg, Nicole von SteinbÃ¼chel (2013). Touch and Speech: Multimodal Interaction for Elderly Persons. In Biomedical Engineering Systems and Technologies Communications in Computer and Information Science, Band 357, S. 385–400.
	Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki (2013). The Institution-Theoretic Scope of Logic Theorems. In Logica Universalis, S. 1–14.
	Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter (2013). Algebraic Properties of Qualitative Spatio-Temporal Calculi. In Thora Tenbrink, John G. Stell, Antony Galton, Zena Wood (Hrsg.), Proceedings of Conference On Spatial Information Theory 2013, Band 8116, S. 516–536, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	Udo Frese, Tim Laue, Oliver Birbach, Thomas RÃ¶fer (2013). (A) Vision for 2050 - Context-Based Image Understanding for a Human-Robot Soccer Match. In Electronic Communications of the EASST, Band 62.
	Dr.-Ing Bernd Gersdorf, Prof. Dr.-Ing Udo Freese (2013). A Kalman Filter for Odometry Using a Wheel Mounted Inertial Sensor. In Jean-Louis Ferrier, Oleg Gusikhin, Kurosh Madani, Jurek Sasiadek (Hrsg.), ICINCO 2013, 10th International Conference on Informatics in Control, Automation and Robotics, Band 1, S. 388–395. SCITEPRESS â€“ Science and Technology Publications.
	Hoffmann, Berthold (2013). Graph Rewriting with Contextual Refinement. In Electr. Comm. of the EASST, Band 61, (p. 20 pages). .
	Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach (2013). Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL. In Narciso MartÃ-Oliet, Miguel Palomino (Hrsg.), Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, Band 7841, S. 178–194, Lecture Notes in Computer Science. Springer.
	C. Jian, H. Shi, F. Scharfmeister, C. Rachuy, N. Sasse, H. Schmidt, N. v. Steinbuechel (2013). Better Choice? Combing Speech and Touch in Multimodal Interaction for Elderly Persons. In Proceedings of the 6th International Conference on Health Informatics, HealthInf2013.
	Cui Jian, Hui Shi (2013). Resolving Conceptual Mode Confusion with Qualitative Spatial Knowledge in Human-Robot Interaction. In Proceedings of the 11th International Conference on Spatial Information Theory, Lecture Notes in Computer Science.
	Bernd Krieg-BrÃ¼ckner, Bernd Gersdorf, Christian Mandel, Christoph Budelmann, Marcus-Sebastian SchrÃ¶der (2013). Navigation Aid for Mobility Assistants. In Proceedings of the Joint CEWIT-TZI-acatech Workshop â€œICT meets Medicine and Healthâ€ ICTMH 2013 .
	Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger (2013). A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. In Jacques Carette, James H. Davenport, Wolfgang Windsteiger, Petr Sojka, David Aspinall, Christoph Lange (Hrsg.), Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics, Band 7961, S. 200–215, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	Christian Mandel, Oliver Birbach (2013). Localization in Urban Environments by Matching Sensor Data to Map Information. In IEEE Explore - Proceedings of the 6th European Conference on Mobile Robots.
	Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange (2013). The Distributed Ontology, Modeling and Specification Language. In Chiara Del Vescovo, Torsten Hahmann, David Pearce, Dirk Walther (Hrsg.), WoMo 2013, Band 1081, CEUR-WS online proceedings.
	Till Mossakowski, Oliver Kutz, Christoph Lange (2013). Semantics of the distributed ontology language: Institutes and Institutions. In Narciso MartÃ-Oliet, Miguel Palomino (Hrsg.), Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, Band 7841, S. 212–230, Lecture Notes in Computer Science. Springer.
	Till Mossakowski, Oliver Kutz, Christoph Lange (2013). Three Semantics for the Core of the Distributed Ontology Language. In Francesca Rossi (Hrsg.), IJCAI 2013. IJCAI 2013 track on Best Papers in Sister Conferences.
	Thomas RÃ¶fer, Tim Laue, Judith MÃ¼ller, Michel Bartsch, Arne BÃ¶ckmann, Florian MaaÃŸ, Thomas MÃ¼nder, Marcel Steinbeck, Simon Taddiken, Alexis Tsogias, Felix Wenk (2013). B-Human Team Description for RoboCup 2013. In Sven Behnke, Manuela Veloso, Arnoud Visser, Rong Xiong (Hrsg.), RoboCup 2013: Robot Soccer World Cup XVII Preproceedings. RoboCup Federation.
	Thora Tenbrink, Kathleen Eberhard, Hui Shi, Sandra KÃ¼bler, Matthias Scheutz (2013). Annotation of negotiation processes in joint action dialogues. In Dialogue & Discourse, 4 (2), S. 185–214.
	AndrÃ© van Delden, Till Mossakowski (2013). Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward. In 36th Annual Conference on Artificial Intelligence (KI 2013), Band 8077, S. 248–259, Lecture Notes in Artificial Intelligence. Springer.

2012 nach oben

	D. Anastasiou, C. Jian, D. Zhekova, R. Ross (Hrsg.) (2012). Proceedings of the 1st Workshop on Speech and Multimodal Interaction in Assistive Environments. SMIAE2012. Association for Computational Linguistics (ACL).
	D. Anastasiou, C. Jian, D. Zhekova (2012). Speech and Gesture Interaction in an Ambient Assisted Living Lab. In Proceedings of the 1st International Workshop on Speech and Multimodal Interaction in Assistive Environments, ACL 2012, S. 18–27, SMIAE2012. ACM.
	Bernd Krieg-BrÃ¼ckner, Hui Shi (2012). Reasoning About Large Places. In Proceedings of International Workshop on Place-Related Knowledge Acquisition Research (P-KAR) 2012.
	Mehul Bhatt, Joana Hois, Oliver Kutz (2012). Ontological Modelling of Form and Function for Architectural Design. In Applied Ontology Journal (AOJ). (pre press release).
	Mihai Codescu (2012). Lambda Expressions in CASL Architectural Specifications. In Till Mossakowski, Hans-JÃ¶rg Kreowski (Hrsg.), Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Band 7137, S. 98–117, Lecture Notes in Computer Science. Springer.
	Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova (2012). Towards Logical Frameworks in the Heterogeneous Tool Set Hets. In Till Mossakowski, Hans-JÃ¶rg Kreowski (Hrsg.), Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Band 7137, S. 139–159, Lecture Notes in Computer Science. Springer.
	Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe (2012). A Proof Theoretic Interpretation of Model Theoretic Hiding. In Till Mossakowski, Hans-JÃ¶rg Kreowski (Hrsg.), Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Band 7137, S. 118–138, Lecture Notes in Computer Science. Springer.
	Mihai Codescu, Daniel Couto Vale, Oliver Kutz, Till Mossakowski (2012). Ontology-based Route Planning for OpenStreetMap. In D. Kolas, M. Perry, R. GrÃ¼tter, M. Koubarakis (Hrsg.), Terra Cognita 2012: Foundations, Technologies and Applications of the Geospatial Web, Band 901, S. 62–73, CEUR-WS online proceedings.
	Mohammad Fazleh Elahi, Hui Shi, John Bateman, Kathleen M. Eberhard, Matthias Scheutz (2012). Classification of Localization Utterances using a Spatial Ontology. In Proceedings of International Workshop on Place-Related Knowledge Acquisition Research (P-KAR) 2012.
	Christian Galinski, Oliver Kutz, Christoph Lange, Till Mossakowski (2012). The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics. In TKE (Terminology and Knowledge Engineering) Conference 2012.
	Daniel GorÃn, Lutz SchrÃ¶der (2012). Narcisissts are easy, stepmothers are hard. In Lars Birkedal (Hrsg.), Foundations of Software Science and Computation Structures, FOSSACS 2012, Band 7213, S. 240–254, Lecture Notes in Computer Science. Springer.
	Colin Graf, Thomas RÃ¶fer (2012). A Center of Mass Observing 3D-LIPM Gait for the RoboCup Standard Platform League Humanoid. In Thomas RÃ¶fer, Norbert Michael Meyer, JesÃºs Savage, UluÃ§ Saranli (Hrsg.), RoboCup 2011: Robot Soccer World Cup XV, Band 7416, S. 101–112, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.
	Thijs Jeffry de Haas, Tim Laue, Thomas RÃ¶fer (2012). A Scripting-based Approach to Robot Behavior Engineering Using Hierarchical Generators. In Proc. of the International Conference on Robotics and Automation (ICRA-2012). IEEE.
	Frank Drewes, Berthold Hoffmann, Mark Minas (2012). Contextual Hyperedge Replacement. In Andy Sch"urr, Daniel Varr'o, Gergely Varr'o (Hrsg.), Applications of Graph Transformation with Industrial Relevance (AGTIVE'11), Band 7233, S. 182–197, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	C. Jian, F. Scharfmeister, C. Rachuy, N. Sasse, H. Shi, H. Schmidt, N. v. Steinbuechel (2012). Evluating a spoken language interface of a multimodal interactive guidance system for elderly persons. In Proceedings of the 5th International Conference on Health Informatics, S. 87–96. SciTePress.
	Oliver Kutz, Christoph Lange, Till Mossakowski, C. Maria Keet, Fabian Neuhaus, Michael GrÃ¼ninger (2012). The Babel of the Semantic Web Tongues - In Search of the Rosetta Stone of Interoperability. In Frank van Harmelen, James A. Hendler, Pascal Hitzler, Krzysztof Janowicz, Denny Vrandev ci'c (Hrsg.), What will the Semantic Web look like 10 Years from now? Workshop at ISWC.
	Oliver Kutz, Janna Hastings, Till Mossakowski (2012). Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs. In Allan Ramsay, Gennady Agre (Hrsg.), 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, Band 7557, S. 103–111, Lecture Notes in Computer Science. Springer.
	Christoph Lange, and Oliver Kutz, Till Mossakowski, Michael GrÃ¼ninger (2012). The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. In Conferences on Intelligent Computer Mathematics CICM 2012, Band 7362, Lecture Notes in Computer Science. Springer.
	Christoph Lange, Till Mossakowski, Oliver Kutz (2012). LoLa: A Modular Ontology of Logics, Languages, and Translations. In Thomas Schneider, Dirk Walther (Hrsg.), Workshop on modular ontologies, Band 875, CEUR-WS online proceedings.
	Tim Laue, Thomas RÃ¶fer, Katharina Gillmann, Felix Wenk, Colin Graf, Tobias Kastner (2012). B-Human 2011 - Eliminating Game Delays. In Thomas RÃ¶fer, Norbert Michael Meyer, JesÃºs Savage, UluÃ§ Saranli (Hrsg.), RoboCup 2011: Robot Soccer World Cup XV, Band 7416, S. 25–36, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.
	C.Mandel, T.Roefer, I.Lohmueller (2012). On the Clinical Evaluation of Smart Driving Assistance for Power Wheelchairs. In Proceedings of the IROS 2012 Workshop on Progress, Challenges and Future Perspectives in Navigation and Manipulation Assistance for Robotic Wheelchairs .
	V. Mast, C. Jian, D. Zhekova (2012). Elaborate Descriptive Information in Indoor Route Instructions. In Proceedings of the 34th Annual Meeting of the Cognitive Science Society, S. 1972–1977, CogSci2012.
	Till Mossakowski, Christoph Lange, Oliver Kutz (2012). Three Semantics for the Core of the Distributed Ontology Language. In Maureen Donnelly, Giancarlo Guizzardi (Hrsg.), FOIS 2012: 7th International Conference on Formal Ontology in Information Systems , S. 337–352. IOS Press, Amsterdam. Best paper award.
	Till Mossakowski, Hans-JÃ¶rg Kreowski (Hrsg.) (2012). Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010. Band 7137, Lecture Notes in Computer Science. Springer.
	Till Mossakowski, Reinhard Moratz (2012). Qualitative Reasoning about Relative Direction of Oriented Points. In Artificial Intelligence Journal, Band 180â€“181, (p. 34â€“45). .
	Judith MÃ¼ller, Udo Frese, Thomas RÃ¶fer (2012). Grab a Mug - Object Detection and Grasp Motion Planning with the Nao Robot. In Proceedings of the IEEE-RAS International Conference on Humanoid Robots (HUMANOIDS 2012), Osaka, Japan, S. 349–356. IEEE.
	Liam O'Reilly, Till Mossakowski, Markus Roggenbach (2012). Compositional modelling and reasoning in an institution for processes and data. In Till Mossakowski, Hans-JÃ¶rg Kreowski (Hrsg.), WADT 2010, Band 7137, S. 251–269, Lecture Notes in Computer Science. Springer.
	Thomas RÃ¶fer, Tim Laue, Judith MÃ¼ller, Michel Bartsch, Malte Jonas Batram, Arne BÃ¶ckmann, Nico Lehmann, Florian MaaÃŸ, Thomas MÃ¼nder, Marcel Steinbeck, Andreas Stolpmann, Simon Taddiken, Robin Wieschendorf et al. (2012). B-Human Team Report and Code Release 2012. Online. 46 pages.
	Thomas RÃ¶fer, Tim Laue, Judith MÃ¼ller, Colin Graf, Arne BÃ¶ckmann, Thomas MÃ¼nder (2012). B-Human Team Description for RoboCup 2012. In Xiaoping Chen, Peter Stone, Luis Enrique Sucar, Tijn van der Zant (Hrsg.), RoboCup 2012: Robot Soccer World Cup XVI Preproceedings. RoboCup Federation.
	Thomas RÃ¶fer, Norbert Michael Meyer, JesÃºs Savage, UluÃ§ Saranli (Hrsg.) (2012). RoboCup 2011: Robot Soccer World Cup XV. Band 7416, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.
	Falko Schmid, Oliver Kutz, Lutz Frommberger, Till Mossakowski, Tomi Kauppinen, Cunyuan Cai (2012). Intuitive and Natural Interfaces for Geospatial Data Classification. In Place-related Knowledge Acquisition Research (P-KAR) workshop at Spatial Cognition 2012.
	Holger TÃ¤ubig, Udo Frese (2012). A New Library for Real-time Continuous Collision Detection. In Proceedings of the 7th German Conference on Robotics (ROBOTIK 2012), S. 108–112. VDE.
	Holger TÃ¤ubig, Berthold BÃ¤uml, Udo Frese (2012). Real-time Continuous Collision Detection for Mobile Manipulators - A General Approach. In Proceedings of the IEEE-RAS International Conference on Humanoid Robots (HUMANOIDS 2012), Osaka, Japan. IEEE.
	Holger TÃ¤ubig, Udo Frese, Christoph Hertzberg, Christoph LÃ¼th, Stefan Mohr, Elena Vorobev, Dennis Walter (2012). Guaranteeing Functional Safety: Design for Provability and Computer-Aided Verification. In Autonomous Robots, 32 (3), S. 303–331.

2011 nach oben

	Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev (2011). Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. In James Davenport, William Farmer, Florian Rabe, Joseph Urban (Hrsg.), Proceedings of the Conferences on Intelligent Computer Mathematics (CICM 2011), Lecture Notes in Artificial Intelligence. Springer-Verlag Berlin Heidelberg.
	Victor Gutierrez Basulto, Jean Christoph Jung, Carsten Lutz, Lutz SchrÃ¶der (2011). The Complexity of Probabilistic EL. In Sebastian Rudolph, Michael Zakharyaschev (Hrsg.), Proc. 24th International Workshop on Description Logics (DL 2011) , CEUR-WS online proceedings. To appear.
	Armin Burchardt, Tim Laue, Thomas RÃ¶fer (2011). Optimizing Particle Filter Parameters for Self-Localization. In Javier Ruiz-del-Solar, Eric Chown, Paul G. PlÃ¶ger (Hrsg.), RoboCup 2010: Robot Soccer World Cup XIV, S. 145–156, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.
	Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz SchrÃ¶der, Yde Venema (2011). Modal logics are coalgebraic. In The Computer Journal, 54 (1), S. 31–41. Extends (Cirstea et al. 2008)..
	Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau (2011). DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. In C. Claramunt, S. Levashkin,, M. Bertolotto (Hrsg.), Fourth International Conference on GeoSpatial Semantics, Band 6631, (p. 88â€“107). , Lecture Notes in Computer Science. Springer.
	Mihai Codescu, Till Mossakowski (2011). Refinement trees: calculi, tools and applications. In Andrea Corradini, Bartek Klin (Hrsg.), Algebra and Coalgebra in Computer Science, CALCO'11, Band 6859, S. 145–160, Lecture Notes in Computer Science. Springer.
	Till Mossakowski, Mihai Codescu, Oliver Kutz (2011). Ontologie-basierte Routenplanung fÃ¼r eine aktivitÃ¤tsorientierte ElektromobilitÃ¤t mit OpenStreetMap. In Magdeburger Logistiktagung.
	Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau (2011). OSMonto - An Ontology of OpenStreetMap Tags. In State of the map Europe (SOTM-EU) 2011.
	Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe (2011). Project Abstract: Logic Atlas and Integrator (LATIN). In James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (Hrsg.), Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, Band 6824, S. 289–291, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	Dominik Dietrich, Lutz SchrÃ¶der, Ewaryst Schulz (2011). Formalizing and Operationalizing Industrial Standards. In Dimitra Giannakopoulou, Fernando Orejas (Hrsg.), Fundamental Approaches to Software Engineering (FASE 2011), Band 6603, S. 81–95, Lecture Notes in Computer Science. Springer.
	Alexander Dietrich; Thomas WimbÃ¶ck; Holger TÃ¤ubig; Alin Albu-SchÃ¤ffer; Gerd Hirzinger (2011). Extensions to Reactive Self-Collision Avoidance for Torque and Position Controlled Humanoids. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA-11), May 9-13, Shanghai, China. IEEE.
	Marco Franke, Patrick Klein, Lutz SchrÃ¶der (2011). Ontological Semantics of Standards and PLM Repositories in the Product Development Phase. In Alain Bernard (Hrsg.), Global Product Developement: Proc. of the 20th CIRP Design Conference, 2010, S. 473–482. Springer.
	Sergey Goncharov, Lutz SchrÃ¶der (2011). Powermonads and Tensors of Unranked Effects. In Martin Grohe (Hrsg.), Logic in Computer Science (LICS 2011). IEEE Computer Society. To appear.
	C. P.J. Gondorf, C. Jian (2011). Supporting Inferences in space - a Wayfinding task in a multilevel building. In Proceedings of the 2nd Workshop on Computational Models of Spatila Language Interpretation and Generation, CoSLI 2011.
	Victor Gutierrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz SchrÃ¶der (2011). A Closer Look at the Probabilistic Description Logic Prob-EL. In Wolfram Burgard, Dan Roth (Hrsg.), Proc. 25th Conference on Artificial Intelligence (AAAI-11), S. 197–202. AAAI Press.
	Janna Hastings, Oliver Kutz, Till Mossakowski (2011). How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications. In Deep Knowledge Representation Challenge Workshop, co-located with K-CAP 2011.
	Minas, Mark, Hoffmann, Berthold (2011). Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars. In Echahed, Rachid, Habel, Annegret, Mosbah, Mohamed (Hrsg.), International Workshop on Graph Computation Models (GCM 10), Band 39, (p. 20 pages). , Electr. Comm. of the EASST. European Association of Software and System Science, Potsdam, Germany.
	C. Jian, N. Sasse, N. v. SteinbÃ¼chel-Rheinwall, F. Schafmeister, H. Shi, C. Rachuy, H. Schmidt (2011). Towards effective, efficient and elderly-friendly multimodal interaction. In Proceedings of the 4th International Conference on PErvasive Technologies Related to Assistive Environments, (p. 45:1--45:8). , petra 11. ACM.
	B. Krieg-BrÃ¼ckner, T. RÃ¶fer, H. Shi, B. Gersdorf (2011). MobilitÃ¤tassistenz im "Bremen Ambient Assisted Living Lab" (BAALL). In Altern und Technik (Altern in Deutschland Bd. 6), Nova Acta Leopoldina NF, 104 (368), S. 157–174.
	Oliver Kutz, Till Mossakowski (2011). A Modular Consistency Proof for Dolce. In Wolfram Burgard, Dan Roth (Hrsg.), Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, S. 227–234. AAAI Press, Menlo Park, CA.
	Oliver Kutz, Till Mossakowski, Christian Galinski, Christoph Lange (2011). Towards a Standard for Heterogeneous Ontology Integration and Interoperability. In Key-Sun Choi et al (Hrsg.), Proceedings of the First International Conference on terminology, languages and content resources (LarC 2011), S. 97–106. Seoul: KATS e.a.
	Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander Garcia Castro, Aleksandra Sojic (2011). Hyperontology for the Biomedical Ontologist - A Sketch and Some Examples. In Workshop on Working with Multiple Biomedical Ontologies (at ICBO 2011).
	Oliver Kutz, Till Mossakowski (2011). The Onto-Logical Translation Graph. In O. Kutz, T. Schneider (Hrsg.), Modular Ontologies Proceedings of the Fifth International Workshop (WoMO 2011), Band 230, S. 94–109, Frontiers in Artificial Intelligence and Applications. IOS Press.
	Dominik LÃ¼cke, Till Mossakowski, Reinhard Moratz (2011). Streets to the OPRA - Finding your destination with imprecise knowledge. In Jochen Renz, Anthony G. Cohn, Stefan WÃ¶lfl (Hrsg.), IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, S. 25–32.
	Christian Mandel, Udo Frese (2011). Annelid - a Novel Design for Actuated Robots Inspired by Ringed Worm`s Locomotion. In Achim J. Lilienthal, Tom Duckett (Hrsg.), Proceedings of the 5th European Conference on Mobile Robots (ECMR 2011), S. 265–270.
	Reinhard Moratz, Dominik LÃ¼cke, Till Mossakowski (2011). A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments. In Artificial Intelligence Journal, Band 175, S. 2099–2127.
	Judith MÃ¼ller, Tim Laue, Thomas RÃ¶fer (2011). Kicking a Ball - Modeling Complex Dynamic Motions for Humanoid Robots. In Javier Ruiz-del-Solar, Eric Chown, Paul G. PlÃ¶ger (Hrsg.), RoboCup 2010: Robot Soccer World Cup XIV, Band 6556, S. 109–120, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.
	Thomas RÃ¶fer, Tim Laue, Judith MÃ¼ller, Alexander Fabisch, Fynn Feldpausch, Katharina Gillmann, Colin Graf, Thijs Jeffry de Haas, Alexander HÃ¤rtl, Arne Humann, Daniel Honsel, Philipp Kastner, Tobias Kastner et al. (2011). B-Human Team Report and Code Release 2011. Online. 189 pages.
	Thomas RÃ¶fer, Tim Laue, Judith MÃ¼ller, Alexander Fabisch, Katharina Gillmann, Colin Graf, Alexander HÃ¤rtl, Arne Humann, Felix Wenk (2011). B-Human Team Description for RoboCup 2011. In Thomas RÃ¶fer, Norbert Michael Meyer, JesÃºs Savage, UluÃ§ Saranli (Hrsg.), RoboCup 2011: Robot Soccer World Cup XV Preproceedings. RoboCup Federation.
	Lutz SchrÃ¶der, Dirk Pattinson (2011). Modular Algorithms for Heterogeneous Modal Logics via Multi-Sorted Coalgebra. In Math. Struct. Comput. Sci., 21 (2), S. 235–266. Copyright Cambridge University Press.
	Lutz SchrÃ¶der, Dirk Pattinson (2011). Description Logics and Fuzzy Probability. In Toby Walsh (Hrsg.), International Joint Conference on Artificial Intelligence, IJCAI 2011. AAAI Press, Menlo Park, CA. To appear. Accepted for oral and poster presentation.
	Andreas Seekircher, Tim Laue, Thomas RÃ¶fer (2011). Entropy-based Active Vision for a Humanoid Soccer Robot. In Javier Ruiz-del-Solar, Eric Chown, Paul G. PlÃ¶ger (Hrsg.), RoboCup 2010: Robot Soccer World Cup XIV, Band 6556, S. 1–12, Lecture Notes in Artificial Intelligence. Springer, Heidelberg. Best Paper Award.
	Sergey Goncharov, Lutz SchrÃ¶der (2011). A coinductive calculus for asynchronous side-effecting processes. In Olaf Owe, Martin Steffen, Jan Arne Telle (Hrsg.), Fundamentals of Computation Theory (FCT 2011), Band 6914, Lecture Notes in Computer Science. Springer. To appear.
	Sergey Goncharov, Lutz SchrÃ¶der (2011). A Counterexample to Tensorability of Effects. In Andrea Corradini, Bartek Klin (Hrsg.), Algebra and Coalgebra in Computer Science (CALCO 2011), Lecture Notes in Computer Science. Springer. To appear.
	H. Shi, C. Jian, C. Rachuy (2011). Evaluation of a unified dialogue model for human-computer interaction. In International Journal of Computational Linguistics and Applications, Band 2, S. 155–173.
	Holger TÃ¤ubig, Berthold BÃ¤uml, Udo Frese (2011). Real-time Swept Volume and Distance Computation for Self Collision Detection. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2011), San Francisco, California, USA. IEEE. (Best Student Paper Award Finalist).
	Felix Wenk, Thomas RÃ¶fer (2011). Coordinated Pitch Observation for a Humanoid Robot Soccer Team. In Sven Behnke, Peter Stone, Thomas RÃ¶fer (Hrsg.), Proceedings of the Fifth Workshop on Humanoid Soccer Robots in conjunction with the 2011 IEEE-RAS International Conference on Humanoid Robots.

2010 nach oben

	Serge Autexier, Petr Sojka, Masakazu Suzuki (2010). Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge . In Mathematics in Computer Science, 3 (3), S. 225–370.
	Serge Autexier, Dieter Hutter, Till Mossakowski (2010). Change Management for Heterogeneous Development Graphs. In Simon Siegler, Nathan Wasser (Hrsg.), Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, Band 6463, S. 54–80, LNCS. Springer.
	Serge Autexier; Jacques Calmet; David Delahaye; Patrick D. F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.) (2010). Intelligent Computer Mathematics 2010 (CICM 2010). Conferences on Intelligent Computer Mathematics (CICM-10), 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010,, located at Conferences on. Band 6167, LNCS, LNCS. Springer-Verlag Berlin Heidelberg.
	Serge Autexier, Dominik Dietrich (2010). Recent developments in Omega's proof search programming language. In SIGSAM Bulletin, 44 (2), S. 52–59.
	Serge Autexier, Dominik Dietrich (2010). Declarative Development Patterns as a Lightweight-Formalism for Design Patterns for Formal Specifications. In Till Mossakowski, Hans-JÃ¶rg Kreowski (Hrsg.), 20th International Workshop on Algebraic Development Technique, 1-4 July, 2010.
	Serge Autexier; Christoph LÃ¼th (2010). Adding Change Impact Analysis to the Formal Verification of C Programs. In Dominique MÃ©ry; Stephan Merz (Hrsg.), Proceedings 8th International Conference on integrated Formal Methods (IFM2010). IFM - Integrated Formal Methods, October 11-14, Nancy, France, LNCS. Springer.
	Serge Autexier, Normen MÃ¼ller (2010). Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents. In Michael Gormish, Rolf Ingold (Hrsg.), Proceedings of 10th ACM Symposium on Document Engineering (DocEng2010), ACM SIGWEB.
	Mehul Bhatt, Joana Hois, Oliver Kutz, Frank Dylla (2010). Modelling Functional Requirements in Spatial Design. In In Proc. of the 29th International Conference on Conceptual Modeling (ER-2010). Springer.
	Glauber Cabral, Christian Maeder, Till Mossakowski, Lutz SchrÃ¶der (2010). Creating a HasCASL library. In Jonathan Aldrich, Ricardo Massa (Hrsg.), 14th Brazilian Symposium on Programming Languages (SBLP 2010).
	Mihai Codescu, Till Mossakowski, AdrÃan Riesco, Christian Maeder (2010). Integrating Maude into Hets. In Mike Johnson, Dusko Pavlovic (Hrsg.), AMAST 2010, Band 6486, S. 60–75, Lecture Notes in Computer Science. Springer.
	Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark (2010). Adaptive Star Grammars and Their Languages. In Theoretical Computer Science, Band 411, S. 3090–3109.
	Alexander Fabisch, Tim Laue, Thomas RÃ¶fer (2010). Robot Recognition and Modeling in the RoboCup Standard Platform League. In Changjiu Zhou, Enrico Pagello, Sven Behnke, Emanuele Menegatti, Thomas RÃ¶fer, Peter Stone (Hrsg.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2010 IEEE-RAS International Conference on Humanoid Robots.
	Fischer, C., Shi, H., Jian , C., Schafmeister, F., Menrad, N., v. SteinbÃ¼chel, N., Schill, K., Krieg-BrÃ¼ckner, B. (2010). Modelling User Behaviour while Driving an Intelligent Wheelchair. In Proceedings of Third International Conference on Health Informatics.
	U. Frese, R. Wagner, T. RÃ¶fer (2010). A SLAM Overview from a User's Perspective. In KI-Zeitschrift, 24 (3).
	J. Frey, Christoph Stahl, Thomas RÃ¶fer, Bernd Krieg-BrÃ¼ckner, Jan Alexandersson (2010). The DFKI Competence Center for Ambient Assisted Living. In Boris de Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio M. Gomez (Hrsg.), Ambient Intelligence: First International Joint Conference, AmI 2010, Band 6439, S. 310–314, Lecture Notes in Computer Science. Springer, Heidelberg.
	Bernd Gersdorf, Hui Shi (2010). A Castor Wheel Controller for Differential Drive Wheelchairs. In Joaquim Filipe, Juan Andrade Cetto, Jean-Louis Ferrier (Hrsg.), ICINCO 2010, Band 2, S. 174–179.
	Rajeev Gore, Clemens Kupke, Dirk Pattinson, Lutz SchrÃ¶der (2010). Global Caching for Coalgebraic Description Logics. In JÃ¼rgen Giesl, Reiner Haehnle (Hrsg.), International Joint Conference on Automated Reasoning, IJCAR 2010, Band 6173, S. 46–60, Lecture Notes in Computer Science. Springer.
	Colin Graf, Thomas RÃ¶fer (2010). A Closed-loop 3D-LIPM Gait for the RoboCup Standard Platform League Humanoid. In Changjiu Zhou, Enrico Pagello, Sven Behnke, Emanuele Menegatti, Thomas RÃ¶fer, Peter Stone (Hrsg.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2010 IEEE-RAS International Conference on Humanoid Robots.
	Daniel Hausmann, Lutz SchrÃ¶der (2010). Optimizing Conditional Logic Reasoning within CoLoSS. In Thomas Bolander, Torben BraÃ¼ner (Hrsg.), Methods for Modalities (M4M-6, 2009), Band 262, (p. 157-171 ). , Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam.
	PÃ©rez, Javier, Crespo, Yania, Hoffmann, Berthold, Mens, Tom (2010). A Case Study to Evaluate the Suitability of Graph Transformation Tools for Program Refactoring. In International Journal on Software Tools for Technology Transfer, 12 (3), (p. 183 ff). .
	Hoffmann, Berthold, Minas, Mark (2010). Defining Models -- Meta Models versus Graph Grammars. In Electr. Comm. of the EASST, Band 29.
	Hoffmann, Berthold (2010). Conditional Adaptive Star Grammars. In Electronic Communications of the EASST, Band 26. Revised Version of Hoffmann (2009).
	Drewes, Frank, Habel, Annegret, Hoffmann, Berthold, Plump, Detlef (Hrsg.) (2010). Manipulation of Graphs, Algebras and Pictures. Band 26, Electronic Communications of the EASST. European Association of Software Science and Technology (EASST).
	Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman (2010). Towards Ontological Blending. In Darina Dicheva, Danail Dochev (Hrsg.), Artificial Intelligence: Methodology, Systems, and Applications, 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings, Band 6304, S. 263–264, Lecture Notes in Computer Science. Springer.
	Jian, C., Zhekova, D., Shi, H., Bateman, J. (2010). Deep Reasoning in Clarification Dialogues with Mobile robots. In Proceedings of 19th European Conference on Artificial Intelligence (ECAI 2010).
	Bernd Krieg-BrÃ¼ckner, Thomas RÃ¶fer, Hui Shi, Bernd Gersdorf (2010). Mobility Assistance in the Bremen Ambient Assisted Living Lab. In GeroPsych: The Journal of Gerontopsychology and Geriatric Psychiatry, 23 (2), S. 121–130. Verlag Hans Huber.
	Oliver Kutz, Till Mossakowski, Dominik LÃ¼cke (2010). Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design. In Logica Univeralis, 4 (2), S. 255–333.
	Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther (2010). Chinese Whispers and Connected Alignments . In Pavel Shvaiko et al. (Hrsg.), Proc. of the 5th International Workshop on Ontology Matching, OM-2010, collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010, Shanghai, China. , Band 689, S. 25–36, CEUR-WS online proceedings.
	Stefan Zickler, Tim Laue, Oliver Birbach, Mahisorn Wongphati, Manuela Veloso (2010). SSL-Vision: The Shared Vision System for the RoboCup Small Size League. In Jacky Baltes, Michail G. Lagoudakis, Tadashi Naruse, Saeed Shiry (Hrsg.), RoboCup 2009: Robot Soccer World Cup XIII, Lecture Notes in Artificial Intelligence. Springer.
	Carsten Lutz, Lutz SchrÃ¶der (2010). Probabilistic Description Logics for Subjective Uncertainty. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski (Hrsg.), Principles of Knowledge Representation and Reasoning (KR 2010), S. 393–403. AAAI Press, Menlo Park, CA.
	Dominik LÃ¼cke, Till Mossakowski (2010). A much better polynomial time approximation of consistency in the LR calculus. In A. Gomez-Perez, T. Agotnes (Hrsg.), Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), Band 222, S. 175–185, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam.
	Christian Mandel, Tim Laue (2010). Particle Filter-based Position Estimation in Road-Networks using Digital Elevation Models. In Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.
	Till Mossakowski, Lutz SchrÃ¶der, Sergey Goncharov (2010). A Generic Complete Dynamic Logic for Reasoning about Purity and Effects. In Formal Aspects of Computing, 22 (3-4), S. 363–384.
	Till Mossakowski, Ugo Montanari (2010). Preface. In Logical Methods in Computer Science. SPECIAL ISSUE: Selected Papers of the Conference "Algebraic and Coalgebraic Methods in Computer Science 2007" Bergen, Norway, 2007.
	Till Mossakowski, Reinhard Moratz (2010). Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity. In CoRR. abs/0912.5533.
	Dirk Pattinson, Lutz SchrÃ¶der (2010). Cut Elimination in Coalgebraic Logics. In Information and Computation, Band 208, S. 1447–1468.
	Thomas RÃ¶fer, Tim Laue, Colin Graf, Tobias Kastner, Alexander Fabisch, Christian Thedieck (2010). B-Human Team Description for RoboCup 2010. In Javier Ruiz-del-Solar, Eric Chown, Paul G. PlÃ¶ger (Hrsg.), RoboCup 2010: Robot Soccer World Cup XIV Preproceedings. RoboCup Federation.
	Thomas RÃ¶fer, Tim Laue, Judith MÃ¼ller, Armin Burchardt, Eric Damrose, Alexander Fabisch, Fynn Feldpausch, Katharina Gillmann, Colin Graf, Thijs Jeffry de Haas, Alexander HÃ¤rtl, Daniel Honsel, Philipp Kastner et al. (2010). B-Human Team Report and Code Release 2010. Online. 127 pages.
	Lutz SchrÃ¶der, Dirk Pattinson (2010). Rank-1 modal logics are coalgebraic . In Journal of Logic and Computation, 20 (5), S. 1113–1147. Extends (SchrÃ¶der and Pattinson STACS 2007).
	Lutz SchrÃ¶der, Dirk Pattinson (2010). Named Models in Coalgebraic Hybrid Logic. In Jean-Yves Marion, Thomas Schwentick (Hrsg.), 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, Band 5, S. 645–656, Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Center of Informatics, Dagstuhl, Germany.
	Lutz SchrÃ¶der, Dirk Pattinson (2010). Coalgebraic correspondence theory. In Luke Ong (Hrsg.), Foundations of Software Science and Computation Structures (FoSSaCS 2010), Band 6014, S. 328–342, Lecture Notes in Computer Science. Springer.
	Lutz SchrÃ¶der, Dirk Pattinson, Daniel Hausmann (2010). Optimal Tableaux for Conditional Logics with Cautious Monotonicity. In Michael Wooldridge (Hrsg.), European Conference on Artificial Intelligence (ECAI 2010), Band 215, S. 707–712, Frontiers in Artificial Intelligence and Applications. IOS Press.
	Lutz SchrÃ¶der, Yde Venema (2010). Flat coalgebraic fixed point logics. In Paul Gastin, FranÃ§ois Laroussinie (Hrsg.), 21st International Conference on Concurrency Theory, CONCUR 2010, Band 6269, S. 524–538, Lecture Notes in Computer Science. Springer.
	Sergey Goncharov (2010). Kleene monads. UniversitÃ¤t Bremen.
	Shi, H., Jian, C., Krieg-BrÃ¼ckner, B. (2010). Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. In Ray Jarvis, Cosmin Dini (Hrsg.), Proceedings of The Third International Conference on Advances in Computer-Human Interactions, IEEE.
	Hui Shi, Robert J. Ross, Thora Tenbrink, John Bateman (2010). Modelling Illocutionary Structure: Combining Empirical Studies with Formal Model Analysis. In A. Gelbukh (Hrsg.), Proceedings of the 11th International Conference on Intelligent Text Processing and Computational Linguistics (CICLing 2010), Band 6008, S. 340–353, Lecture Notes in Computer Science. Springer, Berlin.
	Dennis Walter, Holger TÃ¤ubig, Christoph LÃ¼th (2010). Experiences in Applying Formal Verification in Robotics. In Schoitsch, Erwin (Hrsg.), 29th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2010), Band 6351, S. 347–360, Lecture Notes in Computer Science. Springer.

2009 nach oben

	Georgel Calin, Rob Myers, Dirk Pattinson, Lutz SchrÃ¶der (2009). CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description). In Carlos Areces, Stephane Demri (Hrsg.), Methods for Modalities (M4M-5, 2007), Band 231, S. 41–54, Electronic Notes in Theoretical Computer Science. Elsevier Science.
	Claus-Peter Wirth; JÃ¶rg Siekmann; Christoph BenzmÃ¼ller; Serge Autexier (2009). Jacques Herbrand: Life, Logic, and Automated Deduction. In Dov M. Gabbay; John Woods; : Logic from Russell to Church, Band 5, S. 195–254, Handbook of The History of Logic. Elsevier.
	Mihai Codescu (2009). Generalized Theoroidal Institution Comorphisms. In Andrea Corradini, Ugo Montanari (Hrsg.), WADT 2008, Band 5486, S. 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 (Hrsg.), ICFEM 2009, Band 5885, S. 660–678, Lecture Notes in Computer Science. Springer.
	Udo Frese, Holger TÃ¤ubig (2009). Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage. Nr. RR-09-01. Deutsches Forschungszentrum fÃ¼r KÃ¼nstliche Intelligenz, Robert-Hooke-StraÃŸe 5, 28359 Bremen. Technischer Report RR-09-01.
	Udo Frese, Daniel Hausmann, Christoph LÃ¼th, Holger TÃ¤ubig, Dennis Walter (2009). The Importance of Being Formal. In M. Huhn, H. Hungar (Hrsg.), Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert-08), located at ETAPS'08, March 29, Budapest, Hungary, 238 (4), S. 57–70, Electronic Notes in Theoretical Computer Science. Elsevier Science.
	Sergey Goncharov, Lutz SchrÃ¶der, Till Mossakowski (2009). Kleene Monads: Handling Iteration in a Framework of Generic Effects. In Alexander Kurz, Andrzej Tarlecki (Hrsg.), Algebra and Coalgebra in Computer Science (CALCO 2009), Band 5728, S. 18–33, Lecture Notes in Computer Science. Springer.
	Colin Graf, Alexander HÃ¤rtl, Thomas RÃ¶fer, Tim Laue (2009). Robust Closed-Loop Gait for the Standard Platform League Humanoid. In Changjiu Zhou, Enrico Pagello, Emanuele Menegatti, Sven Behnke, Thomas RÃ¶fer (Hrsg.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2009 IEEE-RAS International Conference on Humanoid Robots.
	S. Haddadin, T. Laue, U. Frese, S. Wolf, A. Albu-SchÃ¤ffer, G. Hirzinger (2009). Kick it with Elasticity: Safety and Performance in Human-Robot Soccer. In Robotics and Autonomous Systems, Special Issue on Humanoid Soccer Robots, 57 (8), S. 761–775.
	Berthold Hoffmann (2009). Program Graph Transformation. In Hoffmann, Berthold, LÃ¼th, Christoph, Mossakowski, Till, SchrÃ¶der, Lutz (Hrsg.), Specification, Transformation, Navigation -- Festschrift Dedicated to Bernd Krieg-BrÃ¼ckner on the Occasion of his 60th Birthday, S. 152–167. Sichere Kognitive Systeme, DFKI Bremen.
	Drewes, Frank, Habel, Annegret, Hoffmann, Berthold, Plump, Detlef (Hrsg.) (2009). Manipulation of Graphs, Algebras and Pictures - Festschrift dedicated to Hans-JÃ¶rg Kreowski on the Occasion of his 60th Birthdy. UniversitÃ¤t Bremen.
	Hoffmann, Berthold (2009). Conditional Adaptive Star Grammars. In Manipulation of Graphs, Algebras, Pictures (Hrsg.), Manipulation of Graphs, Algebras and Pictures, S. 171–189.
	Hoffmann, Berthold, LÃ¼th, Christoph, Mossakowski, Till, Roggenbach, Markus, SchrÃ¶der, Lutz (Hrsg.) (2009). Specification, Transformation, Navigation - Festschrift Sedicated to Bernd Krieg-BrÃ¼ckner on the Ooccasion of his 60th Birthday. DFKI Bremen, Sichere Kognitive Systeme.
	C. Jian, H. Shi, B. Krieg-BrÃ¼ckner (2009). SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge. In AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.
	Michael Kohlhase, Johannes Lemburg, Lutz SchrÃ¶der, Ewaryst Schulz (2009). Formal Management of CAD/CAM Processes. In Ana Cavalcanti, Dennis Dams (Hrsg.), Formal Methods (FM 2009), Band 5850, S. 223–238, Lecture Notes in Computer Science. Springer.
	B. Krieg-BrÃ¼ckner, H. Shi (2009). Spatio-Temporal Situated Interaction in Ambient Assisted Living. In Ritter, H., Sagerer, G., Steil, J. (Hrsg.), Proceedings of Third International Workshop on Human Centered Robotic Systems, HCRS'09, Nr. 205-214.
	Bernd Krieg-BrÃ¼ckner, Hui Shi, Carsten Fischer, Thomas RÃ¶fer, Jian Cui, Kerstin Schill (2009). Welche Sicherheitsassistenz brauchen Rollstuhlfahrer?. In 2. Deutscher AAL-Kongress 2009. VDE-Verlag, Berlin-Offenbach, Germany.
	Y. Kurata, H. Shi (2009). Toward Heterogeneous Cardinal Direction Calculus (Best Paper Award). In Proceedings of the 32nd Annual German Conference on Artifical Intelligence, Band 5803, S. 452–459, Lecture Notes in Artificial Intelligence.
	Tim Laue, Thijs Jeffry de Haas, Armin Burchardt, Colin Graf, Thomas RÃ¶fer, Alexander HÃ¤rtl, Andrik Rieskamp (2009). Efficient and Reliable Sensor Models for Humanoid Soccer Robot Self-Localization. In Changjiu Zhou, Enrico Pagello, Emanuele Menegatti, Sven Behnke, Thomas RÃ¶fer (Hrsg.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2009 IEEE-RAS International Conference on Humanoid Robots.
	Tim Laue, Matthias Hebbel (2009). Automatic Parameter Optimization for a Dynamic Robot Simulation. In Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou (Hrsg.), RoboCup 2008: Robot Soccer World Cup XII, Nr. 5399, S. 121–132, Lecture Notes in Artificial Intelligence. Springer.
	Tim Laue, Thomas RÃ¶fer (2009). Pose Extraction from Sample Sets in Robot Self-Localization - A Comparison and a Novel Approach. In Ivan Petrovic, Achin J. Lilienthal (Hrsg.), 4th European Conference on Mobile Robots (ECMR 2009), S. 283–288.
	Christoph LÃ¼th, Dennis Walter (2009). Certifiable specification and verification of C programs. In FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings, Band 5850, Lecture Notes in Computer Science. 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 (Hrsg.), Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, S. 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.
	Till Mossakowski, Andrzej Tarlecki, Razvan Diaconescu (2009). What is a logic translation?. In Logica Universalis, 3 (1), S. 95–124. Winner of the universal logic 2007 contest..
	Till Mossakowski, Andrzej Tarlecki (2009). Heterogeneous Logical Environments for Distributed Specifications. In Andrea Corradini, Ugo Montanari (Hrsg.), WADT 2008, Band 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 (Hrsg.), Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-JÃ¶rg Kreowski on the Occasion of His 60th Birthday, S. 269–286.
	Reinhard Moratz, Dominik LÃ¼cke, Till Mossakowski (2009). Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects. In CoRR, Band abs/0912.5533. abs/0912.5533.
	Rob Myers, Dirk Pattinson, Lutz SchrÃ¶der (2009). Coalgebraic Hybrid Logic. In Luca de Alfaro (Hrsg.), Foundations of Software Science and Computation Structures (FOSSACS 2009), Band 5504, S. 137–151, Lecture Notes in Computer Science. Springer.
	Dennis Pachur, Tim Laue, Thomas RÃ¶fer (2009). Real-time Simulation of Motion-based Camera Disturbances. In Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou (Hrsg.), RoboCup 2008: Robot Soccer World Cup XII, Band 5399, S. 591–601, Lecture Notes in Artificial Intelligence. Springer.
	Dirk Pattinson, Lutz SchrÃ¶der (2009). Generic Modal Cut Elimination Applied to Conditional Logics. In Martin Giese, Arild Waaler (Hrsg.), Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Band 5607, S. 280–294, Lecture Notes in Computer Science. Springer.
	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, S. 743–748.
	Thomas RÃ¶fer, Tim Laue, Oliver BÃ¶sche, Ingo Sieverdingbeck, Thiemo Wiedemeyer, Jan-Hendrik Worch (2009). B-Human Team Description for RoboCup 2009. In Jacky Baltes, Michail G. Lagoudakis, Tadashi Naruse, Saeed Shiry (Hrsg.), RoboCup 2009: Robot Soccer World Cup XIII Preproceedings. RoboCup Federation.
	Thomas RÃ¶fer, Tim Laue, Bernd Gersdorf (2009). iWalker - An Intelligent Walker providing Services for the Elderly. In Technically Assisted Rehabilitation 2009.
	Thomas RÃ¶fer, Tim Laue, Judith MÃ¼ller, Oliver BÃ¶sche, Armin Burchardt, Eric Damrose, Katharina Gillmann, Colin Graf, Thijs Jeffry de Haas, Alexander HÃ¤rtl, Andrik Rieskamp, AndrÃ© Schreck, Ingo Sieverdingbeck et al. (2009). B-Human Team Report and Code Release 2009. Online. 117 pages.
	Thomas RÃ¶fer, Christian Mandel, Axel Lankenau, Bernd Gersdorf, Udo Frese (2009). 15 Years of Rolland. In Berthold Hoffmann, Christoph LÃ¼th, Till Mossakowski, Lutz SchrÃ¶der (Hrsg.), Festschrift Dedicated to Bernd Krieg-BrÃ¼ckner on the Occasion of his 60th Birthday, S. 255–272. Sichere Kognitive Systeme, DFKI Bremen.
	Lutz SchrÃ¶der, Dirk Pattinson (2009). PSPACE Bounds for Rank-1 Modal Logics. In ACM Transactions on Computational Logic, 10 (2:13), S. 1–33.
	Lutz SchrÃ¶der, Till Mossakowski (2009). HasCASL: Integrated Higher-Order Specification and Program Development. In Theoretical Computer Science, 410 (12-13), S. 1217–1260.
	Lutz SchrÃ¶der, Dirk Pattinson (2009). Strong completeness of coalgebraic modal logics. In Susanne Albers, Jean-Yves Marion (Hrsg.), 26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009), S. 673–684, Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Center of Informatics, Dagstuhl, Germany.
	Lutz SchrÃ¶der, Dirk Pattinson, Clemes Kupke (2009). Nominals for Everyone. In Craig Boutilier (Hrsg.), International Joint Conferences on Artificial Intelligence (IJCAI 2009), S. 917–922. AAAI Press, Menlo Park, CA.
	Serge Autexier; Christoph BenzmÃ¼ller; Dominik Dietrich; JÃ¶rg Siekmann (2009). Resource Adaptive Processes in Automated Reasoning Systems. In Matthew Crocker; JÃ¶rg Siekmann (Hrsg.), Resource Adaptive Cognitive Processes, (p. 28). , Lecture Notes in Artificial Intelligence. Springer, Berlin.
	Serge Autexier; Dominik Dietrich (2009). Atomic Metadeduction. In BÃ¤rbel Mertsching (Hrsg.), Proceedings 32nd Annual German Conference on Artificial Intelligence. 32nd Annual German Conference on Artificial Intelligence (KI-09), September 15-18, Paderborn, Germany, Germany, Lecture Notes in Artificial Intelligence. Springer-Verlag Berlin Heidelberg.
	Hui Shi, Thora Tenbrink (2009). Telling Rolland where to go: HRI dialogues on route navigation. In Kenny Coventry, Thora Tenbrink, John Bateman (Hrsg.), Spatial Language and Dialogue. Oxford University Press.

2008 nach oben

	Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (Hrsg.) (2008). Intelligent Computer Mathematics. Band 5144, Lecture Notes in Artificial Intelligence. Springer.
	David Becker, JÃ¶rg Brose, Daniel GÃ¶hring, Matthias JÃ¼ngel, Max Risler, Thomas RÃ¶fer (2008). GermanTeam 2008. In Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou (Hrsg.), RoboCup 2008: Robot Soccer World Cup XII Preproceedings. RoboCup Federation.
	Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz SchrÃ¶der, Yde Venema (2008). Modal logics are coalgebraic. In Samson Abramsky, Erol Gelenbe, Vladimiro Sassone (Hrsg.), Visions of Computer Science, BCS International Academic Research Conference (BCS 2008), S. 129–140. British Computer Society.
	Mihai Codescu, Till Mossakowski (2008). Heterogeneous colimits. In FrÃ©dÃ©ric Boulanger, Christophe Gaston, Pierre-Yves Schobbens (Hrsg.), MoVaH'08 Workshop on Modeling, Validation and Heterogeneity. IEEE press.
	Mihai Codescu, Daniel Gaina (2008). Birkhoff Completeness in Institutions. In Logica Universalis, 2 (2), S. 277–309.
	Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark (2008). Adaptive Star Grammars and Their Languages. Nr. 2008-01. Departement Wiskunde-Informatica, Universiteit Antwerpen. Technical Report 2008-01.
	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 (Hrsg.), Applications of Graph Transformation with Industrial Relevance (AGTIVE'07) Selected Papers, Band 5088, S. 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. (read Frese et al., ECEASST 2013 instead).
	Mark Minas, Berthold Hoffmann (2008). An Example of Cloning Graph Transformation Rules for Programming. In Electronic Notes in Theoretical Computer Science, Band 211, S. 241–250.
	Drewes, Frank, Hoffmann, Berthold, Minas, Mark (2008). Adaptive Star Grammars for Graph Models. In Hartmut Ehrig, others (Hrsg.), 4th International Conference on Graph Transformation (ICGT'08), Band 5214, S. 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 (Hrsg.), 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 (Hrsg.), 2nd Intl. Workshop on Graph Computational Models (GCM 2008), S. 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 (Hrsg.), Spatial Cognition V: Reasoning, Action, Interaction, International Conference Spatial Cognition 2006, Nr. 4387, S. 107–126, Lecture Notes in Artificial Intelligence. Springer-Verlag Heidelberg.
	Cui Jian (2008). Interpretation of Route instructions with Qualitative and Quantitative Information for Mobile robots (Interpretation der Routeninstruktionen mit qualitativen und quantitativen Informationen fÃ¼r mobile Roboter). Master Thesis (Diplomarbeit).
	Andrea Kohlhase (2008). MS PowerPoint Use from a Micro-Perspective. In AACE (Hrsg.), Proceedings of the World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008, Band 1, S. 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 (Hrsg.), Proceedings of the 31st Annual German Conference on Artifical Intelligence, Band 5243, S. 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 (Hrsg.), ECAI 2008, Band 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 (Hrsg.), International Workshop on Ontologies: Reasoning and Modularity (WORM-08), Band 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, Band 90, CRPIT.
	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 (Hrsg.), OWL: Experiences and Directions, 5th International Workshop (OWLED-08), Nr. 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).
	Tim Laue, Thomas RÃ¶fer (2008). SimRobot - Development and Applications. In Heni Ben Amor, Joschka Boedecker, Oliver Obst (Hrsg.), 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.
	Dominik LÃ¼cke, Till Mossakowski, Diedrich Wolter (2008). Qualitative reasoning about convex relations. In Christian Freksa, Nora S. Newcombe, Peter Gaerdenfors (Hrsg.), Spatial Cognition VI 2008, Band 5248, S. 426–440, Lecture Notes in Computer Science. Springer.
	Christoph LÃ¼th, Udo Frese, Holger TÃ¤ubig, Dennis Walter, Daniel Hausmann (2008). SAMS Sicherheitskomponente fÃ¼r Autonome Mobile Serviceroboter. In Proc. ROBOTIK 2008, Band 2012, VDI-Berichte. 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, Band 5144, S. 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 (Hrsg.), Logics of formal specification languages, S. 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 (Hrsg.), Fundamental Approaches to Software Engineering (FASE 2008), Band 4961, S. 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 (Hrsg.), Foundations of Software Science and Computation Structures (FOSSACS 2008), Band 4962, S. 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 (Hrsg.), Coalgebraic Methods in Computer Science (CMCS 08), Band 203, S. 221–241, Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam.
	Thomas RÃ¶fer (2008). Region-Based Segmentation with Ambiguous Color Classes and 2-D Motion Compensation. In Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert (Hrsg.), RoboCup 2007: Robot Soccer World Cup XI, Band 5001, S. 369–376, Lecture Notes in Artificial Intelligence. Springer.
	Thomas RÃ¶fer, Tim Laue, Armin Burchardt, Eric Damrose, Martin Fritsche, Judith MÃ¼ller, Andrik Rieskamp (2008). B-Human Team Description for RoboCup 2008. In Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou (Hrsg.), RoboCup 2008: Robot Soccer World Cup XII Preproceedings. RoboCup Federation.
	Thomas RÃ¶fer, Tim Laue, Armin Burchardt, Eric Damrose, Katharina Gillmann, Colin Graf, Thijs Jeffry de Haas, Alexander HÃ¤rtl, Andrik Rieskamp, AndrÃ© Schreck, Jan-Hendrik Worch (2008). B-Human Team Report and Code Release 2008. Online. 72 pages.
	Lutz SchrÃ¶der (2008). Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In Theoretical Computer Science, Band 390, S. 230–247. Extends (SchrÃ¶der 2005).
	Lutz SchrÃ¶der (2008). Linearizability of Non-expansive Semigroup Actions on Metric Spaces. In Topology and its Applications, Band 155, S. 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 (Hrsg.), Principles of Knowledge Representation and Reasoning (KR 2008), S. 307–218. AAAI Press, Menlo Park, CA.
	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 (Hrsg.), Advances in Artificial Intelligence (KI 2008), Band 5243, S. 324–331, Lecture Notes in Artificial Intelligence. Springer. Full version available as e-print arXiv:0802.0116.
	Lutz SchrÃ¶der (2008). Bootstrapping Inductive and Coinductive Types in HasCASL. In Logical Methods in Computer Science, 4 (4:17), S. 1–27.
	Serge Autexier; Christoph Benzmueller; Dominik Dietrich; Marc Wagner (2008). Organisation, Transformation, and Propagation of Mathematical Knowledge in ΩMEGA. In Journal Mathematics in Computer Science, 2 (2), S. 253–277.
	Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow (2008). Preface. In Journal of Automated Reasoning, Special Issue on Formal Modeling and Verification of Critical Systems, (p. 1). .
	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 (Hrsg.), Spatial Cognition V, Band 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), S. 33–60.
	Hui Shi, Bernd Krieg-BrÃ¼ckner (2008). Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems. In KI Zeitschrift, Band 3, S. 59–61.
	Michael WÃ¼nstel, Thomas RÃ¶fer (2008). Multi-Modal Scene Interpretation. In Sabine Timpf (Hrsg.). KÃ¼nstliche Intelligenz - Themenheft RÃ¤umliche MobilitÃ¤t, S. 69–71. Fachbereich KI der Gesellschaft fÃ¼r Informatik e.V., BÃ¶ttcherIT Verlag.

2007 nach oben

	John Bateman, Stefano Borgo, Klaus LÃ¼ttich, Claudio Masolo, Till Mossakowski (2007). Ontological Modularity and Spatial Diversity. In Spatial Cognition and Computation, 7 (1), S. 97–128.
	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), S. 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 (Hrsg.), WSCG 2007 Short Paper Proceedings, S. 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 (Hrsg.), 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 (Hrsg.), 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.
	Tim Laue, Thomas 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.
	Tim Laue, Thomas RÃ¶fer (2007). Integrating Simple Unreliable Perceptions for Accurate Robot Modeling in the Four-Legged League. In Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi (Hrsg.), RoboCup 2006: Robot Soccer World Cup X, Band 4434, S. 474–482, Lecture Notes in Artificial Intelligence. Springer.
	Christoph LÃ¼th, Bernd Krieg-BrÃ¼ckner (2007). Sicherheit in der KÃ¼nstlichen Intelligenz. In KÃ¼nstliche Intelligenz, Band 1, S. 51–52.
	David Aspinall, Christoph LÃ¼th, Daniel Winterstein (2007). A Framework for Interactive Proof. In Mathematical Knowledge Management MKM 2007, Band 4573, S. 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 (Hrsg.), WADT 2006, Band 4409, S. 74–91. Springer-Verlag Heidelberg.
	Klaus LÃ¼ttich (2007). Development of Structured Ontologies in CASL. UniversitÃ¤t Bremen, BibliothekstraÃŸe 1, 28359 Bremen, Germany.
	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 (Hrsg.), TACAS 2007, Band 4424, S. 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 (Hrsg.), WADT 2006, Band 4409, S. 92–110, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	Till Mossakowski, Ugo Montanari, Magne Haveraaen (Hrsg.) (2007). CALCO 2007. Second conference on algebra and coalgebra in computer science. Band 4624, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	Till Mossakowski, Christian Maeder, Klaus LÃ¼ttich (2007). The Heterogeneous Tool Set. In Bernhard Beckert (Hrsg.), VERIFY 2007, 4th International Verification Workshop, Band 259, S. 119–135, CEUR Workshop Proceedings.
	Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki (2007). What is a Logic? (revised version). In Jean-Yves Beziau (Hrsg.), Logica Universalis, Nr. second edition, S. 111–133. BirkhÃ¤user.
	Cord Niehaus, Thomas RÃ¶fer, Tim Laue (2007). Gait Optimization on a Humanoid Robot using Particle Swarm Optimization. In Changjiu Zhou, Enrico Pagello, Emanuele Menegatti, Sven Behnke (Hrsg.), 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.
	Thomas RÃ¶fer, JÃ¶rg Brose, Daniel GÃ¶hring, Matthias JÃ¼ngel, Tim Laue, Max Risler (2007). GermanTeam 2007. In Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert (Hrsg.), 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), Band 73, S. 97–110. Extends (SchrÃ¶der 2006).
	Lutz SchrÃ¶der, Dirk Pattinson (2007). Rank-1 Modal Logics are Coalgebraic. In Wolfgang Thomas, Pascal Weil (Hrsg.), International Symposium on Theoretical Aspects of Computer Science (STACS 07), Band 4393, S. 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 (Hrsg.), Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Band 4409, S. 128–142, Lecture Notes in Computer Science. Springer.
	Lutz SchrÃ¶der (2007). Bootstrapping Types and Cotypes in HasCASL. In Till Mossakowski, Udo Montanari (Hrsg.), Algebra and Coalgebra in Computer Science (CALCO 07), Band 4624, S. 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 (Hrsg.), Automata, Languages and Programming (ICALP 07), Band 4596, S. 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 (Hrsg.), Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue.
	Paolo Torrini, Christpoh LÃ¼th, Christian Maeder, Till Mossakowski (2007). Translating Haskell to Isabelle. In Klaus Schneider, Jens Brandt (Hrsg.), Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, (p. 178â€“193). . Uni Kaiserslautern.
	Stefan WÃ¶lfl, Till Mossakowski, Lutz SchrÃ¶der (2007). Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In David Wilson, Geoff Sutcliffe (Hrsg.), 20th International FLAIRS Conference (FLAIRS-20), S. 665–670. AAAI Press.

2006 nach oben

	Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer (2006). Maya: Maintaining Structured Developments. In Michael Kohlhase (Hrsg.), OMDoc â€“ An Open Markup Format for Mathematical Documents [version 1.2], Band 4180, S. 281–285, Lecture Notes in Artificial Intelligence. Springer.
	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 (Hrsg.), Geographic Information Science - Fourth International Conference, GIScience 2006, Band 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 (Hrsg.), 3rd International Conference on Graph Transformation (ICGT'06), Band 4178, S. 77–91, Lecture Notes in Computer Science. Springer.
	U. Frese (2006). Treemap: An $O(log n)$ Algorithm for Indoor Simultaneous Localization and Mapping. In Autonomus Robots, 21 (2), S. 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. Nr. 006-03/2006. UniversitÃ¤t Bremen, SFB/TR 8 Spatial Cognition. Technical Report 006-03/2006. 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 (Hrsg.), Mathematical Foundations of Computer Science, Band 4162, S. 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), S. 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, Band 152, S. 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, S. 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, S. 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 (Hrsg.), Band 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. (Hrsg.), Proc. International Conference GIScience 2006, MÃ¼nster, Germany, Band 4197, S. 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.
	Tim Laue, Thomas RÃ¶fer (2006). Getting Upright: Migrating Concepts and Software from Four-Legged to Humanoid Soccer Robots. In Enrico Pagello, Changjiu Zhou, Emanuele Menegatti (Hrsg.), Proceedings of the Workshop on Humanoid Soccer Robots in conjunction with the 2006 IEEE International Conference on Humanoid Robots.
	Tim Laue, Kai Spiess, Thomas RÃ¶fer (2006). SimRobot - A General Physical Robot Simulator and Its Application in RoboCup. In Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi (Hrsg.), RoboCup 2005: Robot Soccer World Cup IX, Band 4020, S. 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, Band 12, S. 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 (Hrsg.), Formal Ontology in Information Systems -- Proceedings of the Fourth International Conference (FOIS-2006), Band 150, S. 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 (Hrsg.), Workshop on Modular Ontologies 2006, Band 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), S. 235–278.
	Christian Mandel, Udo Frese, Thomas 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).
	Michael WÃ¼nstel, Thomas RÃ¶fer (2006). A Probabilistic Approach for Object Recognition in a Real 3-D Office Environment. In Vaclav Skala (Hrsg.), WSCGâ€™2006 Posters Proceedings, S. 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), S. 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), S. 114–145.
	Till Mossakowski (2006). Institutional 2-cells and Grothendieck institutions. In K. Futatsugi, J.-P. Jouannaud, J. Meseguer (Hrsg.), Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Band 4060, S. 124–149, Lecture Notes in Computer Science. Springer, Berlin.
	Till Mossakowski (2006). Monad-Based Logics for Computational Effects. In M. Johnson, V. Vene (Hrsg.), AMAST 2006, Band 4019, S. 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 (Hrsg.), Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, S. 28–39.
	Till Mossakowski, Christian Maeder, Klaus LÃ¼ttich (2006). Hets User Guide. Department of Computer Science; UniversitÃ¤t Bremen. Technical Report.
	Till Mossakowski, Christian Maeder, Klaus LÃ¼ttich (2006). Hets: The Heterogeneous Tool Set. In Michael Kohlhase (Hrsg.), Maya: Maintaining Structured Developments, Band 4180, S. 286–289, Lecture Notes in Artificial Intelligence. Springer.
	Walter NisticÃ², Thomas RÃ¶fer (2006). Improving percept reliability in the Sony Four-Legged League. In Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi (Hrsg.), RoboCup 2005: Robot Soccer World Cup IX, Band 4020, S. 545–552, Lecture Notes in Artificial Intelligence. Springer.
	Robert J. Ross, Christian Mandel, John Bateman, Shi Hui and Udo Frese (2006). Towards Stratified Spatial Modeling for Communication and Navigation. In IROS Workshop From Sensors to Human Spatial Concepts 06.
	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.
	Thomas RÃ¶fer, JÃ¶rg Brose, Eike Carls, Jan Carstens, Daniel GÃ¶hring, Matthias JÃ¼ngel, Tim Laue, Tobias Oberlies, Sven Oesau, Max Risler, Michael Spranger, Christian Werner, JÃ¶rg Zimmer (2006). GermanTeam 2006. In Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi (Hrsg.), RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup Federation.
	Thomas RÃ¶fer, Tim Laue, Dirk Thomas (2006). Particle-filter-based self-localization using landmarks and directed lines. In Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi (Hrsg.), RoboCup 2005: Robot Soccer World Cup IX, Band 4020, S. 608–615, Lecture Notes in Artificial Intelligence. Springer.
	Lutz SchrÃ¶der (2006). The HasCASL Prologue - Categorical Syntax and Semantics of the Partial λ-calculus. In Theoret. Comput. Sci., Band 353, S. 1–25.
	Lutz SchrÃ¶der (2006). A Finite Model Construction for Coalgebraic Modal Logic. In Luca Aceto, Anna Ingólfsdóttir (Hrsg.), Foundations Of Software Science And Computation Structures, Band 3921, S. 157–171, Lecture Notes in Computer Science. Springer, Berlin. EATCS Best Paper Award at ETAPS 2006.
	Lutz SchrÃ¶der, Dirk Pattinson (2006). PSPACE Bounds for Rank 1 Modal Logics. In Rajeev Alur (Hrsg.), Logic in Computer Science (LICS 06), S. 231–240. IEEE. Presentation slides available.
	Thora Tenbrink, Hui Shi, Kerstin Fischer (2006). Route instruction dialogues with a robotic wheelchair. In Proc. BranDial 2006: The 10th Workshop on the Semantics and Pragmatics of Dialogue.
	Michael WÃ¼nstel, Thomas RÃ¶fer (2006). Feature Based Registration of Range Images in Domestic Environments. In Computer Vision and Graphics, ICCVG 2004, S. 648–654, Computational Imaging and Vision. Springer.

2005 nach oben

	U. Frese (2005). A Proof for the Approximate Sparsity of SLAM Information Matrices. In Proceedings of the IEEE International Conference on Robotics and Automation, S. 331–337.
	Daniel Hausmann, Till Mossakowski, Lutz SchrÃ¶der (2005). Iterative Circular Coinduction for CoCASL in Isabelle/HOL. In Maura Cerioli (Hrsg.), Fundamental Approaches to Software Engineering 2005, Band 3442, S. 341–356, Lecture Notes in Computer Science. Springer, Berlin.
	Daniel Hausmann, Till Mossakowski, Lutz SchrÃ¶der (2005). Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus. In Jose Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten (Hrsg.), Algebra and Coalgebra in Computer Science, Band 3629, S. 232–246, 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 (Hrsg.), Formal Methods in Software and System Modeling (Festschrift for Hartmut Ehrig on the Occasion of his 60th Birthday), Band 3393, S. 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), S. 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, Band 3536, S. 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), S. 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 (Hrsg.), Spatial Cognition IV, Band 3343, S. 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.
	Tim Laue, Thomas RÃ¶fer (2005). A Behavior Architecture for Autonomous Mobile Robots Based on Potential Fields. In RoboCup 2004: Robot World Cup VIII, Band 3276, S. 122–133, Lecture Notes in Artificial Intelligence. Springer.
	Pedro U. Lima, LuÃs M. M. CustÃ³dio, H. Levent Akin, Adam Jacoff, Gerhard Kraezschmar, Ng Beng Kiat, Oliver Obst, Thomas RÃ¶fer, Yasutake Takahashi, Changjiu Zhou (2005). RoboCup 2004 Competitions and Symposium: A Small Kick for Robots, a Giant Score for Science. In AI Magazine, 26 (2), S. 36–61. American Association for Artificial Intelligence.
	Christoph LÃ¼th, Markus Roggenbach, Lutz SchrÃ¶der (2005). CCC - The CASL Consistency Checker. In JosÃ© Fiadeiro (Hrsg.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Band 3423, S. 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), S. 433–451. To appear.
	Micheal Abbot, Neil Ghani, Christoph LÃ¼th (2005). Abstract Modularity. In JÃ¼rgen Giesl (Hrsg.), Rewriting Techniques and Applications RTA'05, Band 3467, S. 46–60, Lecture Notes in Computer Science. Springer.
	David Aspinall, Christoph LÃ¼th, Burkhart Wolff (2005). Assisted Proof Document Authoring. In Michael Kohlhase (Hrsg.), Mathematical Knowledge Management MKM 2005, Band 3863, S. 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 (Hrsg.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Band 3423, S. 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 (Hrsg.), CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, Nr. CSR 18-2005, S. 41–53, Report Series. University of Wales Swansea.
	Achim Mahnke, Jan Scheffczyk (2005). Engineering Mathematical Knowledge. In Michael Kohlhase (Hrsg.), Proceedings of the 4th International Conference on Mathematical Knowledge Management (MKM05), Bremen, Germany, Band 3863, S. 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), S. 165–172.
	T. Mossakowski, D. Sannella, A. Tarlecki (2005). A simple refinement language for CASL. In Jose Luiz Fiadeiro (Hrsg.), WADT 2004, Band 3423, S. 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 (Hrsg.), Logica Universalis, S. 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 (Hrsg.), Semantic Interoperability and Integration, Nr. 04391, Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ.
	Till Mossakowski (2005). Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen. Technical Report. Habilitation thesis.
	Thomas RÃ¶fer (2005). From Perception to Action in the Sony Four-Legged Robot League. In RaÃºl Rojas (Hrsg.). IT - Information Technology. Schwerpunktthema: Autonomous Robotic Soccer, Band 5, S. 266–273. Oldenbourg Wissenschaftsverlag.
	Thomas RÃ¶fer (2005). Evolutionary Gait-Optimization Using a Fitness Function Based on Proprioception. In RoboCup 2004: Robot World Cup VIII, Band 3276, S. 310–322, Lecture Notes in Artificial Intelligence. Springer.
	Thomas RÃ¶fer, Ronnie Brunn, Stefan Czarnetzki, Marc Dassler, Matthias Hebbel, Matthias JÃ¼ngel, Thorsten Kerkhof, Walter NisticÃ², Tobias Oberlies, Carsten Rohde, Michael Spranger, Christine Zarges (2005). GermanTeam 2005. In Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi (Hrsg.), RoboCup 2005: Robot Soccer World Cup IX Preproceedings. RoboCup Federation.
	Thomas RÃ¶fer, Tim Laue, Michael Weber, Hans-Dieter Burkhard, Matthias JÃ¼ngel, Daniel GÃ¶hring, Jan Hoffmann, Benjamin Altmeyer, Thomas Krause, Michael Spranger, Oskar von Stryk, Ronnie Brunn, Marc Dassler et al. (2005). GermanTeam RoboCup 2005. Online. 247 pages.
	Thomas RÃ¶fer, Oskar von Stryk (2005). Softwarearchitektur: Ein Erfolgsfaktor beim RoboterfuÃŸball!. In OBJEKTspektrum, 2005 (4), S. 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), S. 215–247.
	Lutz SchrÃ¶der, Till Mossakowski, Christoph LÃ¼th (2005). Type class polymorphism in an institutional framework. In José Fiadeiro (Hrsg.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Band 3423, S. 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 (Hrsg.), Foundations of Software Science And Computation Structures, Band 3441, S. 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 (Hrsg.), Software Engineering and Formal Methods 2005, S. 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.
	Hui Shi, Thora Tenbrink (2005). Telling Rolland where to go: HRI dialogues on route navigation. In WoSLaD Workshop on Spatial Language and Dialogue, October 23-25, 2005.
	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 (Hrsg.), RoboCup 2004: Robot Soccer World Cup VIII, Band 3276, S. 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).
	Dennis Walter, Lutz SchrÃ¶der, Till Mossakowski (2005). Parametrized Exceptions. In Jose Fiadeiro, Jan Rutten (Hrsg.), Algebra and Coalgebra in Computer Science, Band 3629, S. 424–438, Lecture Notes in Computer Science. Springer, Berlin.
	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, S. 48–53. This paper became ICIA 2005 Finalist for Best Conference Paper Award.
	Dirk Wilking, Thomas RÃ¶fer (2005). Real-time Object Recognition Using Decision Tree Learning. In RoboCup 2004: Robot World Cup VIII, Band 3276, S. 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 (Hrsg.), Conference on Spatial Information Theory, Band 3693, S. 200–217, Lecture Notes in Computer Science. Springer, Berlin.

2004 nach oben

	Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki (2004). CASL Semantics. In Peter D. Mosses (Hrsg.), CASL Reference Manual, Band 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 (Hrsg.), Procceedings of the Fourth International Conference on Quality Software, IEEE.
	Annegret Habel, Berthold Hoffmann (2004). Parallel Independence in Hierarchical Graph Transformation. In International Conference on Graph Transformation, Nr. 3256, S. 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 (Hrsg.), RoboCup 2003: Robot Soccer World Cup VII, Band 3020, S. 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 (Hrsg.), 10. Workshop Farbbildverarbeitung, S. 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 (Hrsg.), CASL Reference Manual, Band 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 (Hrsg.), DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik, 6.-8. September 2004, Paderborn, Germany, Band P-52, S. 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. (Hrsg.), On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, Band 3292, S. 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, Band 10, S. 290–312.
	Einar Broch Johnsen, Christoph LÃ¼th (2004). Abstracting Transformations for Refinement. In Nordic Journal of Computing, Band 10, S. 316–336.
	Einar Broch Johnsen, Christoph LÃ¼th (2004). Theorem Reuse by Proof Term Transformation. In Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (Hrsg.), International Conference on Theorem Proving in Higher-Order Logics TPHOLs 2004, Band 3223, S. 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 (Hrsg.), FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, S. 109–119.
	K. LÃ¼ttich, T. Mossakowski (2004). Specification of Ontologies in CASL. In Achille C. Varzi, Laure Vieu (Hrsg.), Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), Band 114, S. 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, Band 145, S. 119–145.
	Till Mossakowski, Piotr Hoffman, Serge Autexier, Dieter Hutter (2004). CASL Logic. In Peter D. Mosses (Hrsg.), CASL Reference Manual, Band 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 (Hrsg.), CASL Reference Manual, Band 2960, S. 61–69, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (2004). CASL Tools. In M. Bidoit, P. D. Mosses (Hrsg.), CASL User Manual, Band 2900, S. 131–142, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (2004). CASL Basic Libraries. In M. Bidoit, P. D. Mosses (Hrsg.), CASL User Manual, Band 2900, S. 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 (Hrsg.), CASL reference manual, Band 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 (Hrsg.), Spatial Cognition 2004, Band 3343, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Thomas RÃ¶fer, Ronnie Brunn, Ingo Dahm, Matthias Hebbel, Jan Hoffmann, Matthias JÃ¼ngel, Tim Laue, Martin LÃ¶tzsch, Walter NisticÃ², Michael Spranger (2004). GermanTeam 2004. In RoboCup 2004: Robot World Cup VIII Preproceedings. RoboCup Federation.
	Thomas RÃ¶fer, Ingo Dahm, Uwe DÃ¼ffert, Jan Hoffmann, Matthias JÃ¼ngel, Martin Kallnik, Martin LÃ¶tzsch, Max Risler, Max Stelzer, Jens Ziegler (2004). GermanTeam 2003. In RoboCup 2003: Robot World Cup VII, Band 3020, Lecture Notes in Artificial Intelligence. Springer. on CD.
	Thomas RÃ¶fer, Matthias JÃ¼ngel (2004). Fast and robust edge-based localization in the Sony Four-Legged Robot League. In RoboCup 2003: Robot World Cup VII, Band 3020, S. 262–273, Lecture Notes in Artificial Intelligence. Springer.
	Thomas RÃ¶fer, Tim Laue, Hans-Dieter Burkhard, Jan Hoffmann, Matthias JÃ¼ngel, Daniel GÃ¶hring, Martin LÃ¶tzsch, Uwe DÃ¼ffert, Michael Spranger, Benjamin Altmeyer, Viviana Goetzke, Oskar von Stryk, Ronnie Brunn et al. (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 (Hrsg.), Algebraic Methodology and Software Technology, Band 3116, S. 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), S. 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 (Hrsg.), Computer Science Logic (CSL 04), Band 3210, S. 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 nach oben

	Frank Drewes, Berthold Hoffmann, Mark Minas (2003). Context-Exploiting Shapes for Diagram Transformation. In Machine Graphics and Vision, 12 (1), S. 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.
	Berthold Hoffmann (2003). Abstraction and Control for Shapely Nested Graph Transformation. In Fundamenta Informaticae, 58 (1), S. 39–65.
	Kathrin Hoffmann, Till Mossakowski (2003). Algebraic Higher Order Nets: Graphs and Petri Nets as Tokens. In M. Wirsing, D. Pattinson, R. Hennicker (Hrsg.), Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, Band 2755, S. 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 (Hrsg.), 16th International Conference on Vision Interface, S. 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 (Hrsg.), Recent Trends in Algebraic Development Techniques, Band 2755, S. 82–117, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Axel Lankenau, Thomas RÃ¶fer, Bernd Krieg-BrÃ¼ckner (2003). Self-Localization in Large-Scale Environments for the Bremen Autonomous Wheelchair. In Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender (Hrsg.), Spatial Cognition III, Band 2685, S. 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), S. 349–370.
	Christoph LÃ¼th (2003). Haskell in Space. In Journal of Functional Programming, 13 (6), S. 1077–1085.
	Federico de Marchi, Neil Ghani, Christoph LÃ¼th (2003). Coalgebraic Approaches to Algebraic Terms. In Theoretical Informatics and Applications, Band 37, S. 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 (Hrsg.), Spatial Information Theory: Foundations of Geographic Information Science. Conference on Spatial Information Theory (COSIT), S. 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), S. 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 (Hrsg.), Spatial Cognition III, S. 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 (Hrsg.), Spatial Cognition III, S. 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 (Hrsg.), Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, Band 2755, S. 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 (Hrsg.), Coalgebraic Methods in Computer Science, Band 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,, S. 83–90. IEEE Computer Society Press.
	T. Mossakowski (2003). Foundations of heterogeneous specification. In M. Wirsing, D. Pattinson, R. Hennicker (Hrsg.), Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, S. 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, Band 22, S. 285–321.
	Thomas RÃ¶fer (2003). An Architecture for a National RoboCup Team. In Gal A. Kaminka, Pedro U. Lima, RaÃºl Rojas (Hrsg.), RoboCup 2002: Robot Soccer World Cup VI, Band 2752, S. 417–425, Lecture Notes in Artificial Intelligence. Springer.
	Thomas RÃ¶fer, Hans-Dieter Burkhard, Uwe DÃ¼ffert, Jan Hoffmann, Daniel GÃ¶hring, Matthias JÃ¼ngel, Martin LÃ¶tzsch, Oskar von Stryk, Ronnie Brunn, Martin Kallnik, Michael Kunz, Sebastian Petters, Max Risler et al. (2003). GermanTeam RoboCup 2003. Online. 199 pages.
	Thomas RÃ¶fer, Matthias JÃ¼ngel (2003). Vision-Based Fast and Reactive Monte-Carlo Localization. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA-2003), S. 856–861.
	Lutz SchrÃ¶der (2003). Classifying categories for partial equational logic. In Richard Blute (Hrsg.), Category Theory and Computer Science (CTCS 02), Band 69, Electronic Notes in Theoretical Computer Science. Elsevier Science.
	Lutz SchrÃ¶der, Till Mossakowski (2003). Monad-independent Hoare logic in HasCASL. In Mauro Pezze (Hrsg.), Fundamental Approaches to Software Engineering (FASE 2003), Band 2621, S. 261–277, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz SchrÃ¶der (2003). Henkin models of the partial λ-calculus. In Matthias Baaz, Johann Makowsky (Hrsg.), Computer Science Logic, Band 2803, S. 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 (Hrsg.), Chemoinformatics - A Textbook. Wiley-VCH Weinheim.

2002 nach oben

	S. Autexier, T. Mossakowski (2002). Integrating HOLCASL into the Development Graph Manager MAYA. In A. Armando (Hrsg.), Frontiers of Combining Systems, 4th International Workshop, Band 2309, S. 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 (Hrsg.), Algebraic Methodology and Software Technology, 2002, Band 2422, S. 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, Nr. 2434, S. 19–31, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Ronnie Brunn, Uwe DÃ¼ffert, Matthias JÃ¼ngel, Tim Laue, Martin LÃ¶tzsch, Sebastian Petters, Max Risler, Thomas RÃ¶fer, Kai Spiess, Andreas Sztybryc (2002). GermanTeam 2001. In RoboCup 2001: Robot Soccer World Cup V, Band 2377, S. 705–708, Lecture Notes in Artificial Intelligence. Springer.
	Hans-Dieter Burkhard, Uwe DÃ¼ffert, Jan Hoffmann, Matthias JÃ¼ngel, Martin LÃ¶tzsch, Ronnie Brunn, Martin Kallnik, Nicolai Kuntze, Michael Kunz, Sebastian Petters, Max Risler, Oskar von Stryk, Nils Koschmieder et al. (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 (Hrsg.), 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 (Hrsg.), 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), S. 249–283.
	Uwe DÃ¼ffert, Matthias JÃ¼ngel, Tim Laue, Martin LÃ¶tzsch, Max Risler, Thomas RÃ¶fer (2002). GermanTeam 2002. In Gal A. Kaminka, Pedro U. Lima, RaÃºl Rojas (Hrsg.), 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 (Hrsg.), 1st Int'l Conference on Graph Transformation (ICGT'02), Barcelona, Nr. 2505, S. 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, Band 286, S. 153–196.
	B. Krieg-BrÃ¼ckner (2002). MMiSS -- MultiMedia-Instruction in Safe and Secure Systems. In D. Hutter, W. Stephan (Hrsg.), 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.
	Axel Lankenau, Thomas 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), S. 1359–1364. IEEE.
	Neil Ghani, Christoph LÃ¼th, Federico De Marchi (2002). Coalgebraic Monads. In Lawrence S. Moss (Hrsg.), 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 (Hrsg.), 4th International Workshop on Frontiers of Combining Systems FroCos 2002, Nr. 2309, S. 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, S. 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, Band 286, S. 367–475.
	T. Mossakowski (2002). Heterogeneous development graphs and heterogeneous borrowing. In M. Nielsen, U. Engberg (Hrsg.), Foundations of Software Science and Computation Structures, Band 2303, S. 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 (Hrsg.), Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy, Band 2267, S. 221–237, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (2002). Comorphism-based Grothendieck logics. In K. Diks, W. Rytter (Hrsg.), Mathematical foundations of computer science, Band 2420, S. 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, S. 421–428.
	Markus Roggenbach, Till Mossakowski (2002). Methodological guidelines (for CASL). CoFI note M-6.
	Thomas RÃ¶fer (2002). Using Histogram Correlation to Create Consistent Laser Scan Maps. In Proceedings of the IEEE International Conference on Robotics Systems (IROS-2002), S. 625–630. EPFL, Lausanne, Switzerland.
	Thomas RÃ¶fer, Axel Lankenau (2002). Route-Based Robot Navigation. In Christian Freksa (Hrsg.). KÃ¼nstliche Intelligenz - Themenheft Spatial Cognition, S. 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 (Hrsg.), Algebraic Methodology And Software Technology (AMAST 2002), Band 2422, S. 99–116, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz SchrÃ¶der (2002). Monads on composition graphs. In Applied Categorical Structures, Band 10, S. 221–236.
	Lutz SchrÃ¶der, Paulo Mateus (2002). Universal aspects of probabilistic automata. In Math. Struct. Comput. Sci., Band 12, S. 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, Band 1679, S. 263–268, VDI-Berichte.

2001 nach oben

	Hans-Dieter Burkhard, Uwe DÃ¼ffert, Matthias JÃ¼ngel, Martin LÃ¶tzsch, Nils Koschmieder, Tim Laue, Thomas RÃ¶fer, Kai Spiess, Andreas Sztybryc, Ronnie Brunn, Max Risler, Oskar von 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, (p. 1623-1629). .
	N. Ghani, C. LÃ¼th, F. de Marchi, J. Power (2001). Algebras, Coalgebras, Monads and Comonads. In U. Montanari (Hrsg.), Proceedings CMCS'01, Band 44.
	Berthold Hoffmann (2001). Shapely Hierarchical Graph Transformation. In Proc. IEEE Symposia on Human-Centric Computing Languages and Environments, S. 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 (Hrsg.), Mathematical Foundations of Computer Science, Band 2136, S. 512–523, Lecture Notes in Computer Science. Springer, Berlin.
	A. Lankenau (2001). Avoiding Mode Confusion in Service-Robots. In M. Mokhtari (Hrsg.), Integration of Assistive Technology in the Information Age, Proc. of the 7th Int. Conf. on Rehabilitation Robotics, S. 162–167. IOS Press.
	Axel Lankenau, Thomas RÃ¶fer (2001). A Safe and Versatile Mobility Assistant. In Reinventing the Wheelchair. IEEE Robotics and Automation Magazine, Band 7, S. 29–37.
	Axel Lankenau, Thomas RÃ¶fer (2001). Selbstlokalisation in Routengraphen. In Paul Levi, Michael Schanz (Hrsg.), Autonome Mobile Systeme 2001, S. 157–163, Informatik aktuell. Springer.
	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), S. 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 (Hrsg.), Fundamental Approaches to Software Engineering, Band 2029, S. 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 (Hrsg.), Recent Trends in Algebraic Specification Techniques, 15th International Workshop, WADT 2001, Band 2267, Lecture Notes in Computer Science. Springer, Berlin.
	Thomas RÃ¶fer (2001). Building Consistent Laser Scan Maps. In Proceedings of the 4th European Workshop on Advanced Mobile Robots (Eurobot 2001), Band 86, S. 83–90. Lund University Cognitive Studies.
	Thomas RÃ¶fer (2001). Konsistente Karten aus Laser Scans. In Paul Levi, Michael Schanz (Hrsg.), Autonome Mobile Systeme 2001, S. 171–177, Informatik aktuell. Springer.
	Lutz SchrÃ¶der (2001). Categories: a free tour. In Austin Melton, JÃ¼rgen Koslowski (Hrsg.), Categorical Perspectives, S. 1–27. BirkhÃ¤user, Basel.
	Lutz SchrÃ¶der (2001). Traces of Epimorphism classes. In Quaestiones Mathematicae, Band 24, S. 193–200.
	Lutz SchrÃ¶der (2001). Life without the Terminal Type. In Laurent Fribourg (Hrsg.), Computer Science Logic, Band 2142, S. 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 (Hrsg.), Fundamental Approaches to Software Engineering, Band 2029, S. 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 (Hrsg.), International Colloquium on Automata, Languages and Programming (ICALP 2001), Band 2076, S. 993–1004, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz SchrÃ¶der, Horst Herrlich (2001). Free factorizations. In Applied Categorical Structures, Band 9, S. 571–593.
	M. WÃ¼nstel, H. Schumann (2001). Glaucad - Glaucoma Prevention by Computer Aided Diagnostics. In Computer Graphik topics, Reports des INI-GraphicsNet, Nr. 6, S. 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 nach oben

	E. Astesiano, H.-J. Kreowski, B. Krieg-BrÃ¼ckner (Hrsg.) (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 (Hrsg.), Algebraic FounÂdations of System Specification, S. 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 (Hrsg.), Foundations of Software Science and Computation Structures (FOSSACS 2000), Nr. 1784, S. 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 (Hrsg.), Theory and Application of Graph Transformation (TAGT'98), Selected Papers, Nr. 1764, S. 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 (Hrsg.), Int'l Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), Selected Papers, Nr. 1779, S. 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 (Hrsg.), Proc. GI-Workshop Software-Visualisierung, S. 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 (Hrsg.), ICALP Workshops â€” Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming, Nr. 8, S. 443–450, Proceedings in Informatics. Carleton Scientific.
	Berthold Hoffmann, Mark Minas (2000). Towards Generic Rule-Based Visual Programming. In Margaret M. Burnett, others (Hrsg.), Proc. VL'2000. IEEE Press.
	Berthold Hoffmann, Mark Minas (2000). Towards Rule-Based Visual Programming of Generic Visual Systems. In Nachum Dershowitz, Claude Kirchner (Hrsg.), Proc. Workshop on Rule-Based Languages.
	JÃ¶rg Kollmann, Thomas RÃ¶fer (2000). Echtzeitkartenaufbau mit einem 180Â°-Laser-Entfernungssensor. In RÃ¼diger Dillmann, Heinz WÃ¶rn, Markus von Ehr (Hrsg.), Autonome Mobile Systeme 2000, S. 121–128, Informatik aktuell. Springer.
	Axel Lankenau, Thomas RÃ¶fer (2000). The Role of Shared Control in Service Robots - The Bremen Autonomous Wheelchair as an Example. In Thomas RÃ¶fer, Axel Lankenau, Reinhard Moratz (Hrsg.), Service Robotics - Applications and Safety Issues in an Emerging Market. Workshop Notes, S. 27–31.
	Axel Lankenau, Thomas RÃ¶fer (2000). Rollstuhl "Rolland" unterstÃ¼tzt Ã¤ltere und behinderte Menschen. In FIfF-Kommunikation. Informationstechnik und Behinderung, Nr. 2, S. 48–50. Forum InformatikerInnen fÃ¼r Frieden und gesellschaftliche Verantwortung (FIfF).
	Axel Lankenau, Thomas RÃ¶fer (2000). Smart Wheelchairs - State of the Art in an Emerging Market. In KÃ¼nstliche Intelligenz. Schwerpunkt Autonome Mobile Systeme, Nr. 4, S. 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 (Hrsg.), Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, Nr. 1869, S. 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 (Hrsg.), Fundamental Approaches to Software Engineering FASE 2000. Joint European Conferences on Theory and Practice of Software ETAPS 2000, Nr. 1783, S. 367–370, Lecture Notes in Computer Science. Springer Verlag.
	Till Mossakowski (2000). CASL: From Semantics to Tools. In S. Graf, M. Schwartzbach (Hrsg.), TACAS 2000, Band 1785, S. 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 (Hrsg.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Band 1827, S. 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 (Hrsg.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Band 1827, S. 126–145, Lecture Notes in Computer Science. Springer Verlag, London.
	Till Mossakowski (2000). How to write consistent CASL design specifications. CoFI note M-8.
	Alexandra Musto, Klaus Stein, Andreas Eisenkolb, Thomas RÃ¶fer, Wilfried Brauer, Kerstin Schill (2000). From Motion Observation to Qualitative Motion Representation. In Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender (Hrsg.), Spatial Cognition II, Band 1849, S. 115–126, Lecture Notes in Artificial Intelligence. Springer.
	Rolf MÃ¼ller, Thomas RÃ¶fer, Axel Lankenau, Alexandra Musto, Klaus Stein, Andreas Eisenkolb (2000). Coarse Qualitative Descriptions in Robot Navigation. In Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender (Hrsg.), Spatial Cognition II, Band 1849, S. 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 (Hrsg.), Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Band 1827, S. 146–161, Lecture Notes in Computer Science. Springer, Berlin.
	Thomas RÃ¶fer (2000). Route Navigation and Panoramic Image Processing. In KÃ¼nstliche Intelligenz. Schwerpunkt Autonome Mobile Systeme, Nr. 1, S. 62–64. Fachbereich 1 der Gesellschaft fÃ¼r Informatik e.V., arenDTaP.
	Thomas RÃ¶fer, Axel Lankenau (2000). Architecture and Applications of the Bremen Autonomous Wheelchair. In Paul P. Wang (Hrsg.), Information Sciences, Band 1-4 (126), S. 1–20. Elsevier Science BV.
	Thomas RÃ¶fer, Axel Lankenau, Reinhard Moratz (Hrsg.) (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, Band 41, S. 143–153.
	Lutz SchrÃ¶der, Horst Herrlich (2000). Free adjunction of morphisms. In Applied Categorical Structures, Band 8, S. 595–606.
	Lutz SchrÃ¶der, Horst Herrlich (2000). Abstract initiality. In Commentationes Mathematicae Universitatis Carolinae, Band 41, S. 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 (Hrsg.), Frontiers of Combining Systems 2, S. 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 (Hrsg.), FM-TOOLS 2000, Nr. 2000-07, S. 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 (Hrsg.), Proceedings of 1999 Pacific Rim International Sympositum on Dependable Computing, Nr. PR00371, S. 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, Nr. 11, S. 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 (Hrsg.), Spatial Cognition II, Band 1849, S. 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 (Hrsg.), RoboCup 2000: Robot Soccer. World Cup IV, S. 108–118, Lecture Notes in Computer Science. RoboCup 2000 Scientific Challenge Award.

1999 nach oben

	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, Band 34, S. 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 (Hrsg.), Algebraic Foundations of Systems Specifications, S. 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, Band 40, S. 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. Band 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 (Hrsg.), Applied Formal Methods -- FM-Trends 98. International Workshop on Current Trends in Applied Formal Methods, Nr. 1641, S. 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 (Hrsg.), FM'99, Formal Methods. Proceedings, 2 (1709), S. 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), S. 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 (Hrsg.), Fundamental Approaches to Software Engineering FASE'99. Joint European Conferences on Theory and Practice of Software ETAPS'99, Nr. 1577, S. 239–243, Lecture Notes in Computer Science. Springer-Verlag.
	T. Mossakowski (1999). Translating OBJ3 to CASL: the institution level. In J. L. Fiadeiro (Hrsg.), Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers, Band 1589, S. 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.
	Alexandra Musto, Klaus Stein, Andreas Eisenkolb, Thomas 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), S. 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.
	Thomas RÃ¶fer (1999). Route Navigation and Panoramic Image Processing. In Ausgezeichnete Informatikdissertationen 1998, S. 132–141. B. G. Teubner, Stuttgart, Leipzig.
	Thomas RÃ¶fer (1999). Route Navigation Using Motion Analysis. In Christian Freksa, David M. Mark (Hrsg.), Proceedings of the Conference on Spatial Information Theory (COSIT-99), Band 1661, S. 21–36, Lecture Notes in Computer Science. Springer.
	Thomas RÃ¶fer, Axel Lankenau (1999). Ein Fahrassistent fÃ¼r Ã¤ltere und behinderte Menschen. In GÃ¼nther Schmidt, Uwe Hanebeck, Franz Freyberger (Hrsg.), Autonome Mobile Systeme 1999, S. 334–343, Informatik aktuell. Springer.
	Thomas RÃ¶fer, Axel Lankenau (1999). Ensuring Safe Obstacle Avoidance in a Shared-Control System. In Josep M. Fuertes (Hrsg.), Proceedings of the 7th International Conference on Emergent Technologies and Factory Automation (ETFA-99), S. 1405–1414.
	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. Technical Report. 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 nach oben

	A. Behrens, S. Kubon (1998). Objektverfolgung durch aktive Konturen und Objekterkennung. In A. BÃ¼hlmeier, J. Kollmann, B. Krieg-BrÃ¼ckner, T. RÃ¶fer (Hrsg.), 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 (Hrsg.), Algebraic Methodology and Software Technology. Proceedings of the AMAST'98, Nr. 1548, S. 124–139, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Andreas BÃ¼hlmeier, JÃ¶rg Kollmann, Bernd Krieg-BrÃ¼ckner, Thomas RÃ¶fer (Hrsg.) (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 (Hrsg.), Nr. 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 (Hrsg.), Qualitative and Quantitative Approaches to Spatial Inference and the Analysis of Movements, Nr. 98-2. Technische UniversitÃ¤t Berlin; Computer Science Department. Technical Report.
	Bernd Krieg-BrÃ¼ckner, Thomas RÃ¶fer, Hans-Otto Carmesin, Rolf MÃ¼ller (1998). A Taxonomy of Spatial Knowledge for Navigation and its Application to the Bremen Autonomous Wheelchair. In Christian Freksa, Christopher Habel, Karl F. Wender (Hrsg.), Spatial Cognition, Band 1404, S. 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), S. 524–529.
	Axel Lankenau, Thomas RÃ¶fer (1998). Architecture of the Bremen Autonomous Wheelchair. In Bernd Hildebrand, Reinhard Moratz, Christian Scheering (Hrsg.), Architectures in Cognitive Robotics. Technical Report, Nr. 98/13, S. 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 (Hrsg.), Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADTâ€™97, Nr. 1376, S. 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 (Hrsg.), Recent trends in algebraic development techniques. Proc. 12th International Workshop, Band 1376, S. 349–364, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (1998). Colimits of Order-Sorted Specifications. In F. Parisi Presicce (Hrsg.), Recent trends in algebraic development techniques. Proc. 12th International Workshop, Band 1376, S. 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.
	Thomas RÃ¶fer (1998). Routenbeschreibung durch Odometrie-Scans. In Heinz WÃ¶rn, RÃ¼diger Dillmann, Dominik Henrich (Hrsg.), Autonome Mobile Systeme 1998, S. 122–129, Informatik aktuell. Springer.
	Thomas RÃ¶fer (1998). Panoramic Image Processing and Route Navigation. Nr. 7, BISS Monographs. Shaker-Verlag.
	Thomas RÃ¶fer (1998). Strategies for Using a Simulation in the Development of the Bremen Autonomous Wheelchair. In Richard Zobel, Dietmar Moeller (Hrsg.), Simulation-Past, Present and Future, S. 460–464. Society for Computer Simulation International.
	Thomas RÃ¶fer, Axel Lankenau (1998). Architecture and Applications of the Bremen Autonomous Wheelchair. In Paul P. Wang (Hrsg.), Proceedings of the 4th Joint Conference on Information Systems, Band 1, S. 365–368. Association for Intelligent Machinery.
	Thomas RÃ¶fer, Rolf MÃ¼ller (1998). Navigation and Routemark Detection of the Bremen Autonomous Wheelchair. In Tim LÃ¼th, RÃ¼diger Dillmann, Paolo Dario, Heinz WÃ¶rn (Hrsg.), Distributed Autonomous Robotics Systems, S. 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 nach oben

	B. Buth, M. Kouvaras, J. Peleska, H. Shi (1997). Deadlock Analysis for a Fault-Tolerant System. In M. Johnson (Hrsg.), Algebraic Methodology and Software Technology. Proceedings of the AMAST'97, Nr. 1349, S. 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 (Hrsg.) (1997). Algebraic System Specification and Development: Survey and Annotated Bibliography. Band 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 (Hrsg.), Algebraic methodology and software technology, 6th international conference, AMAST 97, Nr. 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, S. 35–45. AISB-97 Workshop, Manchester University.
	JÃ¶rg Kollmann, Axel Lankenau, Andreas BÃ¼hlmeier, Bernd Krieg-BrÃ¼ckner, Thomas 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, S. 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 (Hrsg.), Category Theory and Computer Science CTCS'97, Nr. 1290, (p. 69-- 86). , Lecture Notes in Computer Science. Springer.
	T. Mossakowski, A. Tarlecki, W. Pawlowski (1997). Combining and Representing Logical Systems. In E. Moggi, G. Rosolini (Hrsg.), Category Theory and Computer Science, 7th Int. Conf., Band 1290, S. 177–196, Lecture Notes in Computer Science. Springer Verlag, London.
	Till Mossakowski (1997). Sublanguages of CASL. CoFI note L-7.
	Thomas 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, S. 333–338.
	Thomas RÃ¶fer (1997). Controlling a Wheelchair with Image-based Homing. In Spatial Reasoning in Mobile Robots and Animals, AISB-97 Workshop, S. 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 (Hrsg.), Informatik Â´97, S. 41–50. Springer-Verlag, D-69121 Heidelberg, Germany.

1996 nach oben

	R. Curien, Z. Qian, H. Shi (1996). Efficient Second-Order Matching. In Proc. of 7th International Conference on Rewriting Techniques and Applications, Nr. 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 (Hrsg.), Recent Trends in Data Type Specification. Proc. 11th ADT/COMPASS Workshop (Oslo 1995), Nr. 1130, S. 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 (Hrsg.), Rewriting Techniques and Applications RTA'96., Nr. 1103, S. 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 (Hrsg.), Computer Science Logic. 9th Workshop, CSL'95. Paderborn, Germany, September 1995, Selected Papers, Band 1092, S. 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 (Hrsg.), Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, Band 1130, S. 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 (Hrsg.), Proc. ICALP 96, Band 1099, S. 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, Nr. 1098, S. 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 (Hrsg.), Recent Trends in Data Type Specification. Proc. 11th ADT/COMPASS Workshop (Oslo 1995), Nr. 1130, S. 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 (Hrsg.), Proc. 1995 Int'l. Workshop on Logic and Software Engineering, S. 71–89. World Scientific Publishing, Singapore.
	H. Shi (1996). A Semantic Matching Algorithm: Analysis and Implementation. In W. Penczek ad A. Szalas (Hrsg.), Proc. of 21st International Symposium on Mathematical Foundations of Computer Science, Nr. 1113, S. 517–528, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1995 nach oben

	M. FrÃ¶hlich, M. Werner (1995). Demonstration of the interactive Graph Visualization System daVinci. In R. Tamassia, I. Tollis (Hrsg.), Proceedings of DIMACS Workshop on Graph Drawing `94, Princeton (USA) 1994, Nr. 894, S. 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, Band 5, S. 189–215.
	Bernd Krieg-BrÃ¼ckner, Christoph Herwig (Hrsg.) (1995). Tagungsband des Workshops Kognitive Robotik. Nr. ZKW Bericht Nr. 3/95. UniversitÃ¤t Bremen; Zentrum fÃ¼r Kognitionswissenschaften. Technical Report ZKW Bericht Nr. 3/95.
	B. Krieg-BrÃ¼ckner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer (1995). Universelle Entwicklungsumgebung fÃ¼r Formale Methoden (UniForM Workbench). Nr. 8/95 Informatik Bericht. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report 8/95 Informatik Bericht.
	B. Krieg-BrÃ¼ckner, J. Liu, H. Shi, B. Wolff (1995). Towards Correct, Efficient and Reusable Transformational Developments. In M. Broy, S. JÃ¤hnichen (Hrsg.), KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Final Report., Nr. 1009, S. 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 (Hrsg.), Recent Trends in Data Type Specification. Proceedings, Band 906, S. 389–405, Lecture Notes in Computer Science. Springer Verlag, London.
	Thomas RÃ¶fer (1995). Image based homing using a self-organizing feature map. In Francoise Fogelman-Soulie, Patrick Gallinari (Hrsg.), Proceedings of the International Conference on Artificial Neural Networks (ICANN-95), Band 1, S. 475–480. EC2 & Cie.
	Thomas RÃ¶fer (1995). Bildbasierte Navigation mit eindimensionalen 360Â°-Bildern. In RÃ¼diger Dillmann, Ulrich Rembold, Tim LÃ¼th (Hrsg.), Autonome Mobile Systeme 1995, S. 193–202, Informatik Aktuell. Springer.
	Thomas RÃ¶fer (1995). Controlling a robot with image based homing. In Bernd Krieg-BrÃ¼ckner, Christoph Herwig (Hrsg.), Tagungsband des Workshops "Kognitive Robotik", Nr. 3/95, ZKW Bericht. Zentrum fÃ¼r Kognitionswissenschaften, UniversitÃ¤t Bremen.

1994 nach oben

	M. FrÃ¶hlich, M. Werner (1994). The Graph Visualization System daVinci - A User Interface for Applications. Nr. 5/94. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report 5/94.
	B. Krieg-BrÃ¼ckner (Hrsg.) (1994). Programmentwicklung durch Spezifikation und Transformation â€” Bremer BeitrÃ¤ge zum Verbundprojekt KORSO (Korrekte Software); Band 2. Nr. Informatik Bericht 10/94. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report Informatik Bericht 10/94.
	Bernd Krieg-BrÃ¼ckner (Hrsg.) (1994). Graduiertenkolleg Raumorientierung und Handlungsorganisation Autonomer Systeme an der UniversitÃ¤t Bremen, Berichte der Arbeitsgruppen. Nr. ZKW Bericht Nr. 10/94. UniversitÃ¤t Bremen; Zentrum fÃ¼r Kognitionswissenschaften. Technical Report ZKW Bericht Nr. 10/94.
	B. Krieg-BrÃ¼ckner, W. Menzel (1994). System Architecture Framework for KORSO. In B. Krieg-BrÃ¼ckner (Hrsg.), Programmentwicklung durch Spezifikation und Transformation â€” Bremer BeitrÃ¤ge zum Verbundprojekt KORSO (Korrekte Software), Nr. 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 (Hrsg.), Programmentwicklung durch Spezifikation und Transformation â€” Bremer BeitrÃ¤ge zum Verbundprojekt KORSO (Korrekte Software), Nr. 1/94, Informatik Bericht. ISSN 0722-8996. UniversitÃ¤t Bremen.
	Thomas RÃ¶fer (1994). VierLING - Quadruped with Integrated Neural Balance Control. In Maria Marinaro, Pietro G. Morasso (Hrsg.), Proceedings of the International Conference on Artificial Neural Networks (ICANN-94), S. 1311–1314. Springer.
	Thomas RÃ¶fer (1994). VierLING - Vierbeinige Laufmaschine mit Integrierter Neuronaler Gleichgewichtssteuerung.Bernd Krieg-BrÃ¼ckner, Gerhard Roth, Helmut Schwegler (Hrsg.), Nr. 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. Technical Report.
	H. Shi, B. Wolff (1994). Second-Order Matching with Matching Combinators. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report.
	H. Shi (1994). Benutzer-Schnittstelle und -Interaktion fÃ¼r die HK-Untersuchung. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report.
	Uwe Siems, Christoph Herwig, Thomas RÃ¶fer (1994). SimRobot, ein System zur Simulation sensorbestÃ¼ckter Agenten in einer dreidimensionalen Umwelt.Bernd Krieg-BrÃ¼ckner, Gerhard Roth, Helmut Schwegler (Hrsg.), Nr. 1/94, ZKW Bericht. Zentrum fÃ¼r Kognitionswissenschaften, UniversitÃ¤t Bremen.
	B. Wolff, H. Shi (1994). A Calculus of Transformation. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report.

1993 nach oben

	B. Hoffmann, B. Krieg-BrÃ¼ckner (Hrsg.) (1993). PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. Nr. 680, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Berthold Hoffmann, Bernd Krieg-BrÃ¼ckner (Hrsg.) (1993). Program Development by Specification and Transformation. Band 680, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1993). Introduction [to PROgram development by SPECification and TRAnsformation]. In B. Hoffmann, B. Krieg-BrÃ¼ckner (Hrsg.), PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, Nr. 680, S. 3–34, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner, E.W. Karlsen, J. Liu, O. Traynor (1993). Uniform Transformational Development. In B. Hoffmann, B. Krieg-BrÃ¼ckner (Hrsg.), PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, Nr. 680, S. 317–330, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner, J. Liu, B. Wolff, H. Shi (1993). Towards Correctness, Efficiency and Reusability of Transformational Developments. In H. Reichel (Hrsg.), Informatik â€” Wirtschaft â€” Gesellschaft, 23. GI Jahrestagung 1993, Dresden, FachgesprÃ¤ch "Spezifikation und Semantik", S. 241–252, Informatik aktuell. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer (1993). UniForM, Universal Formal Methods Workbench. In U. Grote, G. Wolf (Hrsg.), Statusseminar des BMBF: Softwaretechnologie, S. 337–356. Deutsche Forschungsanstalt fÃ¼r Luft- und Raumfahrt, Berlin.
	J. Liu, B. Krieg-BrÃ¼ckner (1993). Transformation. In B. Hoffmann, B. Krieg-BrÃ¼ckner (Hrsg.), PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, Nr. 680, S. 99–127, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	T. Mossakowski (1993). Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods. In M. Nivat, C. Rattray, T. Rus, G. Scollo (Hrsg.), Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, 1993, S. 139–146, Workshops in Computing. Springer-Verlag, London. Long version appears in Theoretical Computer Science.
	Thomas RÃ¶fer (1993). VierLING - Vierbeinige Laufmaschine mit Integrierter Neuronaler Gleichgewichtssteuerung. UniversitÃ¤t Bremen. Diplomarbeit.

1992 nach oben

	Berthold Hoffmann (1992). Term Rewriting with Sharing and Memoization. In Helene Kirchner, Giorgio Levi (Hrsg.), Proc. Algebraic and Logic Programming, Nr. 632, S. 128–142, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	E.W. Karlsen, B. Krieg-BrÃ¼ckner, O. Traynor (1992). The PROSPECTRA System: A Unified Development Framework. In M. Nivat, C. Rattray, T. Rus, G. Scollo (Hrsg.), Algebraic Methodology and Software Technology (AMAST'91), Workshop in Computing, S. 421–433. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1992). ESPRIT vereint Europa. In Impulse aus der Forschung, UniversitÃ¤t Bremen, Band 13, S. 9–12.
	T. Mossakowski (1992). Spezifizierbarkeit und Berechenbarkeit parametrischer partieller Datentypen. Diploma thesis, UniversitÃ¤t Bremen.
	O. Traynor, J. Liu, B. Krieg-BrÃ¼ckner (1992). Knowledge-Based Transformational Programming. In In Proc. 4th International Conf. on Software Engineering and Knowledge Engineering, Capri, Italy.

1991 nach oben

	G. Buntrock, F. Drewes, C. Lautemann, T. Mossakowski (1991). Some modifications of auxiliary pushdown automata. In RAIRO Informatique thÃ©orique et Applications, S. 545–556.
	M. FrÃ¶hlich, M. Werner (1991). Grafische Darstellung strukturierter Objekte. Master Thesis.
	H. Herrlich, T. Mossakowski, G. E. Strecker (1991). Algebra $cup$ Topology. In H. Herrlich, H.--E. Porst (Hrsg.), Category Theory at Work, Band 137--148. Heldermann Verlag, Berlin.
	Berthold Hoffmann, Detlef Plump (1991). Implementing Term Rewriting by Jungle Evaluation. In RAIRO Theoretical Informatics and Applications, 25 (5), S. 445–472.
	B. Krieg-BrÃ¼ckner, D. Plump (eds.) (1991). COMPASS, a COMPrehensive Algebraic approach to System Specification and development (ESPRIT Basic Research Working Group 3264). Final Report.. Nr. Informatik Bericht Nr. 7/91. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report Informatik Bericht Nr. 7/91.
	B. Krieg-BrÃ¼ckner (1991). Transformational Meta-Program Development. In M. Broy, M. Wirsing (Hrsg.), Methods of Programming, Nr. 544, S. 19–34, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner, D. Sannella (1991). Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. In Proc. TAPSOFTÂ´91, Nr. 494, S. 313–336, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner, E.W. Karlsen, J. Liu, O. Traynor (1991). The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. In S. Prehn, W.J. Toetenel (Hrsg.), VDMâ€˜91, Formal Software Development Methods, Proc. 4th Intâ€˜l Symp. of VDM Europe, 2: Tutorials (552), S. 363–397, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1990 nach oben

	B. Krieg-BrÃ¼ckner (1990). PROgram development by SPECification and TRAnsformation (revised version, invited paper). In Technique et Science Informatiques: Special Issue on Advanced Software Engineering in ESPRIT, S. 134–149.
	B. Krieg-BrÃ¼ckner (1990). COMPASS, a COMPrehensive Algebraic approach for System Specification and development, ESPRIT Basic Research Working Group 3264. In EATCS Bulletin, Nr. 40, S. 144–157.
	B. Krieg-BrÃ¼ckner (1990). PROgram development by SPECification and TRAnsformation. In Baader (Hrsg.), Werkzeuge der Software-Verifikation.
	B. Krieg-BrÃ¼ckner (1990). PROgram development by SPECification and TRAnsformation. In G. Kahn (Hrsg.), Proc. Summer School on Programming Environments in ESPRIT (Sophia Antipolis).

1989 nach oben

	P. de la Cruz, B. Krieg-BrÃ¼ckner, A. Perez Riesco (1989). From Algebraic Specifications to Correct Ada Programs. In A. Alvarez (Hrsg.), Proc. Ada Europe Conf. 89 (Madrid), Ada Companion Series. Cambridge University Press.
	B. Krieg-BrÃ¼ckner (ed.) (1989). COMPASS, a COMPrehensive Algebraic approach to System Specification and development: Objectives, State of the Art, References. Nr. Informatik Bericht Nr. 6/89. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report Informatik Bericht Nr. 6/89.
	B. Krieg-BrÃ¼ckner (1989). Algebraic Specification and Functionals for Transformational Program and Meta-Program Development. In J. Diaz, F. Orejas (Hrsg.), Proc. TAPSOFT '89 (Barcelona), 2 (352), S. 36–59, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1989). Algebraic Specification with Functionals in Program Development by Transformation. In H. HÃ¼nke (Hrsg.), Proc. ESPRIT Conf. '89, S. 302–320. Kluwer Academic Publishers, Dordrecht, The Netherlands.
	H. Shi (1989). A Semantic Resolution Algorithm for Temporal Logic. In Proceedings of International Symposium for Young Computer Professionals, 1989.

1988 nach oben

	T. Mossakowski, J. W. Janneck, C. Holsten (1988). Programmieren in Turbo-Prolog. Theorie und Praxis der logischen Programmierung. Markt und Technik, Haar/MÃ¼nchen.
	B. Krieg-BrÃ¼ckner (1988). Algebraic Formalisation of Program Development by Transformation. In H. Ganzinger (Hrsg.), Proc. European Symp. On Programming '88, Nr. 300, S. 34–48, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1988). The PROSPECTRA Methodology of Program Development. In J. Zalewski (Hrsg.), Proc. IFIP/IFAC Working Conf. on Hardware and Software for Real Time Process Control (Warsaw), S. 257–271. North Holland.

1987 nach oben

	T. Mossakowski (1987). Die arithmetische KomplexitÃ¤t der Semantik und der SLD-BÃ¤ume von logischen Programmen. Bundeswettbewerb "Jugend forscht", 1. Preis.
	B. Krieg-BrÃ¼ckner (1987). An Introduction to Ada Language (adaptation to Chinese by Chen Zushun et. al.). In Computer Research and Development, Nr. 25:2, S. 37–53.
	B. Krieg-BrÃ¼ckner (1987). Systematic Transformation of Interface Specifications. In L. G. T. L. Meertens (Hrsg.), Program Specification and Transformation, Proc. IFIP TC2 Working Conf. (TÃ¶lz \'86), S. 269–291. North Holland.
	B. Krieg-BrÃ¼ckner, B. Hoffmann, H. Ganzinger, M. Broy, R. Wilhelm, U. MÃ¶ncke, B. Weisgerber, A.D. McGettrick, I.G. Campbell, G. Winterstein (1987). PROgram development by SPECification and TRAnsformation. In M.W. Rogers (Hrsg.), Results and Achievements, Proc. ESPRIT Conf. '86, S. 301–312. North Holland.
	B. Krieg-BrÃ¼ckner (1987). Integration of Program Construction and Verification: the PROSPECTRA Methodology. In U. Montanari (Hrsg.), Innovative Software Factories and Ada. Proc. CRAI Int'l Spring Conf. '86, Nr. 275, S. 173–194, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1987). Formalisation of Developments: an Algebraic Approach. In M.W. Rogers (Hrsg.), Achievements and Impact, Proc. ESPRIT Conf. '87, S. 491–501. North Holland.
	D.C. Luckham, F.W. von Henke, B. Krieg-BrÃ¼ckner, O. Owe (1987). Anna, a Language for Annotating Ada Programs: Reference Manual. Nr. 260, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	H. Shi (1987). A Semantic Resolution Algorithm for Temporal Logic. Master Thesis.

1986 nach oben

	J. W. Janneck, T. Mossakowski (1986). ROM-Listing CPC 464/664/6128. Markt & Technik, Haar/MÃ¼nchen.
	T. Mossakowski (1986). Symbolische Formelmanipulation. Implementation eines LISP-Interpreters, Ãœberlegungen zur seiteneffektfreien Programmierung. Bundeswettbewerb "Jugend forscht".
	B. Krieg-BrÃ¼ckner (1986). Korrekte Software durch PROSPECTRA. In Impulse aus der Forschung, UniversitÃ¤t Bremen, Band 2, S. 18–20.
	B. Krieg-BrÃ¼ckner, H. Ganzinger, R. Wilhelm, M. Broy, U. MÃ¶ncke, B. Weisgerber, A.D. McGettrick, I.G. Campbell, G. Winterstein (1986). PROgram development by SPECification and TRAnsformation in Ada/Anna. In P. Wallis (Hrsg.), Ada: Managing the Transition, Proc. Ada Europe Conf. 86 (Edinburgh), S. 249–260, Ada Companion Series. Cambridge University Press.

1985 nach oben

	F.L. Bauer, R. Berghammer, M. Broy, W. Dosch, R. Gnatz, F. Geiselbrechtinger, E. Hangel, W. Hesse, B. Krieg-BrÃ¼ckner, A. Laut, T.A. Matzner, B. MÃ¶ller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsin (1985). The Munich Project CIP, Vol. 1: The Wide Spectrum Language CIP-L. 1 (183), Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1985). Transformation of Interface Specifications. In H.-J. Kreowski (Hrsg.), Recent Trends in Data Type Specification, Nr. 116, S. 156–170, Informatik Fachberichte.
	F.W. von Henke, D.C. Luckham, B. Krieg-BrÃ¼ckner, O. Owe (1985). Semantic Specification of Ada Packages. In J.G.P. Barnes, G.A. Fisher, jr (Hrsg.), Ada in Use, Proc. Ada IntÂ´l Conf. 85 (Paris), S. 185–198, Ada Companion Series. Cambridge University Press.

1984 nach oben

	J. W. Janneck, T. Mossakowski (1984). Das Dragon 32/64-Lexikon. RÃ¶ckrath, Aachen.
	F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-BrÃ¼ckner, P. Partsch, P. Pepper, H. WÃ¶ssner (1984). Towards a Wide Spectrum Language to Support Program Specification and Program Development (russian translation). In W.H. Arafanova (Hrsg.), Anforderungen und Spezifikationen in der Programmentwicklung; eine Aufsatzsammlung, S. 28–46, Matematitscheskoje Objespjetschenije EWM. MIR, Moskau.
	B. Krieg-BrÃ¼ckner (1984). Types in the Programming Language Ada. In M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Hrsg.), On Conceptual Modelling; Perspectives from Artificial Intelligence, Data Bases and Programming Languages, S. 385–408. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1984). Language Comparison and Source-to-Source Translation. In P. Pepper (Hrsg.), Program Transformation and Programming Environments, Band F8, S. 299–304, NATO ASI Series. Springer-Verlag, D-69121 Heidelberg, Germany.

1983 nach oben

	J.D. Ichbiah, B. Krieg-BrÃ¼ckner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1983). Reference Manual for the Ada Programming Language. Nr. ANSI/MIL-STD-1815A-1983, Ada Companion Series. American National Standards Institute, Washington.
	J.D. Ichbiah, B. Krieg-BrÃ¼ckner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1983). Reference Manual for the Ada Programming Language, ANSI/MIL-STD-1815A-1983. In M.W. Rogers (Hrsg.), The Programming Language Ada: Language, Compilers, Bibliography, Informatik Fachberichte. North Holland.
	B. Krieg-BrÃ¼ckner (1983). Consistency Checking in Ada and Anna: a Transformational Approach. In Ada LETTERS, Nr. 3:2, S. 46–54.

1982 nach oben

Hartmut Ehrig, Berthold Hoffmann, Ilse-Renate Schmiedecke (1982). A Graph-Theoretical Model for Multi-Pass Parsing. In J.R. MÃ¼hlbacher (Hrsg.), Proc. 7th Conf. on Graph-Theoretical Concepts in Comp. Sci. (WG'81), S. 19–32. Hanser Verlag.

1981 nach oben

	F.L. Bauer, M. Broy, W. Dosch, R. Gnatz, F. Geiselbrechtinger, W. Hesse, B. Krieg- BrÃ¼ckner, A. Laut, T.A. Matznerand B. MÃ¶ller, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, H. Woessner (1981). Report on a Wide Spectrum Language for Program Specification and Development. Nr. TUM-I8104. Technische UniversitÃ¤t MÃ¼nchen; Institut fÃ¼r Informatik. Technical Report TUM-I8104.
	F.L. Bauer, M. Broy, W. Dosch, T. Gnatz, B. Krieg-BrÃ¼ckner, A. Laut, D.C. Luckmann, M., T.A. Matzner, B. MÃ¶ller, H. Partsch, P. Pepper, K. Samelson, R. SteinbrÃ¼ggen, M. Wirsing, H. WÃ¶ssner (1981). Programming in a Wide Spectrum Language: a Collection of Examples. In Science of Computer Programming, Nr. 1, S. 73–114.
	J.D. Ichbiah, B. Krieg-BrÃ¼ckner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1981). Reference Manual for the Ada Programming Language: Proposed Standard Document. In The Ada Programming Language, Nr. 123, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1981). Ada and the German Pay Phone: an Illustrative Example of Parallel Processing. In A.J.W. Duijvestijn, C.P. Lockemann (Hrsg.), Trends in Information Processing Systems, Nr. 123, S. 122–134, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1980 nach oben

	P.F. Albrecht, P.E. Garrison, S.L. Graham, R.H. Hyerle, P. Ip, B. Krieg-BrÃ¼ckner (1980). Source-to-Source Translation: Ada to Pascal and Pascal to Ada. In ACM SIGPLAN Notices, Nr. 15, S. 183–193.
	M. Broy, B. Krieg-BrÃ¼ckner (1980). Derivation of Invariant Assertions During Program Development by Transformation. In ACM Transactions on Programming Languages and Systems, Nr. 2, S. 321–337.
	V.D. Donzeau-Gouge, J.-C. Heliard, G. Kahn, B. Krieg-BrÃ¼ckner, B. Lang (1980). Formal Definition of the Ada Programming Language. Honeywell Inc., CII Honeywell Bull and INRIA, Le Chesnay. Preliminary Version.
	Berthold Hoffmann, Ilse-Renate Schmiedecke (1980). Multi-Pass Parsing for Two-Level Grammars: A Mathematical Approach. In P. Dembinski (Hrsg.), Mathematical Foundations of Computer Science (MFCS), Nr. 88, S. 275–290, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	J.D. Ichbiah, B. Krieg-BrÃ¼ckner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1980). Reference Manual for the Ada Programming Language: Proposed Standard Document. Nr. 008-000-00354-8, Lecture Notes in Computer Science. Elsevier Science.
	B. Krieg-BrÃ¼ckner, D.C. Luckham (1980). Anna: Towards a Language for Annotating Ada Programs. In ACM SIGPLAN Notices, Nr. 15, S. 128–138.

1979 nach oben

	F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-BrÃ¼ckner, P. Partsch, P. Pepper, H. WÃ¶ssner (1979). Towards a Wide Spectrum Language to Support Program Specification and Program Development. In F.L. Bauer, M. Broy (Hrsg.), Program Construction, Nr. 69, S. 273–289, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	V.D. Donzeau-Gouge, G. Kahn, B. Krieg-BrÃ¼ckner, B. Lang (1979). Formal Definition of Ada. Honeywell Inc. and CII Honeywell Bull, Louveciennes. Interim Draft.
	J.D. Ichbiah, B. Krieg-BrÃ¼ckner, A. Wichmann, H.F. Ledgard, J.-C. Heliard, J.R. Abrial, J.P.G. Barnes, O. Roubine (1979). Preliminary Ada Reference Manual. In ACM SIGPLAN Notices, Nr. 14: 6 Part A.

1978 nach oben

	F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-BrÃ¼ckner (1978). Towards a Wide Spectrum Language to Support Program Specification and Program Development. In Proc. 5. Fachtagung Programmiersprachen GI (Braunschweig), S. 73–85. Springer-Verlag, D-69121 Heidelberg, Germany.
	F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-BrÃ¼ckner (1978). A Wide Spectrum Language for Program Development. In B. Robinet (Hrsg.), Program Transformations: Proc. 3rd International Symposium on Programming (Paris), S. 1–15. Dunod, Paris.
	F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-BrÃ¼ckner, P. Partsch, P. Pepper, H. WÃ¶ssner (1978). Towards a Wide Spectrum Language to Support Program Specification and Program Development. In ACM SIGPLAN Notices, Nr. 13, S. 15–24.
	B. Krieg-BrÃ¼ckner (1978). Concrete and Abstract Specification and Program Development by Transformation. Nr. TUM-INFO-7805. Technische UniversitÃ¤t MÃ¼nchen; Institut fÃ¼r Informatik. Dissertation TUM-INFO-7805.

1977 nach oben

	F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-BrÃ¼ckner (1977). Notes on the Project CIP: Towards a Wide Spectrum Language to Support Program Development by Transformations. Nr. TUM-INFO-7722. Technische UniversitÃ¤t MÃ¼nchen; Institut fÃ¼r Informatik. Technical Report TUM-INFO-7722.
	B. Krieg-BrÃ¼ckner (1977). Prevention of Side-Effects from Functions. In Machine Oriented Languages Bulletin, IFIP WG 2.4 (6).

1974 nach oben

	F. Geiselbrechtinger, W. Hesse, B. Krieg, H. Scheidig (1974). Language Layers, Portability and Program Structuring. In W.L. v.d. Poel, L.A. Maarsen (Hrsg.), Machine Oriented Higher Level Languages, S. 79–104. Elsevier Science.
	W. Hesse, F. Geiselbrechtinger, B. Krieg, H. Scheidig (1974). Report on the Programming Language L0. Nr. Bericht 7415. Technische UniversitÃ¤t MÃ¼nchen; Institut fÃ¼r Informatik. Technical Report Bericht 7415.
	B. Krieg (1974). Increasing the Flexibility and Reliability of the Class Concept. Nr. Bericht 7429. Technische UniversitÃ¤t MÃ¼nchen; Institut fÃ¼r Informatik. Technical Report Bericht 7429.
	B. Krieg, R. Gnatz, R. Hoellerer (1974). S0, a Low Level Systems Implementation Language. In GÃ¼nther et al. (Hrsg.), Proc. Int. Computing Symp. 1973 (Davos), S. 285–290. North Holland.
	B. Krieg (1974). A Class of Recursive Coroutines. In Proc. IFIP Congress 74 (Stockholm), S. 408–412. North Holland.

1973 nach oben

F. Geiselbrechtinger, W. Hesse, B. Krieg, H. Scheidig (1973). Lo, the Basic Layer of the Wide Spectrum Language L. In W. Brauer (Hrsg.), 3. Jahrestagung GI, Nr. 1, S. 188–197, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1972 nach oben

R. Gnatz, R. Hoellerer, B. Krieg (1972). S0, eine niedere Programmiersprache. Nr. Bericht 7212. Technische UniversitÃ¤t MÃ¼nchen; Institut fÃ¼r Informatik. Manual Bericht 7212.

1971 nach oben

	B. Krieg (1971). Formal Definition of the Block Concept and some Implementation Models. Cornell University. Master's Thesis.
AusgewÃ¤hlte EintrÃ¤ge im BibTex-Format anzeigen

Autor: Mattias Werner

AG BKB

Zuletzt geändert am: 17. Januar 2003