Universitt Bremen  
  FB 3  
  Group BKB > Publications > Deutsch
English
 

Publications (Krieg-Brückner Group)

 
 

Go to year:  to appear   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 


to appear     Back to top

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.   detail
Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer. An Institution for Simple UML State Machines. In Alexander Egyed, Ina Schaefer (Eds.), 8th International Conference on Fundamental Approaches to Software Engineering (FASE), Lecture Notes in Computer Science. Springer.   detail   pdf
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 (Eds.), Software, Services and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation , Vol. 8950, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail   pdf
B. Krieg-Brückner, H. Shi, B. Gersdorf, M. Döhle, T. Röfer. Context-Sensitive Spatial Interaction and Ambient Control. In Mastrogiovanni, F. Chong, N.-Y. (Eds.), Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives.   detail
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.   detail
Till Mossakowski, Reinhard Moratz, Dominik Lücke. Relations Between Spatial Calculi About Directions and Orientations. In Journal of Artificial Intelligence Research.   detail   pdf
Till Mossakowski. Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods. In Theoretical Computer Science. To appear.   detail   postscript
Dirk Pattinson, Lutz Schröder. Generic Modal Cut Elimination Applied to Conditional Logics. In Log. Methods Comput. Sci. To appear.   detail
Johannes Rust, Christian Mandel, Kathrin Stich, Serge Autexier. Predicting Hemodynamic and Pulmonary Decompensation with Deep Neural Networks: Performance and Explainability. In Proceedings of the 46th. 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.   detail

2022     Back to top

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, pp. 881–905. Springer Gabler, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, Germany.   detail

2019     Back to top

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, Vol. 104, pp. 303–341.   detail     www   pdf
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, pp. 1–9.   detail     www

2018     Back to top

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

2017     Back to top

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

2016     Back to top

Frank Drewes, Berthold Hoffmann, Mark Minas (2016). Approximating Parikh Images for Generating Deterministic Graph Parsers. In Paolo Milazzo, Daniel Varro, Manuel Wimmer (Eds.), STAF 2016 Collocated Workshops, Revised Selected Papers, Vol. 9946, pp. 112–128, Lecture Notes in Computer Science. Springer, Berlin.   detail
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, Vol. 9677, pp. 1–13, Lecture Notes in Computer Science. Springer.   detail

2015     Back to top

Daniel Calegari García, Till Mossakowski, Nora Szasz (2015). Model-Driven Engineering in the Heterogeneous Tool Set. In Christiano Braga, Narciso Martí-Oliet (Eds.), 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings, Vol. 8941, pp. 64–79, Lecture Notes in Computer Science.   detail     www   pdf
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.   detail
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).   detail
Berthold Hoffmann (2015). More on Graph Rewriting With Contextual Refinement. In Rachid Echahed, Annegret Habel,, Mohamed Mosbah (Eds.), Fifth International Workshop on Graph Computational Models (GCM 2014), Vol. 71. Electr. Comm. of the EASST.   detail   pdf
Frank Drewes, Berthold Hoffmann, Mark Minas (2015). Predictive Top-Down Parsing for Hyperedge Replacement Grammars. In Francesco Parisi-Presicce, Bernhard Westfechtel (Eds.), Graph Transformation, Vol. 9151, pp. 19–34. Springer International Publishing.   detail     www
Frank Drewes, Berthold Hoffmann (2015). Contextual hyperedge replacement. In Acta Informatica, 52 (6), pp. 497–524.   detail     www
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. (Ed.), Software Engineering Workshops 2015, pp. 164–170.   detail     www   pdf
Tobias Kastner, Thomas Röfer, Tim Laue (2015). Automatic Robot Calibration for the NAO. In RoboCup 2014: Robot World Cup XVIII, Vol. 8992, pp. 233–244, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.   detail   pdf
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 (Eds.), Computational Creativity Research: Towards Creative Machines, Vol. 7, pp. 167–196, Atlantis Thinking Machines. Atlantis Press.   detail     www   pdf

2014     Back to top

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.   detail   pdf
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.   detail   pdf
Drewes, Frank, Hoffmann, Berthold (2014). Contextual Hyperedge Replacement. No. 14.04. Institutionen för datavetenskap, Umeaaa universitet. UMINF report 14.04.   detail     www
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 (Eds.), RoboCup 2013: Robot Soccer World Cup XVII, Vol. 8371, pp. 396–407, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.   detail   pdf
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.   detail
Alexander Knapp, Till Mossakowski, Markus Roggenbach (2014). An Institutional Framework for Heterogeneous Formal Development in UML. Note published in arXiv.   detail     www
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.   detail     www   pdf
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 (Eds.), RoboCup 2013: Robot World Cup XVII, Vol. 8371, pp. 171–182, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.   detail   pdf
Till Mossakowski, Andrzej Tarlecki (2014). A relatively complete calculus for structured heterogeneous specifications. In Anca Muscholl (Ed.), 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Vol. 8412, pp. 441–456, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail     www   pdf
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.   detail   pdf
Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki (2014). Parchments for CafeOBJ logics. In S. Iida, J. Meseguer, K. Ogata (Eds.), Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi, Vol. 8873, pp. 66–91, Lecture Notes in Computer Science.   detail     www   pdf
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.   detail   pdf
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, Vol. 94, pp. 177–195, Springer Tracts in Advanced Robotic. Springer.   detail   pdf
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.   detail   pdf
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 (Eds.), RoboCup 2013: Robot World Cup XVII, Vol. 8371, pp. 80–91, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf
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 (Eds.), RoboCup 2013: Robot World Cup XVII, Vol. 8371, pp. 648–655, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.   detail   pdf
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 (Eds.), RoboCup 2013: Robot Soccer World Cup XVII, Vol. 8371, pp. 25–36, Lecture Notes in Artificial Intelligence. Springer, Heidelberg. Best Paper Award for its engineering contribution.   detail   pdf
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 (Eds.), RoboCup 2013: Robot World Cup XVII, Vol. 8371, pp. 656–663, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.   detail

2013     Back to top

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.   detail
Oliver Kutz, Mehul Bhatt, Stefano Borgo, Paulo Santos (Eds.) (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.   detail     www   pdf
Mihai Codescu, Till Mossakowski, Christian Maeder (2013). Checking conservativity with Hets. In Reiko Heckel, Stefan Milius (Eds.), CALCO 2013, Vol. 8089, pp. 315–321, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail     www   pdf
Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe (2013). Compiling Logics. In Narciso Martí-Oliet, Miguel Palomino (Eds.), Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, Vol. 7841, pp. 111–126, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski (2013). The VSE Refinement Method in Hets. In Electronic Communications of the EASST, Vol. 62.   detail     www   pdf
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, Vol. 357, pp. 385–400.   detail
Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki (2013). The Institution-Theoretic Scope of Logic Theorems. In Logica Universalis, pp. 1–14.   detail     www   pdf
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 (Eds.), Proceedings of Conference On Spatial Information Theory 2013, Vol. 8116, pp. 516–536, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail     www
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, Vol. 62.   detail   pdf
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 (Eds.), ICINCO 2013, 10th International Conference on Informatics in Control, Automation and Robotics, Vol. 1, pp. 388–395. SCITEPRESS – Science and Technology Publications.   detail   pdf
Hoffmann, Berthold (2013). Graph Rewriting with Contextual Refinement. In Electr. Comm. of the EASST, Vol. 61, (p. 20 pages). .   detail     www   pdf
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 (Eds.), Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, Vol. 7841, pp. 178–194, Lecture Notes in Computer Science. Springer.   detail     www   pdf
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.   detail
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.   detail
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 .   detail   pdf
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 (Eds.), Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics, Vol. 7961, pp. 200–215, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail     www   pdf
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.   detail
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 (Eds.), WoMo 2013, Vol. 1081, CEUR-WS online proceedings.   detail     www   pdf
Till Mossakowski, Oliver Kutz, Christoph Lange (2013). Semantics of the distributed ontology language: Institutes and Institutions. In Narciso Martí-Oliet, Miguel Palomino (Eds.), Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, Vol. 7841, pp. 212–230, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Till Mossakowski, Oliver Kutz, Christoph Lange (2013). Three Semantics for the Core of the Distributed Ontology Language. In Francesca Rossi (Ed.), IJCAI 2013. IJCAI 2013 track on Best Papers in Sister Conferences.   detail     www
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 (Eds.), RoboCup 2013: Robot Soccer World Cup XVII Preproceedings. RoboCup Federation.   detail   pdf
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), pp. 185–214.   detail   pdf
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), Vol. 8077, pp. 248–259, Lecture Notes in Artificial Intelligence. Springer.   detail     www

2012     Back to top

D. Anastasiou, C. Jian, D. Zhekova, R. Ross (Eds.) (2012). Proceedings of the 1st Workshop on Speech and Multimodal Interaction in Assistive Environments. SMIAE2012. Association for Computational Linguistics (ACL).   detail
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, pp. 18–27, SMIAE2012. ACM.   detail
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.   detail
Mehul Bhatt, Joana Hois, Oliver Kutz (2012). Ontological Modelling of Form and Function for Architectural Design. In Applied Ontology Journal (AOJ). (pre press release).   detail     www   pdf   postscript
Mihai Codescu (2012). Lambda Expressions in CASL Architectural Specifications. In Till Mossakowski, Hans-Jörg Kreowski (Eds.), Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Vol. 7137, pp. 98–117, Lecture Notes in Computer Science. Springer.   detail   pdf
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 (Eds.), Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Vol. 7137, pp. 139–159, Lecture Notes in Computer Science. Springer.   detail   pdf
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 (Eds.), Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Vol. 7137, pp. 118–138, Lecture Notes in Computer Science. Springer.   detail   pdf
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 (Eds.), Terra Cognita 2012: Foundations, Technologies and Applications of the Geospatial Web, Vol. 901, pp. 62–73, CEUR-WS online proceedings.   detail     www   pdf
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.   detail
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.   detail   pdf
Daniel Gorín, Lutz Schröder (2012). Narcisissts are easy, stepmothers are hard. In Lars Birkedal (Ed.), Foundations of Software Science and Computation Structures, FOSSACS 2012, Vol. 7213, pp. 240–254, Lecture Notes in Computer Science. Springer.   detail   pdf
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 (Eds.), RoboCup 2011: Robot Soccer World Cup XV, Vol. 7416, pp. 101–112, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.   detail   pdf
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.   detail   pdf
Frank Drewes, Berthold Hoffmann, Mark Minas (2012). Contextual Hyperedge Replacement. In Andy Sch"urr, Daniel Varr'o, Gergely Varr'o (Eds.), Applications of Graph Transformation with Industrial Relevance (AGTIVE'11), Vol. 7233, pp. 182–197, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail   pdf
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, pp. 87–96. SciTePress.   detail
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 (Eds.), What will the Semantic Web look like 10 Years from now? Workshop at ISWC.   detail     www   pdf
Oliver Kutz, Janna Hastings, Till Mossakowski (2012). Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs. In Allan Ramsay, Gennady Agre (Eds.), 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, Vol. 7557, pp. 103–111, Lecture Notes in Computer Science. Springer.   detail   pdf
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, Vol. 7362, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Christoph Lange, Till Mossakowski, Oliver Kutz (2012). LoLa: A Modular Ontology of Logics, Languages, and Translations. In Thomas Schneider, Dirk Walther (Eds.), Workshop on modular ontologies, Vol. 875, CEUR-WS online proceedings.   detail     www   pdf
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 (Eds.), RoboCup 2011: Robot Soccer World Cup XV, Vol. 7416, pp. 25–36, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.   detail   pdf
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 .   detail
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, pp. 1972–1977, CogSci2012.   detail
Till Mossakowski, Christoph Lange, Oliver Kutz (2012). Three Semantics for the Core of the Distributed Ontology Language. In Maureen Donnelly, Giancarlo Guizzardi (Eds.), FOIS 2012: 7th International Conference on Formal Ontology in Information Systems , pp. 337–352. IOS Press, Amsterdam. Best paper award.   detail     www   pdf
Till Mossakowski, Hans-Jörg Kreowski (Eds.) (2012). Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010. Vol. 7137, Lecture Notes in Computer Science. Springer.   detail     www
Till Mossakowski, Reinhard Moratz (2012). Qualitative Reasoning about Relative Direction of Oriented Points. In Artificial Intelligence Journal, Vol. 180–181, (p. 34–45). .   detail     www   pdf
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, pp. 349–356. IEEE.   detail     www   pdf
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 (Eds.), WADT 2010, Vol. 7137, pp. 251–269, Lecture Notes in Computer Science. Springer.   detail   pdf
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.   detail   pdf
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 (Eds.), RoboCup 2012: Robot Soccer World Cup XVI Preproceedings. RoboCup Federation.   detail   pdf
Thomas Röfer, Norbert Michael Meyer, Jesús Savage, Uluç Saranli (Eds.) (2012). RoboCup 2011: Robot Soccer World Cup XV. Vol. 7416, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.   detail
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.   detail   pdf
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), pp. 108–112. VDE.   detail     www   pdf
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.   detail     www   pdf
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), pp. 303–331.   detail   pdf

2011     Back to top

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 (Eds.), Proceedings of the Conferences on Intelligent Computer Mathematics (CICM 2011), Lecture Notes in Artificial Intelligence. Springer-Verlag Berlin Heidelberg.   detail
Victor Gutierrez Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder (2011). The Complexity of Probabilistic EL. In Sebastian Rudolph, Michael Zakharyaschev (Eds.), Proc. 24th International Workshop on Description Logics (DL 2011) , CEUR-WS online proceedings. To appear.   detail
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 (Eds.), RoboCup 2010: Robot Soccer World Cup XIV, pp. 145–156, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.   detail   pdf
Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema (2011). Modal logics are coalgebraic. In The Computer Journal, 54 (1), pp. 31–41. Extends (Cirstea et al. 2008)..   detail     www   pdf
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 (Eds.), Fourth International Conference on GeoSpatial Semantics, Vol. 6631, (p. 88–107). , Lecture Notes in Computer Science. Springer.   detail     www   pdf
Mihai Codescu, Till Mossakowski (2011). Refinement trees: calculi, tools and applications. In Andrea Corradini, Bartek Klin (Eds.), Algebra and Coalgebra in Computer Science, CALCO'11, Vol. 6859, pp. 145–160, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Till Mossakowski, Mihai Codescu, Oliver Kutz (2011). Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap. In Magdeburger Logistiktagung.   detail   pdf
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.   detail   pdf
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 (Eds.), Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, Vol. 6824, pp. 289–291, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail     www   pdf
Dominik Dietrich, Lutz Schröder, Ewaryst Schulz (2011). Formalizing and Operationalizing Industrial Standards. In Dimitra Giannakopoulou, Fernando Orejas (Eds.), Fundamental Approaches to Software Engineering (FASE 2011), Vol. 6603, pp. 81–95, Lecture Notes in Computer Science. Springer.   detail   pdf
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.   detail
Marco Franke, Patrick Klein, Lutz Schröder (2011). Ontological Semantics of Standards and PLM Repositories in the Product Development Phase. In Alain Bernard (Ed.), Global Product Developement: Proc. of the 20th CIRP Design Conference, 2010, pp. 473–482. Springer.   detail   pdf
Sergey Goncharov, Lutz Schröder (2011). Powermonads and Tensors of Unranked Effects. In Martin Grohe (Ed.), Logic in Computer Science (LICS 2011). IEEE Computer Society. To appear.   detail     www
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.   detail
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 (Eds.), Proc. 25th Conference on Artificial Intelligence (AAAI-11), pp. 197–202. AAAI Press.   detail
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.   detail     www   pdf
Minas, Mark, Hoffmann, Berthold (2011). Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars. In Echahed, Rachid, Habel, Annegret, Mosbah, Mohamed (Eds.), International Workshop on Graph Computation Models (GCM 10), Vol. 39, (p. 20 pages). , Electr. Comm. of the EASST. European Association of Software and System Science, Potsdam, Germany.   detail   pdf
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.   detail
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), pp. 157–174.   detail
Oliver Kutz, Till Mossakowski (2011). A Modular Consistency Proof for Dolce. In Wolfram Burgard, Dan Roth (Eds.), Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, pp. 227–234. AAAI Press, Menlo Park, CA.   detail     www   pdf
Oliver Kutz, Till Mossakowski, Christian Galinski, Christoph Lange (2011). Towards a Standard for Heterogeneous Ontology Integration and Interoperability. In Key-Sun Choi et al (Ed.), Proceedings of the First International Conference on terminology, languages and content resources (LarC 2011), pp. 97–106. Seoul: KATS e.a.   detail   pdf
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).   detail     www   pdf
Oliver Kutz, Till Mossakowski (2011). The Onto-Logical Translation Graph. In O. Kutz, T. Schneider (Eds.), Modular Ontologies Proceedings of the Fifth International Workshop (WoMO 2011), Vol. 230, pp. 94–109, Frontiers in Artificial Intelligence and Applications. IOS Press.   detail     www   pdf
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 (Eds.), IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pp. 25–32.   detail     www   pdf
Christian Mandel, Udo Frese (2011). Annelid - a Novel Design for Actuated Robots Inspired by Ringed Worm`s Locomotion. In Achim J. Lilienthal, Tom Duckett (Eds.), Proceedings of the 5th European Conference on Mobile Robots (ECMR 2011), pp. 265–270.   detail   pdf
Reinhard Moratz, Dominik Lücke, Till Mossakowski (2011). A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments. In Artificial Intelligence Journal, Vol. 175, pp. 2099–2127.   detail     www   pdf
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 (Eds.), RoboCup 2010: Robot Soccer World Cup XIV, Vol. 6556, pp. 109–120, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.   detail   pdf
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.   detail   pdf
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 (Eds.), RoboCup 2011: Robot Soccer World Cup XV Preproceedings. RoboCup Federation.   detail   pdf
Lutz Schröder, Dirk Pattinson (2011). Modular Algorithms for Heterogeneous Modal Logics via Multi-Sorted Coalgebra. In Math. Struct. Comput. Sci., 21 (2), pp. 235–266. Copyright Cambridge University Press.   detail     www   pdf
Lutz Schröder, Dirk Pattinson (2011). Description Logics and Fuzzy Probability. In Toby Walsh (Ed.), International Joint Conference on Artificial Intelligence, IJCAI 2011. AAAI Press, Menlo Park, CA. To appear. Accepted for oral and poster presentation.   detail   pdf
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 (Eds.), RoboCup 2010: Robot Soccer World Cup XIV, Vol. 6556, pp. 1–12, Lecture Notes in Artificial Intelligence. Springer, Heidelberg. Best Paper Award.   detail   pdf
Sergey Goncharov, Lutz Schröder (2011). A coinductive calculus for asynchronous side-effecting processes. In Olaf Owe, Martin Steffen, Jan Arne Telle (Eds.), Fundamentals of Computation Theory (FCT 2011), Vol. 6914, Lecture Notes in Computer Science. Springer. To appear.   detail     www
Sergey Goncharov, Lutz Schröder (2011). A Counterexample to Tensorability of Effects. In Andrea Corradini, Bartek Klin (Eds.), Algebra and Coalgebra in Computer Science (CALCO 2011), Lecture Notes in Computer Science. Springer. To appear.   detail   pdf   postscript
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, Vol. 2, pp. 155–173.   detail
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).   detail   pdf
Felix Wenk, Thomas Röfer (2011). Coordinated Pitch Observation for a Humanoid Robot Soccer Team. In Sven Behnke, Peter Stone, Thomas Röfer (Eds.), Proceedings of the Fifth Workshop on Humanoid Soccer Robots in conjunction with the 2011 IEEE-RAS International Conference on Humanoid Robots.   detail   pdf

2010     Back to top

Serge Autexier, Petr Sojka, Masakazu Suzuki (2010). Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge . In Mathematics in Computer Science, 3 (3), pp. 225–370.   detail     www
Serge Autexier, Dieter Hutter, Till Mossakowski (2010). Change Management for Heterogeneous Development Graphs. In Simon Siegler, Nathan Wasser (Eds.), Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, Vol. 6463, pp. 54–80, LNCS. Springer.   detail     www   pdf
Serge Autexier; Jacques Calmet; David Delahaye; Patrick D. F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Ed.) (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. Vol. 6167, LNCS, LNCS. Springer-Verlag Berlin Heidelberg.   detail     www
Serge Autexier, Dominik Dietrich (2010). Recent developments in Omega's proof search programming language. In SIGSAM Bulletin, 44 (2), pp. 52–59.   detail
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 (Eds.), 20th International Workshop on Algebraic Development Technique, 1-4 July, 2010.   detail
Serge Autexier; Christoph Lüth (2010). Adding Change Impact Analysis to the Formal Verification of C Programs. In Dominique Méry; Stephan Merz (Ed.), Proceedings 8th International Conference on integrated Formal Methods (IFM2010). IFM - Integrated Formal Methods, October 11-14, Nancy, France, LNCS. Springer.   detail   pdf
Serge Autexier, Normen Müller (2010). Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents. In Michael Gormish, Rolf Ingold (Eds.), Proceedings of 10th ACM Symposium on Document Engineering (DocEng2010), ACM SIGWEB.   detail
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.   detail
Glauber Cabral, Christian Maeder, Till Mossakowski, Lutz Schröder (2010). Creating a HasCASL library. In Jonathan Aldrich, Ricardo Massa (Eds.), 14th Brazilian Symposium on Programming Languages (SBLP 2010).   detail
Mihai Codescu, Till Mossakowski, Adrían Riesco, Christian Maeder (2010). Integrating Maude into Hets. In Mike Johnson, Dusko Pavlovic (Eds.), AMAST 2010, Vol. 6486, pp. 60–75, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark (2010). Adaptive Star Grammars and Their Languages. In Theoretical Computer Science, Vol. 411, pp. 3090–3109.   detail     www   pdf
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 (Eds.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2010 IEEE-RAS International Conference on Humanoid Robots.   detail   pdf
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.   detail
U. Frese, R. Wagner, T. Röfer (2010). A SLAM Overview from a User's Perspective. In KI-Zeitschrift, 24 (3).   detail     www   pdf
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 (Eds.), Ambient Intelligence: First International Joint Conference, AmI 2010, Vol. 6439, pp. 310–314, Lecture Notes in Computer Science. Springer, Heidelberg.   detail
Bernd Gersdorf, Hui Shi (2010). A Castor Wheel Controller for Differential Drive Wheelchairs. In Joaquim Filipe, Juan Andrade Cetto, Jean-Louis Ferrier (Eds.), ICINCO 2010, Vol. 2, pp. 174–179.   detail   pdf
Rajeev Gore, Clemens Kupke, Dirk Pattinson, Lutz Schröder (2010). Global Caching for Coalgebraic Description Logics. In Jürgen Giesl, Reiner Haehnle (Eds.), International Joint Conference on Automated Reasoning, IJCAR 2010, Vol. 6173, pp. 46–60, Lecture Notes in Computer Science. Springer.   detail   pdf
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 (Eds.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2010 IEEE-RAS International Conference on Humanoid Robots.   detail   pdf
Daniel Hausmann, Lutz Schröder (2010). Optimizing Conditional Logic Reasoning within CoLoSS. In Thomas Bolander, Torben Braüner (Eds.), Methods for Modalities (M4M-6, 2009), Vol. 262, (p. 157-171 ). , Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam.   detail   pdf
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). .   detail     www   pdf
Hoffmann, Berthold, Minas, Mark (2010). Defining Models -- Meta Models versus Graph Grammars. In Electr. Comm. of the EASST, Vol. 29.   detail     www   pdf
Hoffmann, Berthold (2010). Conditional Adaptive Star Grammars. In Electronic Communications of the EASST, Vol. 26. Revised Version of Hoffmann (2009).   detail     www
Drewes, Frank, Habel, Annegret, Hoffmann, Berthold, Plump, Detlef (Eds.) (2010). Manipulation of Graphs, Algebras and Pictures. Vol. 26, Electronic Communications of the EASST. European Association of Software Science and Technology (EASST).   detail     www
Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman (2010). Towards Ontological Blending. In Darina Dicheva, Danail Dochev (Eds.), Artificial Intelligence: Methodology, Systems, and Applications, 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings, Vol. 6304, pp. 263–264, Lecture Notes in Computer Science. Springer.   detail     www
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).   detail
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), pp. 121–130. Verlag Hans Huber.   detail
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), pp. 255–333.   detail     www   pdf
Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther (2010). Chinese Whispers and Connected Alignments . In Pavel Shvaiko et al. (Ed.), 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. , Vol. 689, pp. 25–36, CEUR-WS online proceedings.   detail     www
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 (Eds.), RoboCup 2009: Robot Soccer World Cup XIII, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf
Carsten Lutz, Lutz Schröder (2010). Probabilistic Description Logics for Subjective Uncertainty. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski (Eds.), Principles of Knowledge Representation and Reasoning (KR 2010), pp. 393–403. AAAI Press, Menlo Park, CA.   detail   pdf
Dominik Lücke, Till Mossakowski (2010). A much better polynomial time approximation of consistency in the LR calculus. In A. Gomez-Perez, T. Agotnes (Eds.), Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), Vol. 222, pp. 175–185, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam.   detail     www   pdf
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.   detail
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), pp. 363–384.   detail     www   pdf
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.   detail     www
Till Mossakowski, Reinhard Moratz (2010). Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity. In CoRR. abs/0912.5533.   detail     www
Dirk Pattinson, Lutz Schröder (2010). Cut Elimination in Coalgebraic Logics. In Information and Computation, Vol. 208, pp. 1447–1468.   detail     www   pdf
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 (Eds.), RoboCup 2010: Robot Soccer World Cup XIV Preproceedings. RoboCup Federation.   detail   pdf
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.   detail   pdf
Lutz Schröder, Dirk Pattinson (2010). Rank-1 modal logics are coalgebraic . In Journal of Logic and Computation, 20 (5), pp. 1113–1147. Extends (Schröder and Pattinson STACS 2007).   detail     www   pdf
Lutz Schröder, Dirk Pattinson (2010). Named Models in Coalgebraic Hybrid Logic. In Jean-Yves Marion, Thomas Schwentick (Eds.), 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, Vol. 5, pp. 645–656, Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Center of Informatics, Dagstuhl, Germany.   detail   pdf
Lutz Schröder, Dirk Pattinson (2010). Coalgebraic correspondence theory. In Luke Ong (Ed.), Foundations of Software Science and Computation Structures (FoSSaCS 2010), Vol. 6014, pp. 328–342, Lecture Notes in Computer Science. Springer.   detail   pdf
Lutz Schröder, Dirk Pattinson, Daniel Hausmann (2010). Optimal Tableaux for Conditional Logics with Cautious Monotonicity. In Michael Wooldridge (Ed.), European Conference on Artificial Intelligence (ECAI 2010), Vol. 215, pp. 707–712, Frontiers in Artificial Intelligence and Applications. IOS Press.   detail   pdf
Lutz Schröder, Yde Venema (2010). Flat coalgebraic fixed point logics. In Paul Gastin, François Laroussinie (Eds.), 21st International Conference on Concurrency Theory, CONCUR 2010, Vol. 6269, pp. 524–538, Lecture Notes in Computer Science. Springer.   detail   pdf
Sergey Goncharov (2010). Kleene monads. Universität Bremen.   detail   pdf   postscript
Shi, H., Jian, C., Krieg-Brückner, B. (2010). Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. In Ray Jarvis, Cosmin Dini (Eds.), Proceedings of The Third International Conference on Advances in Computer-Human Interactions, IEEE.   detail
Hui Shi, Robert J. Ross, Thora Tenbrink, John Bateman (2010). Modelling Illocutionary Structure: Combining Empirical Studies with Formal Model Analysis. In A. Gelbukh (Ed.), Proceedings of the 11th International Conference on Intelligent Text Processing and Computational Linguistics (CICLing 2010), Vol. 6008, pp. 340–353, Lecture Notes in Computer Science. Springer, Berlin.   detail
Dennis Walter, Holger Täubig, Christoph Lüth (2010). Experiences in Applying Formal Verification in Robotics. In Schoitsch, Erwin (Eds.), 29th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2010), Vol. 6351, pp. 347–360, Lecture Notes in Computer Science. Springer.   detail   pdf

2009     Back to top

Georgel Calin, Rob Myers, Dirk Pattinson, Lutz Schröder (2009). CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description). In Carlos Areces, Stephane Demri (Eds.), Methods for Modalities (M4M-5, 2007), Vol. 231, pp. 41–54, Electronic Notes in Theoretical Computer Science. Elsevier Science.   detail   pdf
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, Vol. 5, pp. 195–254, Handbook of The History of Logic. Elsevier.   detail     www
Mihai Codescu (2009). Generalized Theoroidal Institution Comorphisms. In Andrea Corradini, Ugo Montanari (Eds.), WADT 2008, Vol. 5486, pp. 88–101, Lecture Notes in Computer Science. Springer.   detail
Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski (2009). The VSE Refinement Method in HETS. In K. Breitman, A. Cavalcanti (Eds.), ICFEM 2009, Vol. 5885, pp. 660–678, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Udo Frese, Holger Täubig (2009). Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage. No. RR-09-01. Deutsches Forschungszentrum für Künstliche Intelligenz, Robert-Hooke-Straße 5, 28359 Bremen. Technischer Report RR-09-01.   detail   pdf
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter (2009). The Importance of Being Formal. In M. Huhn, H. Hungar (Eds.), 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), pp. 57–70, Electronic Notes in Theoretical Computer Science. Elsevier Science.   detail   pdf
Sergey Goncharov, Lutz Schröder, Till Mossakowski (2009). Kleene Monads: Handling Iteration in a Framework of Generic Effects. In Alexander Kurz, Andrzej Tarlecki (Eds.), Algebra and Coalgebra in Computer Science (CALCO 2009), Vol. 5728, pp. 18–33, Lecture Notes in Computer Science. Springer.   detail   pdf
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 (Eds.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2009 IEEE-RAS International Conference on Humanoid Robots.   detail   pdf
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), pp. 761–775.   detail   pdf
Berthold Hoffmann (2009). Program Graph Transformation. In Hoffmann, Berthold, Lüth, Christoph, Mossakowski, Till, Schröder, Lutz (Eds.), Specification, Transformation, Navigation -- Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday, pp. 152–167. Sichere Kognitive Systeme, DFKI Bremen.   detail   pdf
Drewes, Frank, Habel, Annegret, Hoffmann, Berthold, Plump, Detlef (Eds.) (2009). Manipulation of Graphs, Algebras and Pictures - Festschrift dedicated to Hans-Jörg Kreowski on the Occasion of his 60th Birthdy. Universität Bremen.   detail   pdf
Hoffmann, Berthold (2009). Conditional Adaptive Star Grammars. In Manipulation of Graphs, Algebras, Pictures (Eds.), Manipulation of Graphs, Algebras and Pictures, pp. 171–189.   detail   pdf
Hoffmann, Berthold, Lüth, Christoph, Mossakowski, Till, Roggenbach, Markus, Schröder, Lutz (Eds.) (2009). Specification, Transformation, Navigation - Festschrift Sedicated to Bernd Krieg-Brückner on the Ooccasion of his 60th Birthday. DFKI Bremen, Sichere Kognitive Systeme.   detail   pdf
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.   detail
Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz (2009). Formal Management of CAD/CAM Processes. In Ana Cavalcanti, Dennis Dams (Eds.), Formal Methods (FM 2009), Vol. 5850, pp. 223–238, Lecture Notes in Computer Science. Springer.   detail   pdf
B. Krieg-Brückner, H. Shi (2009). Spatio-Temporal Situated Interaction in Ambient Assisted Living. In Ritter, H., Sagerer, G., Steil, J. (Eds.), Proceedings of Third International Workshop on Human Centered Robotic Systems, HCRS'09, No. 205-214.   detail
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.   detail   pdf
Y. Kurata, H. Shi (2009). Toward Heterogeneous Cardinal Direction Calculus (Best Paper Award). In Proceedings of the 32nd Annual German Conference on Artifical Intelligence, Vol. 5803, pp. 452–459, Lecture Notes in Artificial Intelligence.   detail
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 (Eds.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2009 IEEE-RAS International Conference on Humanoid Robots.   detail   pdf
Tim Laue, Matthias Hebbel (2009). Automatic Parameter Optimization for a Dynamic Robot Simulation. In Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou (Eds.), RoboCup 2008: Robot Soccer World Cup XII, No. 5399, pp. 121–132, Lecture Notes in Artificial Intelligence. Springer.   detail
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 (Eds.), 4th European Conference on Mobile Robots (ECMR 2009), pp. 283–288.   detail
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, Vol. 5850, Lecture Notes in Computer Science. Springer.   detail   pdf
C. Mandel, T. Lüth, T. Laue, T. Röfer, A. Gräser, B. Krieg-Brückner (2009). Navigating a Smart Wheelchair with a Brain-Computer Interface Interpreting Steady-State Visual Evoked Potentials. In Ning Xi, W. R. Hamel (Eds.), Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 1118–1125. IEEE.   detail
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.   detail
Till Mossakowski, Andrzej Tarlecki, Razvan Diaconescu (2009). What is a logic translation?. In Logica Universalis, 3 (1), pp. 95–124. Winner of the universal logic 2007 contest..   detail     www   pdf
Till Mossakowski, Andrzej Tarlecki (2009). Heterogeneous Logical Environments for Distributed Specifications. In Andrea Corradini, Ugo Montanari (Eds.), WADT 2008, Vol. 5486, (p. 266–289). , Lecture Notes in Computer Science. Springer.   detail     www   pdf
Till Mossakowski (2009). On Teaching Logic and Algebraic Specification. In Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump (Eds.), Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, pp. 269–286.   detail     www
Reinhard Moratz, Dominik Lücke, Till Mossakowski (2009). Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects. In CoRR, Vol. abs/0912.5533. abs/0912.5533.   detail     www   pdf
Rob Myers, Dirk Pattinson, Lutz Schröder (2009). Coalgebraic Hybrid Logic. In Luca de Alfaro (Ed.), Foundations of Software Science and Computation Structures (FOSSACS 2009), Vol. 5504, pp. 137–151, Lecture Notes in Computer Science. Springer.   detail   pdf
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 (Eds.), RoboCup 2008: Robot Soccer World Cup XII, Vol. 5399, pp. 591–601, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf
Dirk Pattinson, Lutz Schröder (2009). Generic Modal Cut Elimination Applied to Conditional Logics. In Martin Giese, Arild Waaler (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Vol. 5607, pp. 280–294, Lecture Notes in Computer Science. Springer.   detail   pdf
T. Röfer, C. Mandel, T. Laue (2009). Controlling an Automated Wheelchair via Joystick/Head-Joystick Supported by Smart Driving Assistance. In Proceedings of the 2009 IEEE 11th International Conference on Rehabilitation Robotics, pp. 743–748.   detail   pdf
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 (Eds.), RoboCup 2009: Robot Soccer World Cup XIII Preproceedings. RoboCup Federation.   detail   pdf
Thomas Röfer, Tim Laue, Bernd Gersdorf (2009). iWalker - An Intelligent Walker providing Services for the Elderly. In Technically Assisted Rehabilitation 2009.   detail   pdf
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.   detail   pdf
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 (Eds.), Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday, pp. 255–272. Sichere Kognitive Systeme, DFKI Bremen.   detail   pdf
Lutz Schröder, Dirk Pattinson (2009). PSPACE Bounds for Rank-1 Modal Logics. In ACM Transactions on Computational Logic, 10 (2:13), pp. 1–33.   detail     www   pdf
Lutz Schröder, Till Mossakowski (2009). HasCASL: Integrated Higher-Order Specification and Program Development. In Theoretical Computer Science, 410 (12-13), pp. 1217–1260.   detail     www   pdf
Lutz Schröder, Dirk Pattinson (2009). Strong completeness of coalgebraic modal logics. In Susanne Albers, Jean-Yves Marion (Eds.), 26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009), pp. 673–684, Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Center of Informatics, Dagstuhl, Germany.   detail     www
Lutz Schröder, Dirk Pattinson, Clemes Kupke (2009). Nominals for Everyone. In Craig Boutilier (Ed.), International Joint Conferences on Artificial Intelligence (IJCAI 2009), pp. 917–922. AAAI Press, Menlo Park, CA.   detail   pdf
Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Jörg Siekmann (2009). Resource Adaptive Processes in Automated Reasoning Systems. In Matthew Crocker; Jörg Siekmann (Ed.), Resource Adaptive Cognitive Processes, (p. 28). , Lecture Notes in Artificial Intelligence. Springer, Berlin.   detail     www
Serge Autexier; Dominik Dietrich (2009). Atomic Metadeduction. In Bärbel Mertsching (Ed.), 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.   detail     www
Hui Shi, Thora Tenbrink (2009). Telling Rolland where to go: HRI dialogues on route navigation. In Kenny Coventry, Thora Tenbrink, John Bateman (Eds.), Spatial Language and Dialogue. Oxford University Press.   detail

2008     Back to top

Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (Eds.) (2008). Intelligent Computer Mathematics. Vol. 5144, Lecture Notes in Artificial Intelligence. Springer.   detail
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 (Eds.), RoboCup 2008: Robot Soccer World Cup XII Preproceedings. RoboCup Federation.   detail   pdf
Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema (2008). Modal logics are coalgebraic. In Samson Abramsky, Erol Gelenbe, Vladimiro Sassone (Eds.), Visions of Computer Science, BCS International Academic Research Conference (BCS 2008), pp. 129–140. British Computer Society.   detail   pdf
Mihai Codescu, Till Mossakowski (2008). Heterogeneous colimits. In Frédéric Boulanger, Christophe Gaston, Pierre-Yves Schobbens (Eds.), MoVaH'08 Workshop on Modeling, Validation and Heterogeneity. IEEE press.   detail     www   pdf
Mihai Codescu, Daniel Gaina (2008). Birkhoff Completeness in Institutions. In Logica Universalis, 2 (2), pp. 277–309.   detail
Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark (2008). Adaptive Star Grammars and Their Languages. No. 2008-01. Departement Wiskunde-Informatica, Universiteit Antwerpen. Technical Report 2008-01.   detail   pdf
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde (2008). Shaped Generic Graph Transformation. In Andy Schürr, Manfred Nagl, Albert Zündorf (Eds.), Applications of Graph Transformation with Industrial Relevance (AGTIVE'07) Selected Papers, Vol. 5088, pp. 201–216, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail   pdf
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).   detail     www   pdf
Mark Minas, Berthold Hoffmann (2008). An Example of Cloning Graph Transformation Rules for Programming. In Electronic Notes in Theoretical Computer Science, Vol. 211, pp. 241–250.   detail   pdf
Drewes, Frank, Hoffmann, Berthold, Minas, Mark (2008). Adaptive Star Grammars for Graph Models. In Hartmut Ehrig, others (Eds.), 4th International Conference on Graph Transformation (ICGT'08), Vol. 5214, pp. 442–457, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail   pdf
Hoffmann, Berthold, Pérez, Javier, Mens, Tom (2008). A Case Study for Refactoring. In Arend Rensink, Pieter Van Gorp (Eds.), Proc. of the GraBaTS Tool Context 2008.   detail   pdf
Hoffmann, Berthold, Jakumeit, Edgar, Geiß, Rubino (2008). Graph Rewrite Rules with Structural Recursion. In Mosbah, Mohamed, Habel, Annegret (Eds.), 2nd Intl. Workshop on Graph Computational Models (GCM 2008), pp. 5–16.   detail   pdf
Joana Hois, Michael Wünstel, John A. Bateman, Thomas Röfer (2008). Dialog-Based 3D-Image Recognition Using a Domain Ontology. In Thomas Barkowsky, Markus Knauff, Gérard Ligozat, Daniel R. Montello (Eds.), Spatial Cognition V: Reasoning, Action, Interaction, International Conference Spatial Cognition 2006, No. 4387, pp. 107–126, Lecture Notes in Artificial Intelligence. Springer-Verlag Heidelberg.   detail     www   pdf
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).   detail
Andrea Kohlhase (2008). MS PowerPoint Use from a Micro-Perspective. In AACE (Ed.), Proceedings of the World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008, Vol. 1, pp. 1279–1286. AACE, Chesapeake, VA.   detail     www
Yohei Kurata, Hui Shi (2008). Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models. In A. Dengel (Ed.), Proceedings of the 31st Annual German Conference on Artifical Intelligence, Vol. 5243, pp. 258–266, Lecture Notes in Artificial Intelligence. Springer-Verlag Berlin Heidelberg.   detail
Oliver Kutz, Till Mossakowski (2008). Conservativity in Structured Ontologies. In M. Ghallab, C.D. Spyropoulos, N. Fakotakis, N. Avouris (Eds.), ECAI 2008, Vol. 178, Frontiers in Artificial Intelligence and Applications. IOS Press.   detail   pdf
Oliver Kutz, Till Mossakowski, Mihai Codescu (2008). Shapes of Alignments - Construction, Combination, and Computation. In Ulrike Sattler, Andrei Tamilin (Eds.), International Workshop on Ontologies: Reasoning and Modularity (WORM-08), Vol. 348, CEUR-WS online proceedings.   detail     www   pdf
Oliver Kutz, Dominik Lücke, Till Mossakowski (2008). Heterogeneously Structured Ontologies: Integration, Connection, and Refinement. In Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, Vol. 90, CRPIT.   detail     www   pdf
Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanueal Normann (2008). The OWL in the CASL - Designing Ontologies Across Logics. In Catherine Dolbear, Alan Ruttenberg, Uli Sattler (Eds.), OWL: Experiences and Directions, 5th International Workshop (OWLED-08), No. 432. CEUR-WS.   detail     www
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).   detail     www
Tim Laue, Thomas Röfer (2008). SimRobot - Development and Applications. In Heni Ben Amor, Joschka Boedecker, Oliver Obst (Eds.), The Universe of RoboCup Simulators - Implementations, Challenges and Strategies for Collaboration. Workshop Proceedings of the International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR 2008), Lecture Notes in Artificial Intelligence.   detail   pdf
Dominik Lücke, Till Mossakowski, Diedrich Wolter (2008). Qualitative reasoning about convex relations. In Christian Freksa, Nora S. Newcombe, Peter Gaerdenfors (Eds.), Spatial Cognition VI 2008, Vol. 5248, pp. 426–440, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Christoph Lüth, Udo Frese, Holger Täubig, Dennis Walter, Daniel Hausmann (2008). SAMS Sicherheitskomponente für Autonome Mobile Serviceroboter. In Proc. ROBOTIK 2008, Vol. 2012, VDI-Berichte. VDI-Verlag.   detail   pdf
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.   detail   pdf
David Aspinall, Ewen Denney, Christoph Lüth (2008). A Tactic Language for Hiproofs. In Mathematical Knowledge Management MKM 2008, Intelligent Computer Mathematics, Vol. 5144, pp. 339–354, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf
Till Mossakowski, Anne Haxthausen, Don Sannella, Andrzej Tarlecki (2008). CASL, the Common Algebraic Specification Language. In D. Bjorner, M. Henson (Eds.), Logics of formal specification languages, pp. 241–298, Monographs in Theoretical Computer Science . Springer-Verlag Heidelberg.   detail     www   pdf   postscript
Till Mossakowski, Lutz Schröder, Sergey Goncharov (2008). A generic complete dynamic logic for reasoning about purity and effects. In J. Fiadeiro, P. Inverardi (Eds.), Fundamental Approaches to Software Engineering (FASE 2008), Vol. 4961, pp. 199–214, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Dirk Pattinson, Lutz Schröder (2008). Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. In Roberto Amadio (Ed.), Foundations of Software Science and Computation Structures (FOSSACS 2008), Vol. 4962, pp. 66–80, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Dirk Pattinson, Lutz Schröder (2008). Admissibility of Cut in Coalgebraic Logics. In J. Adamek, C. Kupke (Eds.), Coalgebraic Methods in Computer Science (CMCS 08), Vol. 203, pp. 221–241, Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam.   detail     www   pdf
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 (Eds.), RoboCup 2007: Robot Soccer World Cup XI, Vol. 5001, pp. 369–376, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf
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 (Eds.), RoboCup 2008: Robot Soccer World Cup XII Preproceedings. RoboCup Federation.   detail   pdf
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.   detail   pdf
Lutz Schröder (2008). Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In Theoretical Computer Science, Vol. 390, pp. 230–247. Extends (Schröder 2005).   detail     www   pdf
Lutz Schröder (2008). Linearizability of Non-expansive Semigroup Actions on Metric Spaces. In Topology and its Applications, Vol. 155, pp. 1576–1579. Preliminary version appeared as DFKI Research Report RR-06-1, DFKI GmbH, Kaiserslautern, 2006.   detail   pdf
Lutz Schröder, Dirk Pattinson (2008). How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. In Gerhard Brewka, Jerôme Lang (Eds.), Principles of Knowledge Representation and Reasoning (KR 2008), pp. 307–218. AAAI Press, Menlo Park, CA.   detail   pdf
Lutz Schröder, Dirk Pattinson (2008). Shallow models for non-iterative modal logics. In Andreas Dengel, Karsten Berns, Thomas Breuel, Frank Bomarius, Thomas Roth-Berghofer (Eds.), Advances in Artificial Intelligence (KI 2008), Vol. 5243, pp. 324–331, Lecture Notes in Artificial Intelligence. Springer. Full version available as e-print arXiv:0802.0116.   detail     www   pdf
Lutz Schröder (2008). Bootstrapping Inductive and Coinductive Types in HasCASL. In Logical Methods in Computer Science, 4 (4:17), pp. 1–27.   detail     www
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), pp. 253–277.   detail     www
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). .   detail
Hui Shi, Christian Mandel, Robert J. Ross (2008). Interpreting Route Instructions as Qualitative Spatial Actions. In T. Barkowsky, M. Knauff, G. Ligozat, D. R. Montello (Eds.), Spatial Cognition V, Vol. 4387, Lecture Notes in Computer Science. Springer Verlag, 14197 Berlin.   detail
Hui Shi, Bernd Krieg-Brückner (2008). Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. In International Journal of Software and Informatics, 2 (1), pp. 33–60.   detail
Hui Shi, Bernd Krieg-Brückner (2008). Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems. In KI Zeitschrift, Vol. 3, pp. 59–61.   detail
Michael Wünstel, Thomas Röfer (2008). Multi-Modal Scene Interpretation. In Sabine Timpf (Ed.). Künstliche Intelligenz - Themenheft Räumliche Mobilität, pp. 69–71. Fachbereich KI der Gesellschaft für Informatik e.V., BöttcherIT Verlag.   detail

2007     Back to top

John Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo, Till Mossakowski (2007). Ontological Modularity and Spatial Diversity. In Spatial Cognition and Computation, 7 (1), pp. 97–128.   detail     www
U. Frese (2007). Efficient 6-DOF SLAM with Treemap as a Generic Backend. In Proceedings of the Internation Conference on Robotics and Automation, Rome.   detail     www   pdf
Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe, Lutz Schröder (2007). An Institutional View on Categorical Logic. In Int J Software Informatics, 1 (1), pp. 129–152.   detail   pdf   postscript
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).   detail     www   pdf
K. Huebner (2007). Object Description and Decomposition by Symmetry Hierarchies. In V. Skala (Ed.), WSCG 2007 Short Paper Proceedings, pp. 125–132. UNION Agency - Science Press, Plzen, Czech Republic.   detail     www   pdf
Michael Kohlhase, Achim Mahnke, Christine Müller (2007). Managing Variants in Document Content and Narrative Structures. In Alexander Hinneburg (Ed.), Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings.   detail   pdf
Oliver Kutz, Till Mossakowski (2007). Modules in Transition - Conservativity, Composition, and Colimits. In Anne Schlicht (Ed.), Second International Workshop on Modular Ontologies.   detail     www   pdf
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.   detail
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.   detail   pdf
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 (Eds.), RoboCup 2006: Robot Soccer World Cup X, Vol. 4434, pp. 474–482, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf
Christoph Lüth, Bernd Krieg-Brückner (2007). Sicherheit in der Künstlichen Intelligenz. In Künstliche Intelligenz, Vol. 1, pp. 51–52.   detail   pdf
David Aspinall, Christoph Lüth, Daniel Winterstein (2007). A Framework for Interactive Proof. In Mathematical Knowledge Management MKM 2007, Vol. 4573, pp. 161–175, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf
Klaus Lüttich, Till Mossakowski (2007). Reasoning Support for CASL with Automated Theorem Proving Systems. In J. Fiadeiro (Ed.), WADT 2006, Vol. 4409, pp. 74–91. Springer-Verlag Heidelberg.   detail   pdf   postscript
Klaus Lüttich (2007). Development of Structured Ontologies in CASL. Universität Bremen, Bibliothekstraße 1, 28359 Bremen, Germany.   detail     www   pdf
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).   detail   pdf
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.   detail   pdf
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.   detail   pdf
Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Orna Grumberg, Michael Huth (Eds.), TACAS 2007, Vol. 4424, pp. 519–522, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail   pdf   postscript
Till Mossakowski, Markus Roggenbach (2007). Structured CSP -- A Process Algebra as an Institution. In J. Fiadeiro (Ed.), WADT 2006, Vol. 4409, pp. 92–110, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail   pdf   postscript
Till Mossakowski, Ugo Montanari, Magne Haveraaen (Eds.) (2007). CALCO 2007. Second conference on algebra and coalgebra in computer science. Vol. 4624, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail     www
Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Bernhard Beckert (Ed.), VERIFY 2007, 4th International Verification Workshop, Vol. 259, pp. 119–135, CEUR Workshop Proceedings.   detail     www   pdf
Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki (2007). What is a Logic? (revised version). In Jean-Yves Beziau (Ed.), Logica Universalis, No. second edition, pp. 111–133. Birkhäuser.   detail     www   pdf
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 (Eds.), Proceedings of the Second Workshop on Humanoid Soccer Robots in conjunction with the 2007 IEEE-RAS International Conference on Humanoid Robots.   detail   pdf
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.   detail
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 (Eds.), RoboCup 2007: Robot Soccer World Cup XI Preproceedings. RoboCup Federation.   detail   pdf
Lutz Schröder (2007). A finite model construction for coalgebraic modal logic. In Journal of Logic and Algebraic Programming (FOSSACS 06 special issue), Vol. 73, pp. 97–110. Extends (Schröder 2006).   detail     www   pdf
Lutz Schröder, Dirk Pattinson (2007). Rank-1 Modal Logics are Coalgebraic. In Wolfgang Thomas, Pascal Weil (Eds.), International Symposium on Theoretical Aspects of Computer Science (STACS 07), Vol. 4393, pp. 573–585, Lecture Notes in Computer Science. Springer. Extended version available.   detail     www   pdf
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.   detail
Lutz Schröder, Till Mossakowski (2007). Coalgebraic Modal Logic in CoCASL. In José Luiz Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Vol. 4409, pp. 128–142, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Lutz Schröder (2007). Bootstrapping Types and Cotypes in HasCASL. In Till Mossakowski, Udo Montanari (Eds.), Algebra and Coalgebra in Computer Science (CALCO 07), Vol. 4624, pp. 447–462, Lecture Notes in Computer Science. Springer. Extended version available.   detail     www   pdf
Lutz Schröder, Dirk Pattinson (2007). Modular Algorithms for Heterogeneous Modal Logics. In Lars Arge, Andrzej Tarlecki, Christian Cachin (Eds.), Automata, Languages and Programming (ICALP 07), Vol. 4596, pp. 459–471, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Thora Tenbrink, Hui Shi (2007). Negotiating Spatial Goals with a Wheelchair. In S. Keizer, H. Bunt, T. Paek (Eds.), Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue.   detail
Paolo Torrini, Christpoh Lüth, Christian Maeder, Till Mossakowski (2007). Translating Haskell to Isabelle. In Klaus Schneider, Jens Brandt (Eds.), Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, (p. 178–193). . Uni Kaiserslautern.   detail     www   pdf
Stefan Wölfl, Till Mossakowski, Lutz Schröder (2007). Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In David Wilson, Geoff Sutcliffe (Eds.), 20th International FLAIRS Conference (FLAIRS-20), pp. 665–670. AAAI Press.   detail   pdf

2006     Back to top

Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer (2006). Maya: Maintaining Structured Developments. In Michael Kohlhase (Ed.), OMDoc – An Open Markup Format for Mathematical Documents [version 1.2], Vol. 4180, pp. 281–285, Lecture Notes in Artificial Intelligence. Springer.   detail     www
Bernd Krieg-Brückner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In M. Raubal, H. Miller, A. Frank, M. Goodchild (Eds.), Geographic Information Science - Fourth International Conference, GIScience 2006, Vol. 4197, Lecture Notes in Computer Science. Springer, Berlin.   detail
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde (2006). Adaptive Star Grammars. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari,, Leila Ribeiro , Grzegorz Rozenberg (Eds.), 3rd International Conference on Graph Transformation (ICGT'06), Vol. 4178, pp. 77–91, Lecture Notes in Computer Science. Springer.   detail   pdf
U. Frese (2006). Treemap: An $O(log n)$ Algorithm for Indoor Simultaneous Localization and Mapping. In Autonomus Robots, 21 (2), pp. 103–122.   detail     www   pdf
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.   detail     www   pdf
U. Frese (2006). Treemap: An $O(log n)$ Algorithm for Indoor Simultaneous Localization and Mapping. No. 006-03/2006. Universität Bremen, SFB/TR 8 Spatial Cognition. Technical Report 006-03/2006. Companion report to the Autonomous Robots article with the same title..   detail     www   pdf
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).   detail     www   pdf
Sergey Goncharov, Lutz Schröder, Till Mossakowski (2006). Completeness of Global Evaluation Logic. In Rastislav Kralovic, Pawel Urzyczyn (Eds.), Mathematical Foundations of Computer Science, Vol. 4162, pp. 447–458, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Daniel Hausmann, Till Mossakowski, Lutz Schröder (2006). A Coalgebraic Approach to the Semantics of the Ambient Calculus. In Theoretical Computer Science, 366 (1-2), pp. 121–143. Extends (Hausmann et al. 2005).   detail     www   pdf
Berthold Hoffmann, Dirk Janssens, Van Eetvelde, Niels (2006). Cloning and Expanding Graph Transformation Rules for Refactoring. In Electronic Notes in Theoretical Computer Science, Vol. 152, pp. 53–67.   detail   pdf   postscript
K. Huebner, J. Zhang (2006). Stable Symmetry Feature Detection and Classification in Panoramic Robot Vision Systems. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 3429–3434.   detail     www
K. Huebner, D. Westhoff, J. Zhang (2006). A Comparison of Regional Feature Detectors in Panoramic Images. In Proceedings of the 2006 IEEE International Conference on Information Acquisition, pp. 666–671.   detail     www
K. Huebner (2006). Symmetriesignaturen für bildbasierte Anwendungen in der Robotik.R. Drechsler, M. Gogolla, H.-J. Kreowski, B. Krieg-Brückner, J. Peleska (Eds.), Vol. 24, BISS Monographs. Logos Verlag, Berlin.   detail     www
Bernd Krieg-Brückner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In Raubal, M., Miller, H.J., Frank, A.U., Goodchild, M.F. (Eds.), Proc. International Conference GIScience 2006, Münster, Germany, Vol. 4197, pp. 234–250, Lecture Notes in Computer Science. Springer Verlag. (to appear).   detail
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.   detail
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 (Eds.), Proceedings of the Workshop on Humanoid Soccer Robots in conjunction with the 2006 IEEE International Conference on Humanoid Robots.   detail   pdf
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 (Eds.), RoboCup 2005: Robot Soccer World Cup IX, Vol. 4020, pp. 173–183, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf
Maksym Bortin, Einar Broch Johnsen, Christoph Lüth (2006). Structured Formal Development in Isabelle. In Nordic Journal of Computing, Vol. 12, pp. 1–20.   detail   pdf   postscript
David Aspinal, Christoph Lüth, Daniel Winterstein, Ahsan Fayyaz (2006). Proof General in Eclipse. In Eclipse Technology eXchange ETX'06. ACM Press.   detail   pdf
Klaus Lüttich (2006). Approximation of Ontologies in CASL. In Brandon Bennett, Christiane Fellbaum (Eds.), Formal Ontology in Information Systems -- Proceedings of the Fourth International Conference (FOIS-2006), Vol. 150, pp. 335–346, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam.   detail   pdf
Klaus Lüttich, Claudio Masolo, Stefano Borgo (2006). Development of Modular Ontologies in CASL. In P. Haase, V. Honavar, O. Kutz, Y. Sure, A. Tamilin (Eds.), Workshop on Modular Ontologies 2006, Vol. 232, CEUR Workshop Proceedings. CEUR-WS.org.   detail     www   pdf
Hartwig H. Hochmair, Klaus Lüttich (2006). An Analysis of the Navigation Metaphor -- And Why It Works for the World Wide Web. In Spatial Cognition and Computation, 6 (3), pp. 235–278.   detail     www
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).   detail   pdf
Michael Wünstel, Thomas Röfer (2006). A Probabilistic Approach for Object Recognition in a Real 3-D Office Environment. In Vaclav Skala (Ed.), WSCG’2006 Posters Proceedings, pp. 41–42.   detail     www   pdf
Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel (2006). Algebraic-co-algebraic specification in CoCASL. In Journal of Logic and Algebraic Programming, 67 (1-2), pp. 146–197. Extends (Mossakowski et al. 2003).   detail     www   pdf   postscript
T. Mossakowski, S. Autexier, D. Hutter (2006). Development Graphs -- Proof Management for Structured Specifications. In Journal of Logic and Algebraic Programming, 67 (1-2), pp. 114–145.   detail     www   postscript
Till Mossakowski (2006). Institutional 2-cells and Grothendieck institutions. In K. Futatsugi, J.-P. Jouannaud, J. Meseguer (Eds.), Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Vol. 4060, pp. 124–149, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Till Mossakowski (2006). Monad-Based Logics for Computational Effects. In M. Johnson, V. Vene (Eds.), AMAST 2006, Vol. 4019, pp. 3–4, Lecture Notes in Computer Science. Springer, Berlin.   detail   pdf   postscript
Till Mossakowski, Lutz Schröder, Stefan Wölfl (2006). A Categorical Perspective on Qualitative Constraint Calculi. In Stefan Wölfl, Till Mossakowski (Eds.), Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pp. 28–39.   detail   pdf   postscript
Till Mossakowski, Christian Maeder, Klaus Lüttich (2006). Hets User Guide. Department of Computer Science; Universität Bremen. Technical Report.   detail   pdf
Till Mossakowski, Christian Maeder, Klaus Lüttich (2006). Hets: The Heterogeneous Tool Set. In Michael Kohlhase (Ed.), Maya: Maintaining Structured Developments, Vol. 4180, pp. 286–289, Lecture Notes in Artificial Intelligence. Springer.   detail     www
Walter Nisticò, Thomas Röfer (2006). Improving percept reliability in the Sony Four-Legged League. In Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi (Eds.), RoboCup 2005: Robot Soccer World Cup IX, Vol. 4020, pp. 545–552, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf
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.   detail
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.   detail
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 (Eds.), RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup Federation.   detail   pdf
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 (Eds.), RoboCup 2005: Robot Soccer World Cup IX, Vol. 4020, pp. 608–615, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf
Lutz Schröder (2006). The HasCASL Prologue - Categorical Syntax and Semantics of the Partial λ-calculus. In Theoret. Comput. Sci., Vol. 353, pp. 1–25.   detail     www   pdf   postscript
Lutz Schröder (2006). A Finite Model Construction for Coalgebraic Modal Logic. In Luca Aceto, Anna Ingólfsdóttir (Eds.), Foundations Of Software Science And Computation Structures, Vol. 3921, pp. 157–171, Lecture Notes in Computer Science. Springer, Berlin. EATCS Best Paper Award at ETAPS 2006.   detail     www   pdf   postscript
Lutz Schröder, Dirk Pattinson (2006). PSPACE Bounds for Rank 1 Modal Logics. In Rajeev Alur (Ed.), Logic in Computer Science (LICS 06), pp. 231–240. IEEE. Presentation slides available.   detail     www   pdf
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.   detail
Michael Wünstel, Thomas Röfer (2006). Feature Based Registration of Range Images in Domestic Environments. In Computer Vision and Graphics, ICCVG 2004, pp. 648–654, Computational Imaging and Vision. Springer.   detail     www   pdf

2005     Back to top

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

2004     Back to top

Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki (2004). CASL Semantics. In Peter D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, Lecture Notes in Computer Science. Springer Verlag, London. Part. Ëdited by D. Sannella and A. Tarlecki.   detail     www
M. Drouineaud, M. Bortin, P. Torrini, K. Sohr (2004). A First Step towards Formal Verification of Security Policy Properties of RBAC. In H.-D. Ehrich, K.-D. Schewe (Eds.), Procceedings of the Fourth International Conference on Quality Software, IEEE.   detail   postscript
Annegret Habel, Berthold Hoffmann (2004). Parallel Independence in Hierarchical Graph Transformation. In International Conference on Graph Transformation, No. 3256, pp. 178–193, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail   pdf   postscript
K. Huebner (2004). A Symmetry Operator and its Application to the RoboCup. In Daniel Polani, Brett Browning, Andrea Bonarini, Kazuo Yoshida (Eds.), RoboCup 2003: Robot Soccer World Cup VII, Vol. 3020, pp. 274–283, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.   detail     www   pdf
K. Huebner (2004). Symmetrie als kognitives Bildmerkmal. In D. Droege, D. Paulus (Eds.), 10. Workshop Farbbildverarbeitung, pp. 66–73. Der Andere Verlag, Tönning, Lübeck und Marburg.   detail     www   pdf
Raimund Klein (2004). Ein Interpreter für Diaplan, eine regelbasierte Sprache zum Programmieren mit Graphen und Diagrammen. Universität Bremen. Diplomarbeit.   detail   pdf   postscript
CoFI Language Design Group, B. Krieg-Brückner, P.D. Mosses (2004). CASL Syntax / CASL Summary. In P.D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail
B. Krieg-Brückner, A. Lindow, C. Lüth, A. Mahnke, G. Russell (2004). Semantic Interrelation of Documents via an Ontology. In G. Engels, S. Seehusen (Eds.), DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik, 6.-8. September 2004, Paderborn, Germany, Vol. P-52, pp. 271–282, Lecture Notes in Informatics. Springer-Verlag, D-69121 Heidelberg, Germany.   detail   pdf
A. Mahnke, B. Krieg-Brückner (2004). Literate Ontology Development. In Robert Meersman, Zahir Tari, Angelo Corsaro et al. (Eds.), On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, Vol. 3292, pp. 753–757, Lecture Notes in Computer Science. Springer, Berlin.   detail   pdf
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).   detail
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.   detail
Neil Ghani, Christoph Lüth (2004). Rewriting via Coinserters. In Nordic Journal of Computing, Vol. 10, pp. 290–312.   detail   pdf   postscript
Einar Broch Johnsen, Christoph Lüth (2004). Abstracting Transformations for Refinement. In Nordic Journal of Computing, Vol. 10, pp. 316–336.   detail   pdf   postscript
Einar Broch Johnsen, Christoph Lüth (2004). Theorem Reuse by Proof Term Transformation. In Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (Eds.), International Conference on Theorem Proving in Higher-Order Logics TPHOLs 2004, Vol. 3223, pp. 152–167, Lecture Notes in Computer Science. Springer.   detail   pdf   postscript
K. Lüttich, B. Krieg-Brückner, T. Mossakowski (2004). Tramway Networks as Route Graphs. In E. Schnieder, G. Tarnai (Eds.), FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 109–119.   detail   pdf
K. Lüttich, T. Mossakowski (2004). Specification of Ontologies in CASL. In Achille C. Varzi, Laure Vieu (Eds.), Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), Vol. 114, pp. 140–150, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam.   detail   pdf
Michael Megrelishvili, Lutz Schröder (2004). Globalization of Confluent Partial Actions on Topological and Metric Spaces. In Topology and Applications, Vol. 145, pp. 119–145.   detail   pdf   postscript
Till Mossakowski, Piotr Hoffman, Serge Autexier, Dieter Hutter (2004). CASL Logic. In Peter D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, Lecture Notes in Computer Science. Springer Verlag, London. Part. Ëdited by T. Mossakowski.   detail     www
T. Mossakowski (2004). HetCASL - Heterogeneous Specification. Language Summary.   detail   pdf   postscript
T. Mossakowski (2004). ModalCASL - Specification with Multi-Modal Logics. Language Summary.   detail   pdf   postscript
T. Mossakowski (2004). CASL Sublanguages and extensions. In Peter D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, pp. 61–69, Lecture Notes in Computer Science. Springer Verlag, London.   detail
T. Mossakowski (2004). CASL Tools. In M. Bidoit, P. D. Mosses (Eds.), CASL User Manual, Vol. 2900, pp. 131–142, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www
T. Mossakowski (2004). CASL Basic Libraries. In M. Bidoit, P. D. Mosses (Eds.), CASL User Manual, Vol. 2900, pp. 143–154, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www
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.   detail   pdf
Markus Roggenbach, Lutz Schröder, Till Mossakowski (2004). Libraries. In Peter Mosses (Ed.), CASL reference manual, Vol. 2960, Lecture Notes in Computer Science. Springer, Berlin. Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html.   detail     www   pdf   postscript
R. Ross, H. Shi, T. Vierhuff, B. Krieg-Brückner, J. Bateman (2004). Towards Dialogue Based Shared Control of Navigating Robots. In C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky (Eds.), Spatial Cognition 2004, Vol. 3343, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
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.   detail   pdf
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, Vol. 3020, Lecture Notes in Artificial Intelligence. Springer. on CD.   detail   pdf
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, Vol. 3020, pp. 262–273, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf
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.   detail   pdf
Lutz Schröder, Till Mossakowski (2004). Generic exception handling and the Java monad. In Charles Rattray, Savitri Maharaj, Carron Shankland (Eds.), Algebraic Methodology and Software Technology, Vol. 3116, pp. 443–459, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Lutz Schröder, Till Mossakowski (2004). Monad-independent dynamic logic in HasCASL. In Journal of Logic and Computation, 14 (4), pp. 571–619. Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.   detail     www   pdf   postscript
Lutz Schröder (2004). The logic of the partial λ-calculus with equality. In Jerzy Marcinkowski, Andrzej Tarlecki (Eds.), Computer Science Logic (CSL 04), Vol. 3210, pp. 385–399, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
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.   detail     www   pdf
Michael Wünstel, Reinhard Moratz (2004). Automatic Object Recognition within an Office Environment. In CRV 2004 Canadian Conference on Computer and Robot Vision, IEEE.   detail     www   pdf

2003     Back to top

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

2002     Back to top

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

2001     Back to top

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

2000     Back to top

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

1999     Back to top

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

1998     Back to top

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

1997     Back to top

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

1996     Back to top

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

1995     Back to top

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

1994     Back to top

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

1993     Back to top

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

1992     Back to top

Berthold Hoffmann (1992). Term Rewriting with Sharing and Memoization. In Helene Kirchner, Giorgio Levi (Eds.), Proc. Algebraic and Logic Programming, No. 632, pp. 128–142, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail   pdf   postscript
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 (Eds.), Algebraic Methodology and Software Technology (AMAST'91), Workshop in Computing, pp. 421–433. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner (1992). ESPRIT vereint Europa. In Impulse aus der Forschung, Universität Bremen, Vol. 13, pp. 9–12.   detail
T. Mossakowski (1992). Spezifizierbarkeit und Berechenbarkeit parametrischer partieller Datentypen. Diploma thesis, Universität Bremen.   detail   postscript
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.   detail

1991     Back to top

G. Buntrock, F. Drewes, C. Lautemann, T. Mossakowski (1991). Some modifications of auxiliary pushdown automata. In RAIRO Informatique théorique et Applications, pp. 545–556.   detail
M. Fröhlich, M. Werner (1991). Grafische Darstellung strukturierter Objekte. Master Thesis.   detail   postscript
H. Herrlich, T. Mossakowski, G. E. Strecker (1991). Algebra $cup$ Topology. In H. Herrlich, H.--E. Porst (Eds.), Category Theory at Work, Vol. 137--148. Heldermann Verlag, Berlin.   detail   postscript
Berthold Hoffmann, Detlef Plump (1991). Implementing Term Rewriting by Jungle Evaluation. In RAIRO Theoretical Informatics and Applications, 25 (5), pp. 445–472.   detail   pdf   postscript
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.. No. Informatik Bericht Nr. 7/91. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report Informatik Bericht Nr. 7/91.   detail
B. Krieg-Brückner (1991). Transformational Meta-Program Development. In M. Broy, M. Wirsing (Eds.), Methods of Programming, No. 544, pp. 19–34, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
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, No. 494, pp. 313–336, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
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 (Eds.), VDM‘91, Formal Software Development Methods, Proc. 4th Int‘l Symp. of VDM Europe, 2: Tutorials (552), pp. 363–397, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1990     Back to top

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, pp. 134–149.   detail
B. Krieg-Brückner (1990). COMPASS, a COMPrehensive Algebraic approach for System Specification and development, ESPRIT Basic Research Working Group 3264. In EATCS Bulletin, No. 40, pp. 144–157.   detail
B. Krieg-Brückner (1990). PROgram development by SPECification and TRAnsformation. In Baader (Ed.), Werkzeuge der Software-Verifikation.   detail
B. Krieg-Brückner (1990). PROgram development by SPECification and TRAnsformation. In G. Kahn (Ed.), Proc. Summer School on Programming Environments in ESPRIT (Sophia Antipolis).   detail

1989     Back to top

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

1988     Back to top

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

1987     Back to top

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

1986     Back to top

J. W. Janneck, T. Mossakowski (1986). ROM-Listing CPC 464/664/6128. Markt & Technik, Haar/München.   detail
T. Mossakowski (1986). Symbolische Formelmanipulation. Implementation eines LISP-Interpreters, Überlegungen zur seiteneffektfreien Programmierung. Bundeswettbewerb "Jugend forscht".   detail
B. Krieg-Brückner (1986). Korrekte Software durch PROSPECTRA. In Impulse aus der Forschung, Universität Bremen, Vol. 2, pp. 18–20.   detail
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 (Ed.), Ada: Managing the Transition, Proc. Ada Europe Conf. 86 (Edinburgh), pp. 249–260, Ada Companion Series. Cambridge University Press.   detail

1985     Back to top

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.   detail
B. Krieg-Brückner (1985). Transformation of Interface Specifications. In H.-J. Kreowski (Ed.), Recent Trends in Data Type Specification, No. 116, pp. 156–170, Informatik Fachberichte.   detail
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 (Eds.), Ada in Use, Proc. Ada Int´l Conf. 85 (Paris), pp. 185–198, Ada Companion Series. Cambridge University Press.   detail

1984     Back to top

J. W. Janneck, T. Mossakowski (1984). Das Dragon 32/64-Lexikon. Röckrath, Aachen.   detail
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 (Ed.), Anforderungen und Spezifikationen in der Programmentwicklung; eine Aufsatzsammlung, pp. 28–46, Matematitscheskoje Objespjetschenije EWM. MIR, Moskau.   detail
B. Krieg-Brückner (1984). Types in the Programming Language Ada. In M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Eds.), On Conceptual Modelling; Perspectives from Artificial Intelligence, Data Bases and Programming Languages, pp. 385–408. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner (1984). Language Comparison and Source-to-Source Translation. In P. Pepper (Ed.), Program Transformation and Programming Environments, Vol. F8, pp. 299–304, NATO ASI Series. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1983     Back to top

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. No. ANSI/MIL-STD-1815A-1983, Ada Companion Series. American National Standards Institute, Washington.   detail
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 (Ed.), The Programming Language Ada: Language, Compilers, Bibliography, Informatik Fachberichte. North Holland.   detail
B. Krieg-Brückner (1983). Consistency Checking in Ada and Anna: a Transformational Approach. In Ada LETTERS, No. 3:2, pp. 46–54.   detail

1982     Back to top

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

1981     Back to top

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. No. TUM-I8104. Technische Universität München; Institut für Informatik. Technical Report TUM-I8104.   detail
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, No. 1, pp. 73–114.   detail
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, No. 123, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
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 (Eds.), Trends in Information Processing Systems, No. 123, pp. 122–134, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1980     Back to top

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, No. 15, pp. 183–193.   detail
M. Broy, B. Krieg-Brückner (1980). Derivation of Invariant Assertions During Program Development by Transformation. In ACM Transactions on Programming Languages and Systems, No. 2, pp. 321–337.   detail
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.   detail
Berthold Hoffmann, Ilse-Renate Schmiedecke (1980). Multi-Pass Parsing for Two-Level Grammars: A Mathematical Approach. In P. Dembinski (Ed.), Mathematical Foundations of Computer Science (MFCS), No. 88, pp. 275–290, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
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. No. 008-000-00354-8, Lecture Notes in Computer Science. Elsevier Science.   detail
B. Krieg-Brückner, D.C. Luckham (1980). Anna: Towards a Language for Annotating Ada Programs. In ACM SIGPLAN Notices, No. 15, pp. 128–138.   detail

1979     Back to top

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 (Eds.), Program Construction, No. 69, pp. 273–289, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
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.   detail
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, No. 14: 6 Part A.   detail

1978     Back to top

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), pp. 73–85. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner (1978). A Wide Spectrum Language for Program Development. In B. Robinet (Ed.), Program Transformations: Proc. 3rd International Symposium on Programming (Paris), pp. 1–15. Dunod, Paris.   detail
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, No. 13, pp. 15–24.   detail
B. Krieg-Brückner (1978). Concrete and Abstract Specification and Program Development by Transformation. No. TUM-INFO-7805. Technische Universität München; Institut für Informatik. Dissertation TUM-INFO-7805.   detail

1977     Back to top

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. No. TUM-INFO-7722. Technische Universität München; Institut für Informatik. Technical Report TUM-INFO-7722.   detail
B. Krieg-Brückner (1977). Prevention of Side-Effects from Functions. In Machine Oriented Languages Bulletin, IFIP WG 2.4 (6).   detail

1974     Back to top

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

1973     Back to top

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

1972     Back to top

R. Gnatz, R. Hoellerer, B. Krieg (1972). S0, eine niedere Programmiersprache. No. Bericht 7212. Technische Universität München; Institut für Informatik. Manual Bericht 7212.   detail

1971     Back to top

B. Krieg (1971). Formal Definition of the Block Concept and some Implementation Models. Cornell University. Master's Thesis.   detail
      Show selected entries in BibTex Format
 
   
Author: Mattias Werner
 
  Group BKB 
Last updated: January 17, 2003   impressum