TZI

BISS >

BISS publications

The BISS is editing a series of books, the BISS Monographs. This series includes monographs, proceedings, doctorate theses, and collections on topics of safe systems. Mostly (but not exclusively) authors are members of the BISS.

Publications Search

Go to year: to appear 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 1976 1974 1973 1972 1971 no year specified

to appear Back to top

	Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski. The VSE Refinement Method in Hets. In Electronic Communications of the EASST. to appear.
	T. J. de Haas, T. Laue, T. Röfer. A Scripting-based Approach to Robot Behavior Engineering Using Hierarchical Generators. In Proc. of the International Conference on Robotics and Automation (ICRA-2012). IEEE.
	Christian Galinski, Oliver Kutz, Christoph Lange, Till Mossakowski. The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics. In TKE (Terminology and Knowledge Engineering) Conference 2012.
	Christoph Lange, and Oliver Kutz, Till Mossakowski, Michael Grüninger. The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. In Conferences on Intelligent Computer Mathematics CICM 2012.
	Till Mossakowski. Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods. In Theoretical Computer Science. To appear.
	Till Mossakowski, Christoph Lange, Oliver Kutz. Three Semantics for the Core of the Distributed Ontology Language. In Michael Gruninger (Ed.), FOIS 2012: 7th International Conference on Formal Ontology in Information Systems .
	Holger Täubig, Udo Frese. A New Library for Real-time Continuous Collision Detection. In Proceedings of the 7th German Conference on Robotics (ROBOTIK 2012). VDE.

2012 Back to top

	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.
	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.
	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.
	C. Graf, T. Röfer (2012). A Center of Mass Observing 3D-LIPM Gait for the RoboCup Standard Platform League Humanoid. In T. Röfer, N. M. 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.
	T. Laue, T. Röfer, K. Gillmann, F. Wenk, C. Graf, T. Kastner (2012). B-Human 2011 - Eliminating Game Delays. In T. Röfer, N. M. 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.
	Till Mossakowski, Reinhard Moratz (2012). Qualitative Reasoning about Relative Direction of Oriented Points. In Artificial Intelligence Journal, Vol. 180–181, (p. 34–45). .
	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.
	T. Röfer, N. M. Meyer, Jesús Savage, Uluç Saranli (Eds.) (2012). RoboCup 2011: Robot Soccer World Cup XV. Vol. 7416, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.
	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.

2011 Back to top

	A. Burchardt, T. Laue, T. Röfer (2011). Optimizing Particle Filter Parameters for Self-Localization. In J. Ruiz-del-Solar, E. Chown, P.G. Ploeger (Eds.), RoboCup 2010: Robot Soccer World Cup XIV, Vol. 6556, pp. 145–156, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.
	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.
	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.
	Till Mossakowski, Mihai Codescu, Oliver Kutz (2011). Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap. In Magdeburger Logistiktagung.
	Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau (2011). OSMonto - An Ontology of OpenStreetMap Tags. In State of the map Europe (SOTM-EU) 2011.
	Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe (2011). Project Abstract: Logic Atlas and Integrator (LATIN). In James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (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.
	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.
	Janna Hastings, Oliver Kutz, Till Mossakowski (2011). How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications. In Deep Knowledge Representation Challenge Workshop, co-located with K-CAP 2011.
	Minas, Mark, Hoffmann, Berthold (2011). Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars. In Echahed, Rachid, Habel, Annegret, Mosbah, Mohamed (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.
	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.
	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.
	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.
	Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander Garcia Castro, Aleksandra Sojic (2011). Hyperontology for the Biomedical Ontologist - A Sketch and Some Examples. In Workshop on Working with Multiple Biomedical Ontologies (at ICBO 2011).
	Oliver Kutz, Till Mossakowski (2011). The Onto-Logical Translation Graph. In O. Kutz, T. Schneider (Eds.), Modular Ontologies Proceedings of the Fifth International Workshop (WoMO 2011), Vol. 230, pp. 94–109, Frontiers in Artificial Intelligence and Applications. IOS Press.
	Dominik Lücke, Till Mossakowski, Reinhard Moratz (2011). Streets to the OPRA - Finding your destination with imprecise knowledge. In Jochen Renz, Anthony G. Cohn, Stefan Wölfl (Eds.), IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pp. 25–32.
	Christian Mandel, Udo Frese (2011). Annelid - a Novel Design for Actuated Robots Inspired by Ringed Worm`s Locomotion. In Achim J. Lilienthal, Tom Duckett (Eds.), Proceedings of the 5th European Conference on Mobile Robots (ECMR 2011), pp. 265–270.
	Reinhard Moratz, Dominik Lücke, Till Mossakowski (2011). A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments. In Artificial Intelligence Journal, Vol. 175, pp. 2099–2127.
	J. Müller, T. Laue, T. Röfer (2011). Kicking a Ball - Modeling Complex Dynamic Motions for Humanoid Robots. In J. Ruiz-del-Solar, E. Chown, P.G. Ploeger (Eds.), RoboCup 2010: Robot Soccer World Cup XIV, Vol. 6556, pp. 109–120, Lecture Notes in Artificial Intelligence. Springer, Heidelberg.
	T. Röfer, T. Laue, J. Müller, A. Fabisch, K. Gillmann, C. Graf, A. Härtl, A. Humann, F. Wenk (2011). B-Human Team Description for RoboCup 2011. In T. Röfer, N. M. Meyer, J. Savage, U. Saranli (Eds.), RoboCup 2011: Robot Soccer World Cup XV Preproceedings. RoboCup Federation.
	A. Seekircher, T. Laue, T. Röfer (2011). Entropy-based Active Vision for a Humanoid Soccer Robot. In J. Ruiz-del-Solar, E. Chown, P.G. Ploeger (Eds.), RoboCup 2010: Robot Soccer World Cup XIV, Vol. 6556, pp. 1–12, Lecture Notes in Artificial Intelligence. Springer, Heidelberg. Best Paper Award.
	Sergey Goncharov, Lutz Schröder (2011). A coinductive calculus for asynchronous side-effecting processes. In Olaf Owe, Martin Steffen, Jan Arne Telle (Eds.), Fundamentals of Computation Theory (FCT 2011), Vol. 6914, Lecture Notes in Computer Science. Springer. To appear.
	F. Wenk, T. Röfer (2011). Coordinated Pitch Observation for a Humanoid Robot Soccer Team. In S. Behnke, P. Stone, T. Röfer (Eds.), Proceedings of the Fifth Workshop on Humanoid Soccer Robots in conjunction with the 2011 IEEE-RAS International Conference on Humanoid Robots.

2010 Back to top

	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.
	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.
	Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark (2010). Adaptive Star Grammars and Their Languages. In Theoretical Computer Science, Vol. 411, pp. 3090–3109.
	A. Fabisch, T. Laue, T. Röfer (2010). Robot Recognition and Modeling in the RoboCup Standard Platform League. In C. Zhou, E. Pagello, S. Behnke, E. Menegatti, T. Röfer, P. Stone (Eds.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2010 IEEE-RAS International Conference on Humanoid Robots.
	Fischer, C., Shi, H., Jian , C., Schafmeister, F., Menrad, N., v. Steinbüchel, N., Schill, K., Krieg-Brückner, B. (2010). Modelling User Behaviour while Driving an Intelligent Wheelchair. In Proceedings of Third International Conference on Health Informatics.
	J. Frey, C. Stahl, T. Röfer, B. Krieg-Brückner, Jan Alexandersson (2010). The DFKI Competence Center for Ambient Assisted Living. In B. de Ruyter, R. Wichert, D. V. Keyson, P. Markopoulos, N. Streitz, M. Divitini, N. Georgantas, A. M. Gomez (Eds.), Ambient Intelligence: First International Joint Conference, AmI 2010, Vol. 6439, pp. 310–314, Lecture Notes in Computer Science. Springer, Heidelberg.
	Bernd Gersdorf, Hui Shi (2010). A Castor Wheel Controller for Differential Drive Wheelchairs. In ICINCO 2010.
	C. Graf, T. Röfer (2010). A Closed-loop 3D-LIPM Gait for the RoboCup Standard Platform League Humanoid. In C. Zhou, E. Pagello, S. Behnke, E. Menegatti, T. Röfer, P. Stone (Eds.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2010 IEEE-RAS International Conference on Humanoid Robots.
	Pérez, Javier, Crespo, Yania, Hoffmann, Berthold, Mens, Tom (2010). A Case Study to Evaluate the Suitability of Graph Transformation Tools for Program Refactoring. In International Journal on Software Tools for Technology Transfer, 12 (3), (p. 183 ff). .
	Hoffmann, Berthold, Minas, Mark (2010). Defining Models -- Meta Models versus Graph Grammars. In Electr. Comm. of the EASST, Vol. 29.
	Hoffmann, Berthold (2010). Conditional Adaptive Star Grammars. In Electronic Communications of the EASST, Vol. 26. Revised Version of Hoffmann (2009).
	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).
	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.
	A. Hornung, M. Bennewitz, H. Strasdat (2010). Efficient Vision-based Navigation -- Learning about the Influence of Motion Blur. In Autonomous Robots. To appear.
	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).
	B. Krieg-Brückner, T. Röfer, H. Shi, B. 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.
	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.
	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.
	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.
	Christian Mandel, Tim Laue (2010). Particle Filter-based Position Estimation in Road-Networks using Digital Elevation Models. In Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.
	Till Mossakowski, Ugo Montanari (2010). Preface. In Logical Methods in Computer Science. SPECIAL ISSUE: Selected Papers of the Conference "Algebraic and Coalgebraic Methods in Computer Science 2007" Bergen, Norway, 2007.
	Till Mossakowski, Reinhard Moratz (2010). Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity. In CoRR. abs/0912.5533.
	S. Oßwald, A. Hornung, M. Bennewitz (2010). Learning Reliable and Efficient Navigation with a Humanoid. In Proc. of the IEEE International Conference on Robotics & Automation (ICRA).
	T. Röfer, T. Laue, C. Graf, T. Kastner, A. Fabisch, C. Thedieck (2010). B-Human Team Description for RoboCup 2010. In J. Ruiz-del-Solar, A. Matsumoto, P. Plöger, E. Chown, L. Lee Yee (Eds.), RoboCup 2010: Robot Soccer World Cup XIV Preproceedings. RoboCup Federation.
	T. Röfer, T. Laue, J. Müller, A. Burchardt, E. Damrose, A. Fabisch, F. Feldpausch, K. Gillmann, C. Graf, T. J. de Haas, A. Härtl, D. Honsel, P. Kastner, T. Kastner, B. Markowsky, M. Mester, J. Peter, O. J (2010). B-Human Team Report and Code Release 2010. Online. 127 pages.
	Lutz Schröder, Dirk Pattinson (2010). Rank-1 modal logics are coalgebraic . In Journal of Logic and Computation, 20 (5), pp. 1113–1147. Extends (Schröder and Pattinson STACS 2007).
	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.
	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.

2009 Back to top

	Mihai Codescu (2009). Generalized Theoroidal Institution Comorphisms. In Andrea Corradini, Ugo Montanari (Eds.), WADT 2008, Vol. 5486, pp. 88–101, Lecture Notes in Computer Science. Springer.
	Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski (2009). The VSE Refinement Method in HETS. In K. Breitman, A. Cavalcanti (Eds.), ICFEM 2009, Vol. 5885, pp. 660–678, Lecture Notes in Computer Science. Springer.
	F. Faber, M. Bennewitz, C. Eppner, A. Goeroeg,, A. Gonsior, D. Joho, M. Schreiber, A. Behnke. (2009). The Humanoid Museum Tour Guide Robotinho. In Proc. of the 18th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN).
	Udo Frese, Holger Täubig (2009). Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage. Deutsches Forschungszentrum für Künstliche Intelligenz, Robert-Hooke-Straße 5, 28359 Bremen. Technischer Report.
	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.
	C. Graf, A. Härtl, T. Röfer, T. Laue (2009). Robust Closed-Loop Gait for the Standard Platform League Humanoid. In C. Zhou, E. Pagello, E. Menegatti, S. Behnke, T. Röfer (Eds.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2009 IEEE-RAS International Conference on Humanoid Robots.
	Berthold Hoffmann (2009). Program Graph Transformation. In Hoffmann, Berthold, Lüth, Christoph, Mossakowski, Till, Schröder, Lutz (Eds.), Specification, Transformation, Navigation -- Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday, pp. 152–167. Sichere Kognitive Systeme, DFKI Bremen.
	Drewes, Frank, Habel, Annegret, Hoffmann, Berthold, Plump, Detlef (Eds.) (2009). Manipulation of Graphs, Algebras and Pictures - Festschrift dedicated to Hans-Jörg Kreowski on the Occasion of his 60th Birthdy. Universität Bremen.
	Hoffmann, Berthold (2009). Conditional Adaptive Star Grammars. In Manipulation of Graphs, Algebras, Pictures (Eds.), Manipulation of Graphs, Algebras and Pictures, pp. 171–189.
	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.
	A. Hornung, H. Strasdat, M. Bennewitz, W. Burgard (2009). Learning Efficient Policies for Vision-based Navigation. In Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
	C. Jian, H. Shi, B. Krieg-Brückner (2009). SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge. In AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.
	Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz (2009). Formal Management of CAD/CAM Processes. In Ana Cavalcanti, Dennis Dams (Eds.), Formal Methods (FM 2009), Vol. 5850, pp. 223–238, Lecture Notes in Computer Science. Springer.
	B. Krieg-Brückner, H. Shi (2009). Spatio-Temporal Situated Interaction in Ambient Assisted Living. In Ritter, H., Sagerer, G., Steil, J. (Eds.), Proceedings of Third International Workshop on Human Centered Robotic Systems, HCRS'09, No. 205-214.
	B. Krieg-Brückner, H. Shi, C. Fischer, T. Röfer, J. Cui, K. Schill (2009). Welche Sicherheitsassistenz brauchen Rollstuhlfahrer?. In 2. Deutscher AAL-Kongress 2009. VDE-Verlag, Berlin-Offenbach, Germany.
	Y. Kurata, H. Shi (2009). Toward Heterogeneous Cardinal Direction Calculus (Best Paper Award). In Proceedings of the 32nd Annual German Conference on Artifical Intelligence, Vol. 5803, pp. 452–459, Lecture Notes in Artificial Intelligence.
	T. Laue, T.J. de Haas, A. Burchardt, C. Graf, T. Röfer, A. Härtl, A. Rieskamp (2009). Efficient and Reliable Sensor Models for Humanoid Soccer Robot Self-Localization. In C. Zhou, E. Pagello, E. Menegatti, S. Behnke, T. Röfer (Eds.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2009 IEEE-RAS International Conference on Humanoid Robots.
	Tim Laue, Matthias Hebbel (2009). Automatic Parameter Optimization for a Dynamic Robot Simulation. In Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou (Eds.), RoboCup 2008: Robot Soccer World Cup XII, No. 5399, pp. 121–132, Lecture Notes in Artificial Intelligence. Springer.
	T. Laue, T. Röfer (2009). Pose Extraction from Sample Sets in Robot Self-Localization - A Comparison and a Novel Approach. In I. Petrovic, A. J. Lilienthal (Eds.), 4th European Conference on Mobile Robots (ECMR 2009), pp. 283–288.
	Christoph Lüth, Dennis Walter (2009). Certifiable specification and verification of C programs. In FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings, Vol. 5850, Lecture Notes in Computer Science. Springer.
	C. Mandel, T. Lüth, T. Laue, T. Röfer, A. Gräser, B. Krieg-Brückner (2009). Navigating a Smart Wheelchair with a Brain-Computer Interface Interpreting Steady-State Visual Evoked Potentials. In Ning Xi, W. R. Hamel (Eds.), Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 1118–1125. IEEE.
	Bernhard Graimann, Brendan Allison, Christian Mandel, Thorsten Lüth, Diana Valbuena, Axel Gräser (2009). Non-invasive Brain-Computer Interfaces for Semi-autonomous Assistive Devices. In Robust Intelligent Systems. Springer Verlag, London.
	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..
	Till Mossakowski, Andrzej Tarlecki (2009). Heterogeneous Logical Environments for Distributed Specifications. In Andrea Corradini, Ugo Montanari (Eds.), WADT 2008, Vol. 5486, (p. 266–289). , Lecture Notes in Computer Science. Springer.
	Till Mossakowski (2009). On Teaching Logic and Algebraic Specification. In Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump (Eds.), Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, pp. 269–286.
	Reinhard Moratz, Dominik Lücke, Till Mossakowski (2009). Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects. In CoRR. abs/0912.5533.
	D. Pachur, T. Laue, T. Röfer (2009). Real-time Simulation of Motion-based Camera Disturbances. In L. Iocchi, H. Matsubara, A. Weitzenfeld, Changjiu Zhou (Eds.), RoboCup 2008: Robot Soccer World Cup XII, Vol. 5399, pp. 591–601, Lecture Notes in Artificial Intelligence. Springer.
	A. Pretto, E. Menegatti, M. Bennewitz, W. Burgard, E. Pagello (2009). A Visual Odometry Framework Robust to Motion Blur. In Proc. of the IEEE International Conference on Robotics & Automation (ICRA).
	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.
	T. Röfer, T. Laue, O. Bösche, I. Sieverdingbeck, T. Wiedemeyer, J.-H. Worch (2009). B-Human Team Description for RoboCup 2009. In J. Baltes, M. G. Lagoudakis, T. Naruse, S. Shiry (Eds.), RoboCup 2009: Robot Soccer World Cup XIII Preproceedings. RoboCup Federation.
	T. Röfer, T. Laue, B. Gersdorf (2009). iWalker - An Intelligent Walker providing Services for the Elderly. In Technically Assisted Rehabilitation 2009.
	T. Röfer, T. Laue, J. Müller, O. Bösche, A. Burchardt, E. Damrose, K. Gillmann, C. Graf, T. J. de Haas, A. Härtl, A. Rieskamp, A. Schreck, I. Sieverdingbeck, J.-H. Worch (2009). B-Human Team Report and Code Release 2009. Online. 117 pages.
	T. Röfer, C. Mandel, A. Lankenau, B. Gersdorf, U. Frese (2009). 15 Years of Rolland. In B. Hoffmann, C. Lüth, T. Mossakowski, L. 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.
	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.
	Lutz Schröder, Till Mossakowski (2009). HasCASL: Integrated Higher-Order Specification and Program Development. In Theoretical Computer Science, 410 (12-13), pp. 1217–1260.
	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.
	S. Wehner, M. Bennewitz (2009). Optimizing the Gait of a Humanoid Robot Towards Human-like Walking. In Proc. of the European Conference on Mobile Robots (ECMR).

2008 Back to top

	D. Becker, J. Brose, D. Göhring, M. Jüngel, M. Risler, T. Röfer (2008). GermanTeam 2008. In L. Iocchi, H. Matsubara, A. Weitzenfeld, C. Zhou (Eds.), RoboCup 2008: Robot Soccer World Cup XII Preproceedings. RoboCup Federation.
	Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema (2008). Modal logics are coalgebraic. In Samson Abramsky, Erol Gelenbe, Vladimiro Sassone (Eds.), Visions of Computer Science, BCS International Academic Research Conference (BCS 2008), pp. 129–140. British Computer Society.
	Mihai Codescu, Till Mossakowski (2008). Heterogeneous colimits. In Frédéric Boulanger, Christophe Gaston, Pierre-Yves Schobbens (Eds.), MoVaH'08 Workshop on Modeling, Validation and Heterogeneity. IEEE press.
	Mihai Codescu, Daniel Gaina (2008). Birkhoff Completeness in Institutions. In Logica Universalis, 2 (2), pp. 277–309.
	Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark (2008). Adaptive Star Grammars and Their Languages. No. 2008-01. Departement Wiskunde-Informatica, Universiteit Antwerpen. Technical Report.
	Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde (2008). Shaped Generic Graph Transformation. In Andy Schürr, Manfred Nagl, Albert Zündorf (Eds.), Applications of Graph Transformation with Industrial Relevance (AGTIVE'07) Selected Papers, Vol. 5088, pp. 201–216, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	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., Festkolloquium 2009 instead).
	Mark Minas, Berthold Hoffmann (2008). An Example of Cloning Graph Transformation Rules for Programming. In Electronic Notes in Theoretical Computer Science, Vol. 211, pp. 241–250.
	Drewes, Frank, Hoffmann, Berthold, Minas, Mark (2008). Adaptive Star Grammars for Graph Models. In Hartmut Ehrig, others (Eds.), 4th International Conference on Graph Transformation (ICGT'08), Vol. 5214, pp. 442–457, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	Hoffmann, Berthold, Pérez, Javier, Mens, Tom (2008). A Case Study for Refactoring. In Arend Rensink, Pieter Van Gorp (Eds.), Proc. of the GraBaTS Tool Context 2008.
	Hoffmann, Berthold, Jakumeit, Edgar, Geiß, Rubino (2008). Graph Rewrite Rules with Structural Recursion. In Mosbah, Mohamed, Habel, Annegret (Eds.), 2nd Intl. Workshop on Graph Computational Models (GCM 2008), pp. 5–16.
	Joana Hois, Michael Wünstel, John A. Bateman, Thomas Röfer (2008). Dialog-Based 3D-Image Recognition Using a Domain Ontology. In Thomas Barkowsky, Markus Knauff, Gérard Ligozat, Daniel R. Montello (Eds.), Spatial Cognition V: Reasoning, Action, Interaction, International Conference Spatial Cognition 2006, No. 4387, pp. 107–126, Lecture Notes in Artificial Intelligence. Springer-Verlag Heidelberg.
	Andrea Kohlhase (2008). MS PowerPoint Use from a Micro-Perspective. In AACE (Ed.), Proceedings of the World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008, Vol. 1, pp. 1279–1286. AACE, Chesapeake, VA.
	Yohei Kurata, Hui Shi (2008). Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models. In A. Dengel (Ed.), Proceedings of the 31st Annual German Conference on Artifical Intelligence, Vol. 5243, pp. 258–266, Lecture Notes in Artificial Intelligence. Springer-Verlag Berlin Heidelberg.
	Oliver Kutz, Till Mossakowski (2008). Conservativity in Structured Ontologies. In M. Ghallab, C.D. Spyropoulos, N. Fakotakis, N. Avouris (Eds.), ECAI 2008, Vol. 178, Frontiers in Artificial Intelligence and Applications. IOS Press.
	Oliver Kutz, Till Mossakowski, Mihai Codescu (2008). Shapes of Alignments - Construction, Combination, and Computation. In Ulrike Sattler, Andrei Tamilin (Eds.), International Workshop on Ontologies: Reasoning and Modularity (WORM-08), Vol. 348, CEUR-WS online proceedings.
	Oliver Kutz, Dominik Lücke, Till Mossakowski (2008). Heterogeneously Structured Ontologies: Integration, Connection, and Refinement. In Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, Vol. 90, CRPIT.
	Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanueal Normann (2008). The OWL in the CASL - Designing Ontologies Across Logics. In Catherine Dolbear, Alan Ruttenberg, Uli Sattler (Eds.), OWL: Experiences and Directions, 5th International Workshop (OWLED-08), No. 432. CEUR-WS.
	Oliver Kutz, Dominik Lücke, Till Mossakowski (2008). Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE. In First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08).
	T. Laue, T. Röfer (2008). SimRobot - Development and Applications. In H. B. Amor, J. Boedecker, O. Obst (Eds.), The Universe of RoboCup Simulators - Implementations, Challenges and Strategies for Collaboration. Workshop Proceedings of the International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR 2008).
	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.
	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.
	Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter (2008). Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. In Software Engineering 2008, Lecture Notes in Informatics. GI.
	David Aspinall, Ewen Denney, Christoph Lüth (2008). A Tactic Language for Hiproofs. In Mathematical Knowledge Management MKM 2008, Intelligent Computer Mathematics, Vol. 5144, pp. 339–354, Lecture Notes in Artificial Intelligence. Springer.
	Till Mossakowski, Anne Haxthausen, Don Sannella, Andrzej Tarlecki (2008). CASL, the Common Algebraic Specification Language. In D. Bjorner, M. Henson (Eds.), Logics of formal specification languages, pp. 241–298, Monographs in Theoretical Computer Science . Springer-Verlag Heidelberg.
	Till Mossakowski, Lutz Schröder, Sergey Goncharov (2008). A generic complete dynamic logic for reasoning about purity and effects. In J. Fiadeiro, P. Inverardi (Eds.), Fundamental Approaches to Software Engineering (FASE 2008), Vol. 4961, pp. 199–214, Lecture Notes in Computer Science. Springer.
	Dirk Pattinson, Lutz Schröder (2008). Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. In Roberto Amadio (Ed.), Foundations of Software Science and Computation Structures (FOSSACS 2008), Vol. 4962, pp. 66–80, Lecture Notes in Computer Science. Springer.
	Dirk Pattinson, Lutz Schröder (2008). Admissibility of Cut in Coalgebraic Logics. In J. Adamek, C. Kupke (Eds.), Coalgebraic Methods in Computer Science (CMCS 08), Vol. 203, pp. 221–241, Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam.
	T. Röfer (2008). Region-Based Segmentation with Ambiguous Color Classes and 2-D Motion Compensation. In U. Visser, F. Ribeiro, T. Ohashi, F. Dellaert (Eds.), RoboCup 2007: Robot Soccer World Cup XI, Vol. 5001, pp. 369–376, Lecture Notes in Artificial Intelligence. Springer.
	T. Röfer, T. Laue, A. Burchardt, E. Damrose, M. Fritsche, J. Müller, A. Rieskamp (2008). B-Human Team Description for RoboCup 2008. In L. Iocchi, H. Matsubara, A. Weitzenfeld, C. Zhou (Eds.), RoboCup 2008: Robot Soccer World Cup XII Preproceedings. RoboCup Federation.
	T. Röfer, T. Laue, A. Burchardt, E. Damrose, K. Gillmann, C. Graf, T. J. de Haas, A. Härtl, A. Rieskamp, A. Schreck, J.-H. Worch (2008). B-Human Team Report and Code Release 2008. Online. 72 pages.
	Lutz Schröder (2008). Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In Theoretical Computer Science, Vol. 390, pp. 230–247. Extends (Schröder 2005).
	Lutz Schröder (2008). Linearizability of Non-expansive Semigroup Actions on Metric Spaces. In Topology and its Applications, Vol. 155, pp. 1576–1579. Preliminary version appeared as DFKI Research Report RR-06-1, DFKI GmbH, Kaiserslautern, 2006.
	Hui Shi, Christian Mandel, Robert J. Ross (2008). Interpreting Route Instructions as Qualitative Spatial Actions. In T. Barkowsky, M. Knauff, G. Ligozat, D. R. Montello (Eds.), Spatial Cognition V, Vol. 4387, Lecture Notes in Computer Science. Springer Verlag, 14197 Berlin.
	Hui Shi, Bernd Krieg-Brückner (2008). Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. In International Journal of Software and Informatics, 2 (1), pp. 33–60.
	Hui Shi, Bernd Krieg-Brückner (2008). Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems. In KI Zeitschrift, Vol. 3, pp. 59–61.
	M. Wünstel, T. Röfer (2008). Multi-Modal Scene Interpretation. In S. Timpf (Ed.). Künstliche Intelligenz - Themenheft Räumliche Mobilität, pp. 69–71. Fachbereich KI der Gesellschaft für Informatik e.V., BöttcherIT Verlag.

2007 Back to top

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

2006 Back to top

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

2005 Back to top

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

2004 Back to top

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

2003 Back to top

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

2002 Back to top

	S. Autexier, T. Mossakowski (2002). Integrating HOLCASL into the Development Graph Manager MAYA. In A. Armando (Ed.), Frontiers of Combining Systems, 4th International Workshop, Vol. 2309, pp. 2–17, Lecture Notes in Computer Science. Springer Verlag, London.
	S. Autexier, D. Hutter, T. Mossakowski, A. Schairer (2002). The Development Graph Manager MAYA (System description). In H. Kirchner, C. Reingeissen (Eds.), Algebraic Methodology and Software Technology, 2002, Vol. 2422, pp. 495–502, Lecture Notes in Computer Science. Springer Verlag, London.
	J. Bredereke, A. Lankenau (2002). A Rigorous View of Mode Confusion. In Proc. of Safecomp 2002, 21st Int'l Conf. on Computer Safety, Reliability and Security, No. 2434, pp. 19–31, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	J. Bredereke, B.-H. Schlingloff (2002). An Automated. In Ina Schieferdecker, Hartmut König, Adam Wolisz (Eds.), Testing of Communicating Systems XIV Application to Internet Technologies and Services. Kluwer.
	J. Bredereke (2002). Maintaining Telephone Switching Software Requirements. In IEEE Communications Magazine, 40 (11), pp. 104–109.
	R. Brinkmann, R. Drechsler (2002). RTL-Datapath Verification using Integer Linear Programming. In Proceedings of IEEE VLSI Design'01 & Asia and South Pacific Design Automation Conference, Bangalore, pp. 741–746.
	R. Brinkmann, R. Drechsler (2002). RTL-Datapath Verification using Integer Linear Programming. In Bangalore (Ed.), IEEE VLSI Design'01 \& Asia and South Pacific Design Automation Conference, pp. 741–746.
	R. Brunn, U. Düffert, M. Jüngel, T. Laue, M. Lötzsch, S. Petters, M. Risler, T. Röfer, K. Spiess, A. Sztybryc (2002). GermanTeam 2001. In RoboCup 2001: Robot Soccer World Cup V, Vol. 2377, pp. 705–708, Lecture Notes in Artificial Intelligence. Springer.
	H.-D. Burkhard, U. Düffert, J. Hoffmann, M. Jüngel, M. Lötzsch, R. Brunn, M. Kallnik, N. Kuntze, M. Kunz, S. Petters, M. Risler, O. v. Stryk, N. Koschmieder, T. Laue, T. Röfer, K. Spiess, A. Cesarz, etc. (2002). GermanTeam RoboCup 2002. Online. 179 pages.
	Christian Mandel (2002). Trajektorienplanung und Trajektorienfolgeregelung im Konfigurationsraum nich-holonomer Fahrzeuge. DiplomaThesis.
	R. Drechsler (2002). Verifying Integrity of Decision Diagrams. In ÏNTEGRATION.
	R. Drechsler, W. Günther, S. Höreth (2002). Minimization of Word-level Decision Diagrams. In ÏNTEGRATION.
	R. Drechsler, D. Große (2002). Reachability Analysis for Formal Verification of SystemC. In Euromicro Symposium on Digital System Design (DSD'2002), Dortmund, pp. 337–340.
	R. Drechsler (2002). Formal Verification: Current Use and Future Perspectives. In IEEE Design & Test.
	R. Drechsler, W. Günther (2002). Em Towards One-Pass Synthesis.Dordrecht (Ed.). Kluwer Academic.
	R. Drechsler, N. Drechsler (2002). Evolutionary Algorithms in System Desig.David Goldberg (Ed.), The Kluwer International. Kluwer Academic.
	R. Drechsler. (2002). Verifying Integrity of Decision Diagrams. In INTEGRATION, the VLSI Journal, Vol. 32, pp. 61–75.
	R. Drechsler, W. Günther, S. Höreth (2002). Minimization of Word-level Decision Diagrams. In INTEGRATION, the VLSI Journal, Vol. 33, pp. 39–70.
	R. Drechsler, J. Römmler (2002). Implementation and Visualization of a BDD Package in JAVA. No. 219-228. GI/ITG/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und V, Tübingen.
	R. Drechsler. (2002). JADE: Implementation and Visualization of a BDD Package in JAVA. IEEE Design, Automation and Test in Europe, Paris. Designer's Forum.
	R. Drechsler, M. Kerttu, P. Lindgren, M. Thornton (2002). ow Power Optimization Techniques for BDD Mapped Circuits Using Temporal Correlation. 2002 International Workshop on System-on-Chip for Real-Time Applications, Banff.
	M. Kerttu, P. Lindgren, R. Drechsler, M. Thornton (2002). Low Power Optimization Technique for BDD Mapped Finite State Machines. International Workshop on Logic Synthesis (IWLS'2002), New Orleans.
	G. Fey, R. Drechsler (2002). Minimizing the Number of Paths in BDDs. International Workshop on Boolean Problems.
	R. Drechsler, S. Höreth (2002). Gatecomp: Equivalence Checking of Digital Circuits in an Industrial Environment. International Workshop on Boolean Problems, Freiberg.
	R. Drechsler (2002). m Complete BDDs for Fast and Efficient Equivalence Checking. Workshop on Computational Intelligence and Information Technologies. XXXVII International Scientific Conference on Information.
	D. Jankovic, R. Stankovic, R. Drechsler (2002). Efficient Calculation of Fixed-Polarity Polynomial ExpressionsEfficient Calculation of Fixed-Polarity Polynomial Expressions. In Multi-Valued Logic Functions, pp. 76–82. EEE International Symposium on Multi-Valued Logic (ISMVL'2002), Boston.
	S. Reda, R. Drechsler, A. Orailoglu (Eds.) (2002). On the Relation Between SAT and BDDs for Equivalence Checking. International Symposium on Quality of Electronic Design (ISQED 2002), San Jose.
	R. Drechsler, W. Günther. (2002). Towards One-Pass Synthesis. Kluwer Academic Publishers, Dordrecht, The Netherlands.
	A. Sikora, R. Drechsler (2002). Software-Engineering und Hardware-Design. Carl Hanser Verlag, München.
	R. Drechsler, N. Drechsler (2002). Evolutionary Algorithms in System Design. The Kluwer InternationalSeries on Genetic Algorithms and Evolutionary Algorithms. Kluwer Academic Publishers, Dordrecht, The Netherlands.
	D. Jankovíc, R. Stankoví c, R. Drechsler (2002). Tabular Techniques for MV Logic. In Advanced Computer Systems, pp. 433–448. Kluwer Academic Publisher.
	R. Drechsler (2002). Hardware-Modellierung mit Software-Erweiterungen. In J. Soldek, J. Pejas (Eds.), Advanced Computer Systems, pp. 177–204. Kluwer Academic Publisher.
	F. Schmiedle, W. Günther, R. Drechsler (2002). Dynamic Re-Encoding During MDD Minimization. In Multiple-Valued Logic - An International Journal, 8 (5-6), pp. 625–643.
	R. Drechsler (2002). Verifying Integrity of Decision Diagrams. In INTEGRATION, the VLSI Journal, 32 (1-2), pp. 41–59.
	R. Drechsler, W. Günther, S. Höreth (2002). Minimization of Word-level Decision Diagrams. In INTEGRATION, the VLSI Journal, 32 (1-2), pp. 39–70.
	R. Drechsler, M. Kerttu, P. Lindgren, M. Thornton (2002). Low Power Optimization Techniques for BDD Mapped Circuits Using Temporal Correlation. In Canadian Journal of Electrical and Computer Engineering.
	D.M. Miller, R. Drechsler (2002). On the Construction of Multi-Valued Decision Diagrams. In IEEE International Symposium on Multi-Valued Logic (ISMVL'2002), pp. 245–253.
	R. Drechsler (2002). Evaluation of Static Variable Ordering Heuristics for MDD Construction. In Boston (Ed.), IEEE International Symposium on Multi-Valued Logic (ISMVL'2002), Vol. 254-260.
	M. Thorton, R. Drechsler, D.M. Miller (2002). Multi-Output Timed Shannon Circuits. In Pittsburgh (Ed.), IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2002), pp. 47–52.
	M. Kerttu, P. Lindgren, M. Thornton, R. Drechsler (2002). Switching Activity Estimation for Finite State Machines for Low Power Synthesis (Poster). In Scottsdale (Ed.), IEEE International Symposium on Circuits and Systems (ISCAS'02).
	W. Townsend, M. Thornton, R. Drechsler, D.M. Miller (2002). Computing Walsh, Arithmetic and Reed-Muller Spectral Decision Computing Walsh, Arithmetic and Reed-Muller Spectral Decision. In IEEE Great Lakes Symposium on VLSI (GLSV'02), pp. 178–183.
	R. Drechsler, D. Große (2002). Reachability Analysis for Formal Verification of SystemC. In Euromicro Symposium on Digital System Design (DSD'2002), pp. 337–340.
	D. Jankoví c, R. Stankoví c, R. ^ (2002). Decision Diagrams Optimization Using Copy Properties. In Euromicro Symposium on Digital System Design (DSD\'2002), pp. 236–243.
	T. Eschbach, W. Günther, R. Drechsler, B. Becker (2002). Crossing Reduction by Windows Optimization. In 10th International Symposium on Graph Drawing (GD'2002.
	G. Fey, R. Drechsler (2002). Utilizing BDDs for disjoint SOP minimization. In IEEE The 45rd Midwest Symposium on Circuits and Systems (MWSCAS\'2002).
	G. Fey, R. Drechsler (2002). Minimizing the Number of Paths in BDDs. In 15th Symposium on Integrated Circuits and System Design, pp. 359–364.
	K. Englert, R. Drechsler, B. Becker. (2002). Verification of HDLs using Symbolic Set Representation (Poster). In GI/ITG/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen\'\', pp. 113–122.
	R. Drechsler, J. Römmler (2002). Implementation and Visualization of a (BDD) Package in (JAVA). In GI/ITG/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'', pp. 219–228.
	R. Drechsler (2002). JADE: Implementation and Visualization of a BDD Package in JAVA. In IEEE Design, Automation and Test in Europe (2002) - Designer's Forum, (p. 259). .
	M. Kerttu, P. Lindgren, R. Drechsler, M. Thornton (2002). Low Power Optimization Technique for BDD. In International Workshop on Logic Synthesis (IWLS\'2002).
	G. Fey, R. Drechsler (2002). Minimizing the Number of Paths in BDDs. In International Workshop on Boolean Problems, pp. 149–456.
	R. Drechsler, S. Höreth (2002). Gatecomp: Equivalence Checking of Digital Circuits in an Industrial Environment. In International Workshop on Boolean Problems, pp. 195–200.
	R. Drechsler (2002). Moderator of the Panel on ``System-on-Chip''.
	R. Drechsler (2002). Moderator of the Round Table on ``Formal Verification: Current Use and Future Presepctives''.
	Drechsler, W. Günther (2002). Identifikation von Korrespondenzen in Schaltungen durch Verwendung der Register-Transfer-Ebene.
	R. Drechsler, M. Kerttu, P. Lindgren, M. Thornton (2002). Low Power Optimization Techniques for BDD Mapped Circuits Using Temporal Correlation. In 2002 International Workshop on System-on-Chip for Real-Time Applications.
	R. Drechsler, W. Günther, T. Eschbach, L. Linhard, G. Angst (2002). Recursive Bi-Partitioning of Netlists for Large Number of Partitions. In Euromicro Symposium on Digital System Design (DSD'2002), pp. 38–44.
	Frank Drewes, Berthold Hoffmann, Mark Minas (2002). Context-Exploiting Shapes for Diagram Transformation. In Ewa Grabska, Zenon Kulpa (Eds.), Proc. European Workshop on Diagrammatics snd Design (EWDD'02). Bielsko College of Business and Computer Science.
	Frank Drewes, Berthold Hoffmann, Mark Minas (2002). Constructing Shapely Nested Graph Transformations. In Peter Knirsch, Hans-Jörg Kreowski (Eds.), Proc. Int'l Workshop on Applied Graph Transformation (AGT'02). Universite de Grenoble.
	Frank Drewes, Berthold Hoffmann, Detlef Plump (2002). Hierarchical Graph Transformation. In Journal of Computer and System Science, 64 (2), pp. 249–283.
	U. Düffert, M. Jüngel, T. Laue, M. Lötzsch, M. Risler, T. Röfer (2002). GermanTeam 2002. In G. A. Kaminka, P. U. Lima, R. Rojas (Eds.), RoboCup 2002: Robot Soccer World Cup VI Preproceedings. RoboCup Federation.
	K. Englert, R. Drechsler, B. Becker (2002). erification of HDLs using Symbolic Set Representation (Poster). GI/ITG/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Ve.
	W. Günther, R. Drechsler (2002). Minimization of Free BDDs. In INTEGRATION, the VLSI Journal, Vol. 32, pp. 41–59.
	W. Günther, R. Drechsler (2002). Minimization of Free BDDs. In INTEGRATION, the VLSI Journal, 32 (1-2), pp. 41–89.
	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.
	D. Jankovíc, R. Stankovíc, R. Drechsler. (2002). Tabular Techniques for MV Logic. In J. Soldek, J. Pejas (Eds.) (Eds.), Advanced Computer Systems, (p. 433-448,). . Kluwer Academic Publisher, Fachbuchverlag Leipzig.
	D. Jankovic, R. Stankovic, R. Drechsler (2002). Efficient Calculation of Fixed-Polarity Polynomial Expressions for Multi-Valued Logic Functions. In Boston (Ed.), IEEE International Symposium on Multi-Valued Logic (ISMVL\'2002), pp. 76–82.
	P. Johanssen, R. Drechsler (2002). Utilizing High-Level Information for Formal Hardware Verification. In J. Soldek, J. Pejas (Eds.), Advanced Computer Systems, pp. 419–431. Kluwer Academic Publisher.
	P. Johanssen, R. Drechsler (2002). Utilizing High-Level Information for Formal Hardware Verification. In Soldek, J. Pejas (Eds.), Advanced Computer Systems, pp. 419–431. Kluwer Academic Publisher.
	R. Klempien-Hinrichs (2002). Normal forms for context-free node-rewriting hypergraph grammars. In Mathematical Structures in Computer Science, Vol. 12, pp. 135–148.
	Ralf Kollmann, Martin Gogolla (2002). Metric-Based Selective Representation of UML Diagrams. In Tibor Gyimóthy, Fernando Brito e Abreu (Eds.), Proc. 6th European Conf. Software Maintenance and Reengineering (CSMR'02). IEEE, Los Alamitos.
	Ralf Kollmann, Petri Selonen, Eleni Stroulia, Tarja Systä, Albert Zündorf (2002). A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering. In Ëlizabeth Burd, Arie van Deursen (Eds.), Proc. 9th Working Conf. Reverse Engineering (WCRE'02). IEEE, Los Alamitos.
	H.-J. Kreowski (2002). A Sight-seeing Tour of the Computational Landscape of Graph Transformation. In W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing. Essays Dedicated to Grzegorz Rozenberg, Vol. 2300, pp. 119–137, Lecture Notes in Computer Science. Springer.
	E. Astesiano, M. Bidoit, B. Krieg-Brückner, H. Kirchner, P. D. Mosses, D. Sannella, A. Tarlecki (2002). CASL - the Common Algebraic Specification Language. In Theoretical Computer Science, Vol. 286, pp. 153–196.
	B. Krieg-Brückner (2002). MMiSS -- MultiMedia-Instruction in Safe and Secure Systems. In D. Hutter, W. Stephan (Eds.), Essays in Honor of Joerg H. Siekmann, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.
	S. Kuske, M. Gogolla, R.~Kollmann, H.-J. Kreowski (2002). An Integrated Semantics for UML Class, Object, and State Diagrams based on Graph Transformation. In M. Butler, K. Sere (Eds.), 3rd Int. Conf. Integrated Formal Methods (IFM'02). Springer, Berlin, LNCS.
	A. Lankenau (2002). The Bremen Autonomous Wheelchair 'Rolland': Self-Localization and Shared Control.
	A. Lankenau, T. Röfer (2002). Mobile Robot Self-Localization in Large-Scale Environments. In Proceedings of the IEEE International Conference on Robotics and Automation 2002 (ICRA-2002), pp. 1359–1364. IEEE.
	Neil Ghani, Christoph Lüth, Federico De Marchi (2002). Coalgebraic Monads. In Lawrence S. Moss (Ed.), Electronic Notes in Theoretical Computer Science, 65 (1), Electronic Notes in Theoretical Computer Science. Elsevier Science.
	Christoph Lüth, Neil Ghani (2002). Monads and Modularity. In Alessandro Armando (Ed.), 4th International Workshop on Frontiers of Combining Systems FroCos 2002, No. 2309, pp. 18–32, Lecture Notes in Artificial Intelligence. Springer Verlag.
	Christoph Lüth, Neil Ghani (2002). Composing Monads Using Coproducts. In International Conference on Functional Programming ICFP'02, pp. 133–144. ACM Press.
	Moratz, R., Tenbrink, T. (2002). Natural Language Instructions for Joint Spatial Reference between Naive Users and a Mobile Robot. In Proceedings of the 11th IEEE International Workshop on Robot and Human Interactive Communication.
	T. Mossakowski (2002). Relating CASL with Other Specification Languages: the Institution Level. In Theoretical Computer Science, Vol. 286, pp. 367–475.
	T. Mossakowski (2002). Heterogeneous development graphs and heterogeneous borrowing. In M. Nielsen, U. Engberg (Eds.), Foundations of Software Science and Computation Structures, Vol. 2303, pp. 326–341, Lecture Notes in Computer Science. Springer-Verlag.
	T. Mossakowski, B. Klin (2002). Institution Independent Static Analysis for CASL. In M. Cerioli, G. Reggio (Eds.), Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy, Vol. 2267, pp. 221–237, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (2002). Comorphism-based Grothendieck logics. In K. Diks, W. Rytter (Eds.), Mathematical foundations of computer science, Vol. 2420, pp. 593–604, Lecture Notes in Computer Science. Springer Verlag, London.
	J. Peleska, A. Tsiolakis (2002). Automated Integration Testing for Avionics Systems. In 3rd ICSTEST — International Conference on Software Testing.
	M. Perkowski, B. Falkowski, M. Chrzanowska-Jeske, R. Drechsler (2002). Efficient Algorithms for Creation of Linearly-independent Decision. In VLSI Design --- An International Journal of Custom-ChipDesign, Simulation, and Testing, Special Issue on Spectral Techniquesnd Decision Diagrams, 14 (1), pp. 25–52.
	M. Perkowski, B. Falkowski, M. Chrzanowska-Jeske, R. Drechsler (2002). Efficient Algorithms for Creation of Linearly-independent Decision Diagrams and their Mapping to Regular Layouts. In VLSI Design --- An International Journal of Custom-Chip Design, Simulation, and Testing, Special Issue on Spectral Techniques and Decision Diagrams, 14 (1), pp. 35–52.
	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.
	S. Reda, R. Drechsler, A. Orailoglu (2002). On the Relation Between SAT and BDDs for Equivalence Checking. In San Jose (Ed.), International Symposium on Quality of Electronic Design (ISQED 2002), pp. 394–399.
	Mark Richters (2002). A Precise Approach to Validating UML Models and OCL Constraints. Universität Bremen.
	Markus Roggenbach, Till Mossakowski (2002). Methodological guidelines (for CASL). CoFI note M-6.
	T. Röfer (2002). Using Histogram Correlation to Create Consistent Laser Scan Maps. In Proceedings of the IEEE International Conference on Robotics Systems (IROS-2002), pp. 625–630. EPFL, Lausanne, Switzerland.
	T. Röfer, A. Lankenau (2002). Route-Based Robot Navigation. In C. Freksa (Ed.). Künstliche Intelligenz - Themenheft Spatial Cognition, pp. 29–31. Fachbereich 1 der Gesellschaft für Informatik e.V., arenDTaP.
	F. Schmiedle, N. Drechsler, D. Große, R. Drechsler (2002). Heuristic Learning based on Genetic Programming. In Genetic Programming and Evolvable Machines, Vol. 3, pp. 363–388.
	F. Schmiedle, W. Günther, R. Drechsler (2002). Dynamic Re-Encoding During MDD Minimization. In Multiple-Valued Logic - An International Journal, 8 (5-6), pp. 25–643.
	F. Schmiedle, N. Drechsler, D. Große, R. Drechsler (2002). Heuristic Learning based on Genetic Programming. In Genetic Programming and Evolvable Machines, Vol. 3, pp. 363–388.
	F. Schmiedle, N. Drechsler, D. Große, R. Drechsler (2002). Heuristic Learning based on Genetic Programming. In Genetic Programming and Evolvable Machines, Vol. 3, pp. 363–388.
	Lutz Schröder, Till Mossakowski (2002). HasCASL: towards integrated specification and development of functional programs. In Hélène Kirchner, Christophe Ringeissen (Eds.), Algebraic Methodology And Software Technology (AMAST 2002), Vol. 2422, pp. 99–116, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder (2002). Monads on composition graphs. In Applied Categorical Structures, Vol. 10, pp. 221–236.
	Lutz Schröder, Paulo Mateus (2002). Universal aspects of probabilistic automata. In Math. Struct. Comput. Sci., Vol. 12, pp. 481–512.
	A. Sikora, R. Drechsler (2002). Software-Engineering und Hardware-Design. Carl Hanser Verlag, München.
	A. Sikora, R. Drechsler (2002). Software-Engineering und Hardware-Design. Carl Hanser Verlag, München.
	M.A. Thornton, R. Drechsler, W. Günther (2002). Logic Circuit Equivalence Checking Using Haar Spectral. In VLSI Design --- An International Journal of Custom-Chip, 14 (1), pp. 53–64.
	M. Thorton, R. Drechsler, D.M. Miller (2002). Multi-Output Timed Shannon Circuits. In Proceedings of IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2002), Pittsburgh, pp. 47–52.
	M. Wünstel, H. Schumann (2002). Automatic 3D-Reconstruction of the Ocular Fundus from Stereo Images. In CARS 2002 Computer-Assisted Radiology and Surgery. Springer-Verlag Heidelberg. Nominiert für den Best Paper Award des INI-Graphics Net 2003..
	J. Zhang, K. Huebner (2002). Using Symmetry as a Feature in Panoramic Images for Mobile Robot Applications. In Proceedings of Robotik 2002, Vol. 1679, pp. 263–268, VDI-Berichte.
	Paul Ziemann, Martin Gogolla (2002). An Extension of OCL with Temporal Logic. In Jan Jürjens (Ed.), Proc. UML'2002 Workshop Critical System Development CSD 2002. Technical Report, Technical University of Munich.

2001 Back to top

	K. Bayarou (2001). Entwicklung einer Methode zur parallelen verteilten ereignisgesteuerten Simulation von stochastischen Petri Netzen.
	J. Bredereke, H. Schlingloff (2001). Specification Based Testing of the UMTS Protocol Stack. In Proc. 14th Int. Software & Internet Quality Week - QW2001. SR (Software Research Institute), San Francisco, CA.
	J. Bredereke (2001). A Tool for Generating Specifications from a Family of Formal Requirements. In Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee (Eds.), Formal Techniques for Networked and Distributed Systems, pp. 319–334. Kluwer Academic Publishers, Dordrecht, The Netherlands.
	J. Bredereke (2001). Generating Specifications from a Family of Formal Requirements (Zusammenfassung). In S. Jähnichen, J. Kramer, M. Lemoine, M. Wirsing (Eds.), Can Formal Methods Cope with Software-Intensive Systems?, No. 308, Dagstuhl-Seminar-Report.
	J. Bredereke (2001). Ein Werkzeug zum Generieren von Spezifikationen aus einer Familie formaler Anforderungen. In S. Fischer, H. W. Jung (Eds.), Formale Beschreibungstechniken - 11. GI/ITG-Fachgespr§auml;ch.
	H.-D. Burkhard, U. Düffert, M. Jüngel, M. Lötzsch, N. Koschmieder, T. Laue, T. Röfer, K. Spiess, A. Sztybryc, R. Brunn, M. Risler, O. v. Stryk (2001). GermanTeam RoboCup 2001. Online. 41 pages.
	Giorgio Busatto, Berthold Hoffmann (2001). Comparing Notions of Hierarchical Graph Transformation. In Electronic Notes in Theoretical Computer Science, 50 (3).
	B. Buth (2001). PA-Oriented Metrication During the Development Lifecycle. In Proceedings of SQM'2001 - Software Quality Management, Bonn. SQS.
	B. Buth (2001). Formal and Semi-Formal Methods for the Analysis of Industrial Control Systems.
	F. Drewes, S. Ewert, R. Klempien-Hinrichs, H.-J. Kreowski (2001). Computing Raster Images from Grid Picture Grammars. In S. Yu, A. Päun (Eds.), Proc. 5th Intl. Conference on Implementation and Application of Automata (CIAA 2000), Vol. 2088, pp. 113–121, Lecture Notes in Computer Science. Springer.
	F. Drewes, R. Klempien-Hinrichs (2001). TREEBAG. In S. Yu, A. Päun (Eds.), Proc. 5th Intl. Conference on Implementation and Application of Automata (CIAA 2000), Vol. 2088, pp. 329–330, Lecture Notes in Computer Science. Springer.
	F. Drewes, H.-J. Kreowski (2001). Reading Words in Graphs Generated by Hyperedge Replacement. In C. Martin-Vide, V. Mitrana (Eds.), Where Mathematics, Computer Science, Linguistics and Biology Meet, pp. 243–252. Kluwer Academic Publishers.
	K. Fischer, R. Moratz (2001). From Communicative Strategies to Cognitive Modelling. In Proceedings of the Workshop on Epigenic Robotics, Lund.
	U. Frese, G. Hirzinger (2001). Simultaneous Localization and Mapping - A Discussion. In Proceedings of the IJCAI Workshop on Reasoning with Uncertainty in Robotics, pp. 17–26. (read the Autonomous Robots paper instead).
	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.
	M. Gogolla (2001). Formal Methods versus UML's OCL. In S. Jähnichen, J. Kramer, M. Lemoine, M. Wirsing (Eds.), Can Formal Methods Cope with Software-Intensive Systems, pp. 19–20. Dagstuhl-Seminar-Report~308.
	M. Gogolla (2001). Using OCL for Defining Precise, Domain-Specific UML Stereotypes. In Äybuke Aurum, Ross Jeffery (Eds.), Proc. 6th Australian Workshop on Requirements Engineering~(AWRE'2 001), pp. 51–60. Centre for Advanced Software Engineering Research~(CAESER), University of New S.
	M. Gogolla, M. Richters (2001). Expressing UML Class Diagrams Properties with OCL. In Tony Clark, Jos Warmer (Eds.), Advances in Object Modelling with the OCL, pp. 86–115. Springer, Berlin, Lecture Notes in Computer Science 2263.
	Berthold Hoffmann (2001). Shapely Hierarchical Graph Transformation. In Proc. IEEE Symposia on Human-Centric Computing Languages and Environments, pp. 30–37. IEEE Computer Press.
	Berthold Hoffmann, Mark Minas (2001). Transformation of Shaped Nested Graphs and Diagrams. In Electronic Notes in Theoretical Computer Science, 59 (4).
	Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski (2001). Checking amalgamability conditions for CASL architectural specifications. In Jiri Sgall, Ales Pultr, Petr Kolman (Eds.), Mathematical Foundations of Computer Science, Vol. 2136, pp. 512–523, Lecture Notes in Computer Science. Springer, Berlin.
	I. J. Timm, P. Knirsch, O. Herzog., H. K. Tönshoff, P.-O. Woelk (2001). Mass Customization als Chance für KMU — Kooperative Agenten für die Informationslogistik. In H.-J. Sebastian,, T. Gr (Eds.), Logistikmanagement —- Supply Chain Management and e-Business, pp. 401–409. B. G. Teubner Verlag.
	R. Kollmann, M. Gogolla (2001). Capturing Dynamic Program Behaviour with UML Collaboration Diagrams. In P. Sousa, J. Ebert (Eds.), Proc. 5th European Conference on Software Maintenance and Reengineering, pp. 58–67. IEEE, Los Alamitos.
	R. Kollmann, M. Gogolla (2001). Selektive Darstellung von Programmstrukturen mit UML. In J. Ebert, F. Lehner (Eds.), Proc. 3rd Workshop on Software-Reengineering (WSR), Bad Honnef, Germany. Universität Koblenz. Technischer Bericht.
	R. Kollmann, M. Gogolla (2001). Application of UML Associations and Their Adornments in Design Recovery. In Proc. 8th Working Conference on Reverse Engineering (WCRE), pp. 81–90. Ï, EEE.
	H.-J.Kreowski, G. Busatto, S. Kuske (2001). GRACE as a unifying approach to graph-transformation-based specification. In Proc. Uniform Approaches to Graphical Process Specification Techniques, Vol. 44, Electronic Notes in Theoretical Computer Science. Elsevier Science.
	S. Kuske (2001). A Formal Semantics of UML State Machines Based on Structured Graph Transformation. In Martin Gogolla, Cris Kobryn (Eds.), UML 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools, Vol. 2185, pp. 241–256, Lecture Notes in Computer Science.
	A. Lankenau (2001). Avoiding Mode Confusion in Service-Robots. In M. Mokhtari (Ed.), Integration of Assistive Technology in the Information Age, Proc. of the 7th Int. Conf. on Rehabilitation Robotics, pp. 162–167. IOS Press.
	A. Lankenau, T. Röfer (2001). Selbstlokalisation in Routengraphen. In P. Levi, M. Schanz (Eds.), Autonome Mobile Systeme 2001, pp. 157–163, Informatik aktuell. Springer.
	A. Lankenau, T. Röfer (2001). A Safe and Versatile Mobility Assistant. In Reinventing the Wheelchair. IEEE Robotics and Automation Magazine, No. 7, pp. 29–37.
	A. Lindow, M. Gogolla, M. Richters (2001). Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen. In K. Bauknecht, W. Brauer, T. Mück (Eds.), Proc. GI Jahrestagung (GI'2001), Band 1, Workshop Integrating Diagrammatic and Formal Specification Techniques, pp. 662–669. Austrian Computer Society, Wien.
	O. Meyer (2001). Structural Decomposition of Timed CSP and its Application in Real-Time Testing.
	Mark Minas , Berthold Hoffmann (2001). Specifying and Implementing Visual Process Modeling Languages with DIAGEN. In Electronic Notes in Theoretical Computer Science, 44 (4).
	R. Moratz, K. Fischer, T. Tenbrink (2001). Cognitive Modelling of Spatial Reference for Human-Robot Interaction. In International Journal On Artificial Intelligence Tools, 10 (4), pp. 67–91.
	R. Moratz, B. Nebel (2001). Facetten der Kognitiven Robotik - Workshop-Bericht. In K"unstliche Intelligenz.
	T. Mossakowski, S. Autexier, D. Hutter (2001). Extending Development Graphs With Hiding. In H. Hußmann (Ed.), Fundamental Approaches to Software Engineering, Vol. 2029, pp. 269–283, Lecture Notes in Computer Science. Springer Verlag, London.
	J. Peleska (2001). Testing Safety-Critical Embedded Systems - Theoretical Results Applied in Practice. In Proceedings of the 2nd ICS-TEST International Conference on Software Testing, Bonn.
	M. Richters, M. Gogolla (2001). OCL - Syntax, Semantics and Tools. In T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Vol. 2263, pp. 43–69. Springer, Berlin, Lecture Notes in Computer Science.
	M. Richters (2001). A Precise Approach to Validating UML Models and OCL Constraints.
	Markus Roggenbach, Lutz Schröder (2001). Towards Trustworthy Specifications I: Consistency Checks. In Maura Cerioli, Gianna Reggio (Eds.), Recent Trends in Algebraic Specification Techniques, 15th International Workshop, WADT 2001, Vol. 2267, Lecture Notes in Computer Science. Springer, Berlin.
	T. Röfer (2001). Konsistente Karten aus Laser Scans. In P. Levi, M. Schanz (Eds.), Autonome Mobile Systeme 2001, pp. 171–177, Informatik aktuell. Springer.
	T. Röfer (2001). Building Consistent Laser Scan Maps. In Proceedings of the 4th European Workshop on Advanced Mobile Robots (Eurobot 2001), Vol. 86, pp. 83–90. Lund University Cognitive Studies.
	Holger Schlingloff (2001). Partial State Space Analysis of Safety-Critical Systems. Monographs of the Bremen Institute of Safe Systems (BISS). Universität Bremen, Institut für sichere Systeme.
	Lutz Schröder (2001). Categories: a free tour. In Austin Melton, Jürgen Koslowski (Eds.), Categorical Perspectives, pp. 1–27. Birkhäuser, Basel.
	Lutz Schröder (2001). Traces of Epimorphism classes. In Quaestiones Mathematicae, Vol. 24, pp. 193–200.
	Lutz Schröder (2001). Life without the Terminal Type. In Laurent Fribourg (Ed.), Computer Science Logic, Vol. 2142, pp. 429–442, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder, Till Mossakowski, Piotr Hoffman, Bartek Klin, Andrzej Tarlecki (2001). Semantics of Architectural Specifications in CASL. In Heinrich Hußmann (Ed.), Fundamental Approaches to Software Engineering, Vol. 2029, pp. 253–268, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder, Till Mossakowski, Andrzej Tarlecki (2001). Amalgamation via enriched CASL signatures. In Fernando Orejas, Paul Spirakis, Jan van Leeuwen (Eds.), International Colloquium on Automata, Languages and Programming (ICALP 2001), Vol. 2076, pp. 993–1004, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder, Horst Herrlich (2001). Free factorizations. In Applied Categorical Structures, Vol. 9, pp. 571–593.
	Karsten Sohr (2001). Die Sicherheitsaspekte von mobilem Code. Universität Marburg.
	A. Tsiolakis (2001). Integrating Model Information in UML Sequence Diagrams. In Proc. GT-VMT 2001 — a Satellite Workshop of ICALP 2001, 50 (3), pp. 268–276, Electronic Notes in Theoretical Computer Science.
	I.J.Timm, P.-O. Woelk, P. Knirsch, H.K. Tönshoff, O. Herzog (2001). Flexible Mass Customisation: Managing its Information Logistics Using Adaptive Co-operative Multiagent Systems. In K.S. Pawar, M. Muffatto (Eds.), Logistics and the Digital Economy. Proceedings of the 6th International Symposium on Logistics, Salzburg, Austria, pp. 227–232.
	M. Wünstel, H. Schumann (2001). Glaucad - Glaucoma Prevention by Computer Aided Diagnostics. In Computer Graphik topics, Reports des INI-GraphicsNet, No. 6, pp. 22–23.
	J. Zhang, K. Huebner, A. Knoll (2001). Learning based Situation Recognition by Sectoring Omnidirectional Images for Robot Localisation. In Proceedings of the IEEE Workshop on Omnidirectional Vision.
	B. Zhou, T. Yoneda, H. Schlingloff (2001). Conformance and Mirroring for Timed Asynchronous Circuits. In Proc. 7th Asia South Pacific Design Automation Conference 2001 (ASP-DAC2001). JESA (Japan Electronics Show Association), Yokohama, Japan.

2000 Back to top

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

1999 Back to top

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

1998 Back to top

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

1997 Back to top

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

1996 Back to top

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

1995 Back to top

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

1994 Back to top

	M. Fröhlich, M. Werner (1994). The Graph Visualization System daVinci - A User Interface for Applications. No. 5/94. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	Berthold Hoffmann (1994). Memoization for Term (Hypergraph) Rewriting. In Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg (Eds.), Preliminary Proceedings of the 5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg, VA, pp. 195–200.
	B. Krieg-Brückner (Hrsg.) (1994). Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software); Band 2. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	Bernd Krieg-Brückner (Hrsg.) (1994). Graduiertenkolleg Raumorientierung und Handlungsorganisation Autonomer Systeme an der Universität Bremen, Berichte der Arbeitsgruppen. Universität Bremen; Zentrum für Kognitionswissenschaften.
	B. Krieg-Brückner, W. Menzel (1994). System Architecture Framework for KORSO. In B. Krieg-Brückner (Ed.), Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software), No. 1/94, Informatik Bericht. ISSN 0722-8996. Universität Bremen.
	B. Krieg-Brückner, J. Liu, H. Shi, B. Wolff (1994). Towards Correct, Efficient and Reusable Transformational Developments (extended version). In B. Krieg-Brückner (Ed.), Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software), No. 1/94, Informatik Bericht. ISSN 0722-8996. Universität Bremen.
	T. Röfer (1994). VierLING - Quadruped with Integrated Neural Balance Control. In M. Marinaro, P. Morasso (Eds.), Proceedings of the International Conference on Artificial Neural Networks (ICANN-94), pp. 1311–1314. Springer.
	T. Röfer (1994). VierLING - Vierbeinige Laufmaschine mit Integrierter Neuronaler Gleichgewichtssteuerung.B. Krieg-Brückner, G. Roth, H. Schwegler (Eds.), No. 3/94, ZKW Bericht. Zentrum für Kognitionswissenschaften. Universität Bremen.
	Hui Shi (1994). Extended Matching with Applications to Program Transformation. Universität Bremen.
	H. Shi, B. Wolff (1994). A Finitary Matching Algorithm for Constructor-Based Theories. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	H. Shi, B. Wolff (1994). Second-Order Matching with Matching Combinators. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	H. Shi (1994). Benutzer-Schnittstelle und -Interaktion für die HK-Untersuchung. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	U. Siems, C. Herwig, T. Röfer (1994). SimRobot, ein System zur Simulation sensorbestückter Agenten in einer dreidimensionalen Umwelt.B. Krieg-Brückner, G. Roth, H. Schwegler (Eds.), No. 1/94, ZKW Bericht. Zentrum für Kognitionswissenschaften. Universität Bremen.
	B. Wolff, H. Shi (1994). A Calculus of Transformation. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.

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.
	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.
	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.
	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.
	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.
	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.
	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.
	T. Röfer (1993). VierLING - Vierbeinige Laufmaschine mit Integrierter Neuronaler Gleichgewichtssteuerung. Universität Bremen. Diplomarbeit.

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.
	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.
	B. Krieg-Brückner (1992). ESPRIT vereint Europa. In Impulse aus der Forschung, Universität Bremen, Vol. 13, pp. 9–12.
	T. Mossakowski (1992). Spezifizierbarkeit und Berechenbarkeit parametrischer partieller Datentypen. Diploma thesis, Universität Bremen.
	O. Traynor, J. Liu, B. Krieg-Brückner (1992). Knowledge-Based Transformational Programming. In In Proc. 4th International Conf. on Software Engineering and Knowledge Engineering, Capri, Italy.

1991 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.
	M. Fröhlich, M. Werner (1991). Grafische Darstellung strukturierter Objekte. Master Thesis.
	H. Herrlich, T. Mossakowski, G. E. Strecker (1991). Algebra $cup$ Topology. In H. Herrlich, H.--E. Porst (Eds.), Category Theory at Work, Vol. 137--148. Heldermann Verlag, Berlin.
	Berthold Hoffmann, Detlef Plump (1991). Implementing Term Rewriting by Jungle Evaluation. In RAIRO Theoretical Informatics and Applications, 25 (5), pp. 445–472.
	B. Krieg-Brückner, D. Plump (eds.) (1991). COMPASS, a COMPrehensive Algebraic approach to System Specification and development (ESPRIT Basic Research Working Group 3264). Final Report.. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	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.
	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.
	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.

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.
	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.
	B. Krieg-Brückner (1990). PROgram development by SPECification and TRAnsformation. In Baader (Ed.), Werkzeuge der Software-Verifikation.
	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).

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.
	B. Krieg-Brückner (ed.) (1989). COMPASS, a COMPrehensive Algebraic approach to System Specification and development: Objectives, State of the Art, References. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	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.
	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.
	H. Shi (1989). A Semantic Resolution Algorithm for Temporal Logic. In Proceedings of International Symposium for Young Computer Professionals, 1989.

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.
	Berthold Hoffmann, Detlef Plump (1988). Jungle Evaluation for Efficient Term Rewriting. In Algebraic and Logic Programming, No. 343, pp. 191–203, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	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.
	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.

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.
	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.
	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.
	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.
	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.
	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.
	B. Krieg-Brückner, B. Hoffmann, H. Ganzinger, M. Broy, R. Wilhelm, U. Möncke, B. Weisgerber, A.D. McGettrick, I.G. Campbell and G. Winterstein (1987). PROgram Development by SPECification and TRAnsformation. In Proc. of the ESPRIT Conference 1986 (Results and Achievements), pp. 301–312. North Holland.
	D.C. Luckham, F.W. von Henke, B. Krieg-Brückner, O. Owe (1987). Anna, a Language for Annotating Ada Programs: Reference Manual. No. 260, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	H. Shi (1987). A Semantic Resolution Algorithm for Temporal Logic. Master Thesis.

1986 Back to top

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

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.
	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.
	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.

1984 Back to top

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

1983 Back to top

	Berthold Hoffmann (1983). Compiler Generation: From Language Descriptions to Abstract Compilers. TU Berlin. Dissertation.
	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. Ada Companion Series. American National Standards Institute, Washington.
	J.D. Ichbiah, B. Krieg-Brückner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1983). Reference Manual for the Ada Programming Language, ANSI/MIL-STD-1815A-1983. In M.W. Rogers (Ed.), The Programming Language Ada: Language, Compilers, Bibliography, Informatik Fachberichte. North Holland.
	B. Krieg-Brückner (1983). Consistency Checking in Ada and Anna: a Transformational Approach. In Ada LETTERS, No. 3:2, pp. 46–54.

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.
	Berthold Hoffmann (1982). Using Abstract Data Types in Two-Level Grammars: A Case Study. In Proc. 3rd Compiler-Compiler Workshop, 7th GI Conf. on Programming Languages and Program Development, pp. 105–119.

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. Technische Universität München; Institut für Informatik.
	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.
	Berthold Hoffmann, Ilse-Renate Schmiedecke (1981). A Parsing-Oriented Derivation Model for Two-Level Grammars based on Affix-Decorated Parse Trees. No. 81-2. Fachbereich Informatik, Technische Universität Berlin. Technical Report.
	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.
	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.

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.
	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.
	V.D. Donzeau-Gouge, J.-C. Heliard, G. Kahn, B. Krieg-Brückner, B. Lang (1980). Formal Definition of the Ada Programming Language. Honeywell Inc., CII Honeywell Bull and INRIA, Le Chesnay. Preliminary Version.
	Berthold Hoffmann, Ilse-Renate Schmiedecke (1980). Multi-Pass Parsing for Two-Level Grammars: A Mathematical Approach. In P. Dembinski (Ed.), Mathematical Foundations of Computer Science (MFCS), No. 88, pp. 275–290, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	J.D. Ichbiah, B. Krieg-Brückner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1980). Reference Manual for the Ada Programming Language: Proposed Standard Document. No. 008-000-00354-8, Lecture Notes in Computer Science. Elsevier Science.
	B. Krieg-Brückner, D.C. Luckham (1980). Anna: Towards a Language for Annotating Ada Programs. In ACM SIGPLAN Notices, No. 15, pp. 128–138.

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.
	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.
	Helmut Franzen, Berthold Hoffmann (1979). Automatic Determination of Data Flow in Extended Affixgrammars. In K.H. Böhling, P.P. Spies (Eds.), 9. GI-Jahrestagung, Bonn, No. 19, pp. 176–193, Informatik Fachberichte. Springer-Verlag, D-69121 Heidelberg, Germany.
	Helmut Franzen, Berthold Hoffmann, Ilse-Renate Schmiedecke (1979). Using Two-Level Language Description for Compiler Generation. In W. Henhapl (Ed.), 2nd Compiler-Compiler Workshop. Technical Report 76-24, Fachbereich Informatik, TH Darmstadt.
	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.

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.
	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.
	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.
	B. Krieg-Brückner (1978). Concrete and Abstract Specification and Program Development by Transformation. Technische Universität München; Institut für Informatik. Dissertation.

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. Technische Universität München; Institut für Informatik.
	Helmut Franzen, Berthold Hoffmann, Bernhard Pohl, Ilse-Renate Schmiedecke (1977). The EAGLE Parser Generator: An Experimental Step towards a Practical Compiler Compiler Using Two-Level Grammars. In Informal Algol Implementors Interchange (5th III), pp. 397–420.
	B. Krieg-Brückner (1977). Prevention of Side-Effects from Functions. In Machine Oriented Languages Bulletin, No. 6.

1976 Back to top

Helmut Franzen, Berthold Hoffmann, Ilse-Renate Petersen (1976). Ein Parser-Generator für erweiterte Affixgrammatiken. No. 76-24. Fachbereich Informatik, TU Berlin.

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.
	W. Hesse, F. Geiselbrechtinger, B. Krieg, H. Scheidig (1974). Report on the Programming Language L0. Technische Universität München; Institut für Informatik.
	B. Krieg (1974). Increasing the Flexibility and Reliability of the Class Concept. Technische Universität München; Institut für Informatik.
	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.
	B. Krieg (1974). A Class of Recursive Coroutines. In Proc. IFIP Congress 74 (Stockholm), pp. 408–412. North Holland.

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.

1972 Back to top

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

1971 Back to top

B. Krieg (1971). Formal Definition of the Block Concept and some Implementation Models. Cornell University. Master's Thesis.

no year specified Back to top

	R. Drechsler. Complete BDDs for Fast and Efficient Equivalence Checking. In Workshop on Computational Intelligence and Information Technologies, pp. 741–744, XXXVII International Scientific Conference on Information.
Show selected entries in BibTex Format

Subsequently you can find an archive of publications which have not yet been inserted into our new database.

Author: Holger Schlingloff

BISS

Last updated: January 6, 2003