BISS Publikationen

Springe zu Jahr:  noch nicht erschienen   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   kein Jahr angegeben 

noch nicht erschienen     nach oben

	Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark. Adaptive Star Grammars and Their Languages. In Theoretical Computer Science, (p. 41). . Accepted for publication.
	Pérez, Javier, Crespo, Yania, Hoffmann, Berthold, Mens, Tom. A Case Study to Evaluate the Suitability of Graph Transformation Tools for Program Refactoring. In International Journal on Software Tools for Technology Transfer. Accepted for publication..
	B. Krieg-Brückner, T. Röfer, H. Shi, B. Gersdorf. Mobility Assistance in the Bremen Ambient Assisted Living Lab. In J. Nehmer, U. Lindenberger, E. Steinhagen-Thiessen (Hrsg.). 2009 Special Section: Technology and Aging: Integrating Psychological, Medical, and Engineering Perspectives. Gerontology: Regenerative and Technological Gerontology. Karger.
	Stefan Zickler, Tim Laue, Oliver Birbach, Mahisorn Wongphati, Manuela Veloso. SSL-Vision: The Shared Vision System for the RoboCup Small Size League. In Jacky Baltes, Michail G. Lagoudakis, Tadashi Naruse, Saeed Shiry (Hrsg.), RoboCup 2009: Robot Soccer World Cup XIII, Lecture Notes in Artificial Intelligence. Springer.
	Till Mossakowski. Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods. In Theoretical Computer Science. To appear.
	Lutz Schröder, Dirk Pattinson. Rank-1 modal logics are coalgebraic . In Journal of Logic and Computation. In print. Extends (Schröder and Pattinson STACS 2007).
	M. Wünstel, T. Röfer. Feature Based Registration of Range Images in Domestic Environments. In Computational Imaging and Vision. Kluwer Academic Publishers, Dordrecht, The Netherlands.

2009     nach oben

	Mihai Codescu (2009). Generalized Theoroidal Institution Comorphisms. In Andrea Corradini, Ugo Montanari (Hrsg.), WADT 2008, Band 5486, S. 88–101, Lecture Notes in Computer Science. Springer.
	Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski (2009). The VSE Refinement Method in HETS. In K. Breitman, A. Cavalcanti (Hrsg.), ICFEM 2009, Band 5885, Lecture Notes in Computer Science. Springer.
	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.
	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 (Hrsg.), 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 (Hrsg.), Specification, Transformation, Navigation -- Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday, S. 152–167. Sichere Kognitive Systeme, DFKI Bremen.
	Drewes, Frank, Habel, Annegret, Hoffmann, Berthold, Plump, Detlef (Hrsg.) (2009). Manipulation of Graphs, Algebras and Pictures. Universität Bremen.
	Hoffmann, Berthold (2009). Conditional Adaptive Star Grammars. In Manipulation of Graphs, Algebras, Pictures (Hrsg.), Manipulation of Graphs, Algebras and Pictures, S. 171–189.
	Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz (2009). Formal Management of CAD/CAM Processes. In Ana Cavalcanti, Dennis Dams (Hrsg.), Formal Methods (FM 2009), Band 5850, S. 223–238, Lecture Notes in Computer Science. Springer.
	B. Krieg-Brückner, H. Shi, 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.
	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 (Hrsg.), Proceedings of the Fourth Workshop on Humanoid Soccer Robots in conjunction with the 2009 IEEE-RAS International Conference on Humanoid Robots.
	Tim Laue, Matthias Hebbel (2009). Automatic Parameter Optimization for a Dynamic Robot Simulation. In Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou (Hrsg.), RoboCup 2008: Robot Soccer World Cup XII, Nr. 5399, S. 121–132, Lecture Notes in Artificial Intelligence. Springer.
	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 (Hrsg.), 4th European Conference on Mobile Robots (ECMR 2009).
	C. Mandel, T. Lüth, T. Laue, T. Röfer, A. Gräser, B. Krieg-Brückner (2009). Navigating a Smart Wheelchair with a Brain-Computer Interface Interpreting Steady-State Visual Evoked Potentials. In Ning Xi, W. R. Hamel (Hrsg.), Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, S. 1118–1125. IEEE.
	Bernhard Graimann, Brendan Allison, Christian Mandel, Thorsten Lüth, Diana Valbuena, Axel Gräser (2009). Non-invasive Brain-Computer Interfaces for Semi-autonomous Assistive Devices. In Robust Intelligent Systems. Springer Verlag, London.
	Till Mossakowski, Andrzej Tarlecki, Razvan Diaconescu (2009). What is a logic translation?. In Logica Universalis, 3 (1), S. 95–124. Winner of the universal logic 2007 contest..
	Till Mossakowski, Andrzej Tarlecki (2009). Heterogeneous Logical Environments for Distributed Specifications. In Andrea Corradini, Ugo Montanari (Hrsg.), WADT 2008, Band 5486, (p. 266–289). , Lecture Notes in Computer Science. Springer.
	Till Mossakowski (2009). On Teaching Logic and Algebraic Specification. In Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump (Hrsg.), Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, S. 269–286.
	Reinhard Moratz, Dominik Lücke, Till Mossakowski (2009). Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects. In CoRR. 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 (Hrsg.), RoboCup 2008: Robot Soccer World Cup XII, S. 591–601, Lecture Notes in Artificial Intelligence. Springer.
	T. Röfer, C. Mandel, T. Laue (2009). Controlling an Automated Wheelchair via Joystick/Head-Joystick Supported by Smart Driving Assistance. In Proceedings of the 2009 IEEE 11th International Conference on Rehabilitation Robotics, S. 743–748.
	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 (Hrsg.), 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.
	Lutz Schröder, Dirk Pattinson (2009). PSPACE Bounds for Rank-1 Modal Logics. In ACM Transactions on Computational Logic, 10 (2:13), S. 1–33.
	Lutz Schröder, Till Mossakowski (2009). HasCASL: Integrated Higher-Order Specification and Program Development. In Theoretical Computer Science, 410 (12-13), S. 1217–1260.

2008     nach oben

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

2007     nach oben

	John Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo, Till Mossakowski (2007). Ontological Modularity and Spatial Diversity. In Spatial Cognition and Computation, 7 (1), S. 97–128.
	U. Frese (2007). Efficient 6-DOF SLAM with Treemap as a Generic Backend. In Proceedings of the Internation Conference on Robotics and Automation, Rome.
	Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe, Lutz Schröder (2007). An Institutional View on Categorical Logic. In Int J Software Informatics, 1 (1), S. 129–152.
	K. Huebner (2007). Object Description and Decomposition by Symmetry Hierarchies. In V. Skala (Hrsg.), WSCG 2007 Short Paper Proceedings, S. 125–132. UNION Agency - Science Press, Plzen, Czech Republic.
	Michael Kohlhase, Achim Mahnke, Christine Müller (2007). Managing Variants in Document Content and Narrative Structures. In Alexander Hinneburg (Hrsg.), Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings.
	Oliver Kutz, Till Mossakowski (2007). Modules in Transition - Conservativity, Composition, and Colimits. In Anne Schlicht (Hrsg.), Second International Workshop on Modular Ontologies.
	Tim Laue, Armin Burchardt, Kai Cierpka, Sebastian Fritsch, Nils Göde, Kamil Huhn, Teodosiy Kirilov, Bianca Lassen, Markus Miezal, Eyvaz Lyatif, Malte Schwarting, Andreas Seekircher, Ruben Stein (2007). B-Smart (Bremen Small Multi-Agent Robot Team) Team Description for RoboCup 2007. In In RoboCup 2007: Robot Soccer World Cup XI Preproceedings. RoboCup Federation.
	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 (Hrsg.), RoboCup 2006: Robot Soccer World Cup X, Nr. 4434, S. 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, Band 4573, S. 161–175, Lecture Notes in Artificial Intelligence. Springer.
	Klaus Lüttich, Till Mossakowski (2007). Reasoning Support for CASL with Automated Theorem Proving Systems. In J. Fiadeiro (Hrsg.), WADT 2006, Band 4409, S. 74–91. Springer-Verlag Heidelberg.
	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 (Hrsg.), TACAS 2007, Band 4424, S. 519–522, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	Till Mossakowski, Markus Roggenbach (2007). Structured CSP -- A Process Algebra as an Institution. In J. Fiadeiro (Hrsg.), WADT 2006, Band 4409, S. 92–110, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	Till Mossakowski, Ugo Montanari, Magne Haveraaen (Hrsg.) (2007). CALCO 2007. Second conference on algebra and coalgebra in computer science. Band 4624, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Bernhard Beckert (Hrsg.), VERIFY 2007, 4th International Verification Workshop, Band 259, S. 119–135, CEUR Workshop Proceedings.
	Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki (2007). What is a Logic? (revised version). In Jean-Yves Beziau (Hrsg.), Logica Universalis, S. 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 (Hrsg.), Proceedings of the Second Workshop on Humanoid Soccer Robots in conjunction with the 2007 IEEE-RAS International Conference on Humanoid Robots.
	Thomas Röfer, Christoph Budelmann, Martin Fritsche, Tim Laue, Judith Müller, Cord Niehaus, Florian Penquitt (2007). B-Human Team Description for RoboCup 2007. In RoboCup 2007: Robot Soccer World Cup XI Preproceedings. RoboCup Federation.
	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 (Hrsg.), 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 (Hrsg.), Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Band 4409, S. 128–142, Lecture Notes in Computer Science. Springer.
	Lutz Schröder (2007). Bootstrapping Types and Cotypes in HasCASL. In Till Mossakowski, Udo Montanari (Hrsg.), Algebra and Coalgebra in Computer Science (CALCO 07), Band 4624, S. 447–462, Lecture Notes in Computer Science. Springer. Extended version available.
	Lutz Schröder, Dirk Pattinson (2007). Modular Algorithms for Heterogeneous Modal Logics. In Lars Arge, Andrzej Tarlecki, Christian Cachin (Hrsg.), Automata, Languages and Programming (ICALP 07), Band 4596, S. 459–471, Lecture Notes in Computer Science. Springer.
	Thora Tenbrink, Hui Shi (2007). Negotiating Spatial Goals with a Wheelchair. In S. Keizer, H. Bunt, T. Paek (Hrsg.), Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue.
	Stefan Wölfl, Till Mossakowski, Lutz Schröder (2007). Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In David Wilson, Geoff Sutcliffe (Hrsg.), 20th International FLAIRS Conference (FLAIRS-20), S. 665–670. AAAI Press.

2006     nach oben

	Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer (2006). Maya: Maintaining Structured Developments. In Michael Kohlhase (Hrsg.), OMDoc – An Open Markup Format for Mathematical Documents [version 1.2], Band 4180, S. 281–285, Lecture Notes in Artificial Intelligence. Springer.
	Bernd Krieg-Brückner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In M. Raubal, H. Miller, A. Frank, M. Goodchild (Hrsg.), Geographic Information Science - Fourth International Conference, GIScience 2006, Band 4197, Lecture Notes in Computer Science. Springer, Berlin.
	Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde (2006). Adaptive Star Grammars. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari,, Leila Ribeiro , Grzegorz Rozenberg (Hrsg.), 3rd International Conference on Graph Transformation (ICGT'06), Band 4178, S. 77–91, Lecture Notes in Computer Science. Springer.
	U. Frese (2006). A Discussion of Simultaneous Localization and Mapping. In Autonomous Robots, 20 (1), S. 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. Nr. 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 (Hrsg.), Mathematical Foundations of Computer Science, Band 4162, S. 447–458, Lecture Notes in Computer Science. Springer, Berlin.
	Daniel Hausmann, Till Mossakowski, Lutz Schröder (2006). A Coalgebraic Approach to the Semantics of the Ambient Calculus. In Theoretical Computer Science, 366 (1-2), S. 121–143. Extends (Hausmann et al. 2005).
	Berthold Hoffmann, Dirk Janssens, Van Eetvelde, Niels (2006). Cloning and Expanding Graph Transformation Rules for Refactoring. In Electronic Notes in Theoretical Computer Science, Band 152, S. 53–67.
	K. Huebner, J. Zhang (2006). Stable Symmetry Feature Detection and Classification in Panoramic Robot Vision Systems. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, S. 3429–3434.
	K. Huebner, D. Westhoff, J. Zhang (2006). A Comparison of Regional Feature Detectors in Panoramic Images. In Proceedings of the 2006 IEEE International Conference on Information Acquisition, S. 666–671.
	K. Huebner (2006). Symmetriesignaturen für bildbasierte Anwendungen in der Robotik.R. Drechsler, M. Gogolla, H.-J. Kreowski, B. Krieg-Brückner, J. Peleska (Hrsg.), Band 24, BISS Monographs. Logos Verlag, Berlin.
	Bernd Krieg-Brückner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In Raubal, M., Miller, H.J., Frank, A.U., Goodchild, M.F. (Hrsg.), Proc. International Conference GIScience 2006, Münster, Germany, Band 4197, S. 234–250, Lecture Notes in Computer Science. Springer Verlag. (to appear).
	Tim Laue, Torben Schindler, Florian Penquitt, Armin Burchardt, Oliver Birbach, Carsten Elfers, Kai Stoye (2006). B-Smart (Bremen Small Multi-Agent Robot Team) Team Description for RoboCup 2006. In In RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup Federation.
	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 (Hrsg.), 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 (Hrsg.), RoboCup 2005: Robot Soccer World Cup IX, Nr. 4020, S. 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 (Hrsg.), Formal Ontology in Information Systems -- Proceedings of the Fourth International Conference (FOIS-2006), Band 150, S. 335–346, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam.
	Klaus Lüttich, Claudio Masolo, Stefano Borgo (2006). Development of Modular Ontologies in CASL. In P. Haase, V. Honavar, O. Kutz, Y. Sure, A. Tamilin (Hrsg.), Workshop on Modular Ontologies 2006, Band 232, CEUR Workshop Proceedings. CEUR-WS.org.
	Hartwig H. Hochmair, Klaus Lüttich (2006). An Analysis of the Navigation Metaphor -- And Why It Works for the World Wide Web. In Spatial Cognition and Computation, 6 (3), S. 235–278.
	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), S. 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, S. 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 (Hrsg.), WSCG’2006 Posters Proceedings, S. 41–42.
	Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel (2006). Algebraic-co-algebraic specification in CoCASL. In Journal of Logic and Algebraic Programming, 67 (1-2), S. 146–197. Extends (Mossakowski et al. 2003).
	T. Mossakowski, S. Autexier, D. Hutter (2006). Development Graphs -- Proof Management for Structured Specifications. In Journal of Logic and Algebraic Programming, 67 (1-2), S. 114–145.
	Till Mossakowski (2006). Institutional 2-cells and Grothendieck institutions. In K. Futatsugi, J.-P. Jouannaud, J. Meseguer (Hrsg.), Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Band 4060, S. 124–149, Lecture Notes in Computer Science. Springer, Berlin.
	Till Mossakowski (2006). Monad-Based Logics for Computational Effects. In M. Johnson, V. Vene (Hrsg.), AMAST 2006, Band 4019, S. 3–4, Lecture Notes in Computer Science. Springer, Berlin.
	Till Mossakowski, Lutz Schröder, Stefan Wölfl (2006). A Categorical Perspective on Qualitative Constraint Calculi. In Stefan Wölfl, Till Mossakowski (Hrsg.), Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, S. 28–39.
	Till Mossakowski, Christian Maeder, Klaus Lüttich (2006). Hets User Guide. Department of Computer Science; Universität Bremen.
	Till Mossakowski, Christian Maeder, Klaus Lüttich (2006). Hets: The Heterogeneous Tool Set. In Michael Kohlhase (Hrsg.), Maya: Maintaining Structured Developments, Band 4180, S. 286–289, Lecture Notes in Artificial Intelligence. Springer.
	W. Nistico, T. Röfer (2006). Improving percept reliability in the Sony Four-Legged League. In A. Bredenfeld, A. Jacoff, I. Noda, Y. Takahashi (Hrsg.), RoboCup 2005: Robot Soccer World Cup IX, Nr. 4020, S. 545–552, Lecture Notes in Artificial Intelligence. Springer.
	Thomas Röfer, Martin Fritsche, Matthias Hebbel, Thomas Kindler, Tim Laue, Cord Niehaus, Walter Nistico, Philippe Schober (2006). BreDoBrothers Team Description for RoboCup 2006. In RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup Federation.
	T. Röfer, J. Brose, E. Carls, J. Carstens, D. Göhring, M. Jüngel, T. Laue, T. Oberlies, S. Oesau, M. Risler, M. Spranger, C. Werner, J. Zimmer (2006). GermanTeam 2006. In G. Lakemeyer, E. Sklar, D. Sorrenti, T. Takahashi (Hrsg.), 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 (Hrsg.), RoboCup 2005: Robot Soccer World Cup IX, Nr. 4020, S. 608–615, Lecture Notes in Artificial Intelligence. Springer.
	Lutz Schröder (2006). The HasCASL Prologue - Categorical Syntax and Semantics of the Partial λ-calculus. In Theoret. Comput. Sci., Band 353, S. 1–25.
	Lutz Schröder (2006). A Finite Model Construction for Coalgebraic Modal Logic. In Luca Aceto, Anna Ingólfsdóttir (Hrsg.), Foundations Of Software Science And Computation Structures, Band 3921, S. 157–171, Lecture Notes in Computer Science. Springer, Berlin. EATCS Best Paper Award at ETAPS 2006.
	Lutz Schröder, Dirk Pattinson (2006). PSPACE Bounds for Rank 1 Modal Logics. In Rajeev Alur (Hrsg.), Logic in Computer Science (LICS 06), S. 231–240. IEEE. Presentation slides available.

2005     nach oben

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

2004     nach oben

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

2003     nach oben

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

2002     nach oben

	S. Autexier, T. Mossakowski (2002). Integrating HOLCASL into the Development Graph Manager MAYA. In A. Armando (Hrsg.), Frontiers of Combining Systems, 4th International Workshop, Band 2309, S. 2–17, Lecture Notes in Computer Science. Springer Verlag, London.
	S. Autexier, D. Hutter, T. Mossakowski, A. Schairer (2002). The Development Graph Manager MAYA (System description). In H. Kirchner, C. Reingeissen (Hrsg.), Algebraic Methodology and Software Technology, 2002, Band 2422, S. 495–502, Lecture Notes in Computer Science. Springer Verlag, London.
	J. Bredereke, A. Lankenau (2002). A Rigorous View of Mode Confusion. In Proc. of Safecomp 2002, 21st Int'l Conf. on Computer Safety, Reliability and Security, Nr. 2434, S. 19–31, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	J. Bredereke, B.-H. Schlingloff (2002). An Automated. In Ina Schieferdecker, Hartmut König, Adam Wolisz (Hrsg.), 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), S. 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, S. 741–746.
	R. Brinkmann, R. Drechsler (2002). RTL-Datapath Verification using Integer Linear Programming. In Bangalore (Hrsg.), IEEE VLSI Design'01 \& Asia and South Pacific Design Automation Conference, S. 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, Nr. 2377, S. 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, S. 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 (Hrsg.). Kluwer Academic.
	R. Drechsler, N. Drechsler (2002). Evolutionary Algorithms in System Desig.David Goldberg (Hrsg.), The Kluwer International. Kluwer Academic.
	R. Drechsler. (2002). Verifying Integrity of Decision Diagrams. In INTEGRATION, the VLSI Journal, Band 32, S. 61–75.
	R. Drechsler, W. Günther, S. Höreth (2002). Minimization of Word-level Decision Diagrams. In INTEGRATION, the VLSI Journal, Band 33, S. 39–70.
	R. Drechsler, J. Römmler (2002). Implementation and Visualization of a BDD Package in JAVA. Nr. 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, S. 76–82. EEE International Symposium on Multi-Valued Logic (ISMVL'2002), Boston.
	S. Reda, R. Drechsler, A. Orailoglu (Hrsg.) (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, S. 433–448. Kluwer Academic Publisher.
	R. Drechsler (2002). Hardware-Modellierung mit Software-Erweiterungen. In J. Soldek, J. Pejas (Hrsg.), Advanced Computer Systems, S. 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), S. 625–643.
	R. Drechsler (2002). Verifying Integrity of Decision Diagrams. In INTEGRATION, the VLSI Journal, 32 (1-2), S. 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), S. 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), S. 245–253.
	R. Drechsler (2002). Evaluation of Static Variable Ordering Heuristics for MDD Construction. In Boston (Hrsg.), IEEE International Symposium on Multi-Valued Logic (ISMVL'2002), Band 254-260.
	M. Thorton, R. Drechsler, D.M. Miller (2002). Multi-Output Timed Shannon Circuits. In Pittsburgh (Hrsg.), IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2002), S. 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 (Hrsg.), 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), S. 178–183.
	R. Drechsler, D. Große (2002). Reachability Analysis for Formal Verification of SystemC. In Euromicro Symposium on Digital System Design (DSD'2002), S. 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), S. 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, S. 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\'\', S. 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'', S. 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, S. 149–456.
	R. Drechsler, S. Höreth (2002). Gatecomp: Equivalence Checking of Digital Circuits in an Industrial Environment. In International Workshop on Boolean Problems, S. 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), S. 38–44.
	Frank Drewes, Berthold Hoffmann, Mark Minas (2002). Context-Exploiting Shapes for Diagram Transformation. In Ewa Grabska, Zenon Kulpa (Hrsg.), Proc. European Workshop on Diagrammatics snd Design (EWDD'02). Bielsko College of Business and Computer Science.
	Frank Drewes, Berthold Hoffmann, Mark Minas (2002). Constructing Shapely Nested Graph Transformations. In Peter Knirsch, Hans-Jörg Kreowski (Hrsg.), Proc. Int'l Workshop on Applied Graph Transformation (AGT'02). Universite de Grenoble.
	Frank Drewes, Berthold Hoffmann, Detlef Plump (2002). Hierarchical Graph Transformation. In Journal of Computer and System Science, 64 (2), S. 249–283.
	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 (Hrsg.), 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, Band 32, S. 41–59.
	W. Günther, R. Drechsler (2002). Minimization of Free BDDs. In INTEGRATION, the VLSI Journal, 32 (1-2), S. 41–89.
	Berthold Hoffmann (2002). Abstraction and Control for Shapely Nested Graph Transformation. In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski (Hrsg.), 1st Int'l Conference on Graph Transformation (ICGT'02), Barcelona, Nr. 2505, S. 177–191, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	D. Jankovíc, R. Stankovíc, R. Drechsler. (2002). Tabular Techniques for MV Logic. In J. Soldek, J. Pejas (Eds.) (Hrsg.), 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 (Hrsg.), IEEE International Symposium on Multi-Valued Logic (ISMVL\'2002), S. 76–82.
	P. Johanssen, R. Drechsler (2002). Utilizing High-Level Information for Formal Hardware Verification. In J. Soldek, J. Pejas (Hrsg.), Advanced Computer Systems, S. 419–431. Kluwer Academic Publisher.
	P. Johanssen, R. Drechsler (2002). Utilizing High-Level Information for Formal Hardware Verification. In Soldek, J. Pejas (Hrsg.), Advanced Computer Systems, S. 419–431. Kluwer Academic Publisher.
	R. Klempien-Hinrichs (2002). Normal forms for context-free node-rewriting hypergraph grammars. In Mathematical Structures in Computer Science, Band 12, S. 135–148.
	Ralf Kollmann, Martin Gogolla (2002). Metric-Based Selective Representation of UML Diagrams. In Tibor Gyimóthy, Fernando Brito e Abreu (Hrsg.), 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 (Hrsg.), 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 (Hrsg.), Formal and Natural Computing. Essays Dedicated to Grzegorz Rozenberg, Band 2300, S. 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, Band 286, S. 153–196.
	B. Krieg-Brückner (2002). MMiSS -- MultiMedia-Instruction in Safe and Secure Systems. In D. Hutter, W. Stephan (Hrsg.), Essays in Honor of Joerg H. Siekmann, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.
	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 (Hrsg.), 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), S. 1359–1364. IEEE.
	Neil Ghani, Christoph Lüth, Federico De Marchi (2002). Coalgebraic Monads. In Lawrence S. Moss (Hrsg.), Electronic Notes in Theoretical Computer Science, 65 (1), Electronic Notes in Theoretical Computer Science. Elsevier Science.
	Christoph Lüth, Neil Ghani (2002). Monads and Modularity. In Alessandro Armando (Hrsg.), 4th International Workshop on Frontiers of Combining Systems FroCos 2002, Nr. 2309, S. 18–32, Lecture Notes in Artificial Intelligence. Springer Verlag.
	Christoph Lüth, Neil Ghani (2002). Composing Monads Using Coproducts. In International Conference on Functional Programming ICFP'02, S. 133–144. ACM Press.
	Moratz, R., Tenbrink, T. (2002). Natural Language Instructions for Joint Spatial Reference between Naive Users and a Mobile Robot. In Proceedings of the 11th IEEE International Workshop on Robot and Human Interactive Communication.
	T. Mossakowski (2002). Relating CASL with Other Specification Languages: the Institution Level. In Theoretical Computer Science, Band 286, S. 367–475.
	T. Mossakowski (2002). Heterogeneous development graphs and heterogeneous borrowing. In M. Nielsen, U. Engberg (Hrsg.), Foundations of Software Science and Computation Structures, Band 2303, S. 326–341, Lecture Notes in Computer Science. Springer-Verlag.
	T. Mossakowski, B. Klin (2002). Institution Independent Static Analysis for CASL. In M. Cerioli, G. Reggio (Hrsg.), Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy, Band 2267, S. 221–237, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (2002). Comorphism-based Grothendieck logics. In K. Diks, W. Rytter (Hrsg.), Mathematical foundations of computer science, Band 2420, S. 593–604, Lecture Notes in Computer Science. Springer Verlag, London.
	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), S. 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), S. 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, S. 421–428.
	S. Reda, R. Drechsler, A. Orailoglu (2002). On the Relation Between SAT and BDDs for Equivalence Checking. In San Jose (Hrsg.), International Symposium on Quality of Electronic Design (ISQED 2002), S. 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), S. 625–630. EPFL, Lausanne, Switzerland.
	T. Röfer, A. Lankenau (2002). Route-Based Robot Navigation. In C. Freksa (Hrsg.). Künstliche Intelligenz - Themenheft Spatial Cognition, S. 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, Band 3, S. 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), S. 25–643.
	F. Schmiedle, N. Drechsler, D. Große, R. Drechsler (2002). Heuristic Learning based on Genetic Programming. In Genetic Programming and Evolvable Machines, Band 3, S. 363–388.
	F. Schmiedle, N. Drechsler, D. Große, R. Drechsler (2002). Heuristic Learning based on Genetic Programming. In Genetic Programming and Evolvable Machines, Band 3, S. 363–388.
	Lutz Schröder, Till Mossakowski (2002). HasCASL: towards integrated specification and development of functional programs. In Hélène Kirchner, Christophe Ringeissen (Hrsg.), Algebraic Methodology And Software Technology (AMAST 2002), Band 2422, S. 99–116, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder (2002). Monads on composition graphs. In Applied Categorical Structures, Band 10, S. 221–236.
	Lutz Schröder, Paulo Mateus (2002). Universal aspects of probabilistic automata. In Math. Struct. Comput. Sci., Band 12, S. 481–512.
	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), S. 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, S. 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, Band 1679, S. 263–268, VDI-Berichte.
	Paul Ziemann, Martin Gogolla (2002). An Extension of OCL with Temporal Logic. In Jan Jürjens (Hrsg.), Proc. UML'2002 Workshop Critical System Development CSD 2002. Technical Report, Technical University of Munich.

2001     nach oben

	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 (Hrsg.), Formal Techniques for Networked and Distributed Systems, S. 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 (Hrsg.), Can Formal Methods Cope with Software-Intensive Systems?, Nr. 308, Dagstuhl-Seminar-Report.
	J. Bredereke (2001). Ein Werkzeug zum Generieren von Spezifikationen aus einer Familie formaler Anforderungen. In S. Fischer, H. W. Jung (Hrsg.), 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 (Hrsg.), Proc. 5th Intl. Conference on Implementation and Application of Automata (CIAA 2000), Band 2088, S. 113–121, Lecture Notes in Computer Science. Springer.
	F. Drewes, R. Klempien-Hinrichs (2001). TREEBAG. In S. Yu, A. Päun (Hrsg.), Proc. 5th Intl. Conference on Implementation and Application of Automata (CIAA 2000), Band 2088, S. 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 (Hrsg.), Where Mathematics, Computer Science, Linguistics and Biology Meet, S. 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, S. 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 (Hrsg.), Proceedings CMCS'01, Band 44.
	M. Gogolla (2001). Formal Methods versus UML's OCL. In S. Jähnichen, J. Kramer, M. Lemoine, M. Wirsing (Hrsg.), Can Formal Methods Cope with Software-Intensive Systems, S. 19–20. Dagstuhl-Seminar-Report~308.
	M. Gogolla (2001). Using OCL for Defining Precise, Domain-Specific UML Stereotypes. In Äybuke Aurum, Ross Jeffery (Hrsg.), Proc. 6th Australian Workshop on Requirements Engineering~(AWRE'2 001), S. 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 (Hrsg.), Advances in Object Modelling with the OCL, S. 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, S. 30–37. IEEE Computer Press.
	Berthold Hoffmann, Mark Minas (2001). Transformation of Shaped Nested Graphs and Diagrams. In Electronic Notes in Theoretical Computer Science, 59 (4).
	Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski (2001). Checking amalgamability conditions for CASL architectural specifications. In Jiri Sgall, Ales Pultr, Petr Kolman (Hrsg.), Mathematical Foundations of Computer Science, Band 2136, S. 512–523, Lecture Notes in Computer Science. Springer, Berlin.
	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 (Hrsg.), Logistikmanagement —- Supply Chain Management and e-Business, S. 401–409. B. G. Teubner Verlag.
	R. Kollmann, M. Gogolla (2001). Capturing Dynamic Program Behaviour with UML Collaboration Diagrams. In P. Sousa, J. Ebert (Hrsg.), Proc. 5th European Conference on Software Maintenance and Reengineering, S. 58–67. IEEE, Los Alamitos.
	R. Kollmann, M. Gogolla (2001). Selektive Darstellung von Programmstrukturen mit UML. In J. Ebert, F. Lehner (Hrsg.), 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), S. 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, Band 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 (Hrsg.), UML 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools, Band 2185, S. 241–256, Lecture Notes in Computer Science.
	A. Lankenau (2001). Avoiding Mode Confusion in Service-Robots. In M. Mokhtari (Hrsg.), Integration of Assistive Technology in the Information Age, Proc. of the 7th Int. Conf. on Rehabilitation Robotics, S. 162–167. IOS Press.
	A. Lankenau, T. Röfer (2001). Selbstlokalisation in Routengraphen. In P. Levi, M. Schanz (Hrsg.), Autonome Mobile Systeme 2001, S. 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, Nr. 7, S. 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 (Hrsg.), Proc. GI Jahrestagung (GI'2001), Band 1, Workshop Integrating Diagrammatic and Formal Specification Techniques, S. 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), S. 67–91.
	R. Moratz, B. Nebel (2001). Facetten der Kognitiven Robotik - Workshop-Bericht. In K"unstliche Intelligenz.
	T. Mossakowski, S. Autexier, D. Hutter (2001). Extending Development Graphs With Hiding. In H. Hußmann (Hrsg.), Fundamental Approaches to Software Engineering, Band 2029, S. 269–283, Lecture Notes in Computer Science. Springer Verlag, London.
	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 (Hrsg.), Advances in Object Modelling with the OCL, Band 2263, S. 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 (Hrsg.), Recent Trends in Algebraic Specification Techniques, 15th International Workshop, WADT 2001, Band 2267, Lecture Notes in Computer Science. Springer, Berlin.
	T. Röfer (2001). Konsistente Karten aus Laser Scans. In P. Levi, M. Schanz (Hrsg.), Autonome Mobile Systeme 2001, S. 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), Band 86, S. 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 (Hrsg.), Categorical Perspectives, S. 1–27. Birkhäuser, Basel.
	Lutz Schröder (2001). Traces of Epimorphism classes. In Quaestiones Mathematicae, Band 24, S. 193–200.
	Lutz Schröder (2001). Life without the Terminal Type. In Laurent Fribourg (Hrsg.), Computer Science Logic, Band 2142, S. 429–442, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder, Till Mossakowski, Piotr Hoffman, Bartek Klin, Andrzej Tarlecki (2001). Semantics of Architectural Specifications in CASL. In Heinrich Hußmann (Hrsg.), Fundamental Approaches to Software Engineering, Band 2029, S. 253–268, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder, Till Mossakowski, Andrzej Tarlecki (2001). Amalgamation via enriched CASL signatures. In Fernando Orejas, Paul Spirakis, Jan van Leeuwen (Hrsg.), International Colloquium on Automata, Languages and Programming (ICALP 2001), Band 2076, S. 993–1004, Lecture Notes in Computer Science. Springer, Berlin.
	Lutz Schröder, Horst Herrlich (2001). Free factorizations. In Applied Categorical Structures, Band 9, S. 571–593.
	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), S. 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 (Hrsg.), Logistics and the Digital Economy. Proceedings of the 6th International Symposium on Logistics, Salzburg, Austria, S. 227–232.
	M. Wünstel, H. Schumann (2001). Glaucad - Glaucoma Prevention by Computer Aided Diagnostics. In Computer Graphik topics, Reports des INI-GraphicsNet, Nr. 6, S. 22–23.
	J. Zhang, K. Huebner, A. Knoll (2001). Learning based Situation Recognition by Sectoring Omnidirectional Images for Robot Localisation. In Proceedings of the IEEE Workshop on Omnidirectional Vision.
	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     nach oben

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

1999     nach oben

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

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

1997     nach oben

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

1996     nach oben

	R. Curien, Z. Qian, H. Shi (1996). Efficient Second-Order Matching. In Proc. of 7th International Conference on Rewriting Techniques and Applications, Nr. 1103, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-Brückner (1996). Seven Years of COMPASS. In M. Haveraaen, O. Owe, O.-J. Dahl (Hrsg.), Recent Trends in Data Type Specification. Proc. 11th ADT/COMPASS Workshop (Oslo 1995), Nr. 1130, S. 1–13, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Christoph Lüth (1996). Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem. In H. Ganzinger (Hrsg.), Rewriting Techniques and Applications RTA'96., Nr. 1103, S. 261–275, Lecture Notes in Computer Science. Springer Verlag.
	T. Mossakowski (1996). Equivalences among various logical frameworks of partial algebras. In H. Kleine Büning (Hrsg.), Computer Science Logic. 9th Workshop, CSL'95. Paderborn, Germany, September 1995, Selected Papers, Band 1092, S. 403–433, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (1996). Using limits of parchments to systematically construct institutions of partial algebras. In M. Haveraaen, O. Owe, O.-J. Dahl (Hrsg.), Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, Band 1130, S. 379–393, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (1996). Different Types of Arrow Between Logical Frameworks. In F. Meyer auf der Heide, B. Monien (Hrsg.), Proc. ICALP 96, Band 1099, S. 158–169, Lecture Notes in Computer Science. Springer Verlag, London.