Universität Bremen  
  TZI  FB3  
  BISS > Deutsch
English
 

BISS Publikationen

 

Das BISS ist Herausgeber einer Schriftenreihe, der BISS Monographs. Die Reihe umfaßt Monographien, Konferenzbände, Dissertationen, und Kollektionen, die sich mit sicheren System befassen. Autoren sind überwiegend, jedoch nicht ausschließlich Mitglieder des BISS.

Zur Literatursuche


 

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.   detail   pdf
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..   detail   pdf
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.   detail
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.   detail   pdf
Till Mossakowski. Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods. In Theoretical Computer Science. To appear.   detail   postscript
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).   detail     www   pdf
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.   detail   pdf

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.   detail
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.   detail
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf
Drewes, Frank, Habel, Annegret, Hoffmann, Berthold, Plump, Detlef (Hrsg.) (2009). Manipulation of Graphs, Algebras and Pictures. Universität Bremen.   detail   pdf
Hoffmann, Berthold (2009). Conditional Adaptive Star Grammars. In Manipulation of Graphs, Algebras, Pictures (Hrsg.), Manipulation of Graphs, Algebras and Pictures, S. 171–189.   detail   pdf
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf
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.   detail
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).   detail
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.   detail
Bernhard Graimann, Brendan Allison, Christian Mandel, Thorsten Lüth, Diana Valbuena, Axel Gräser (2009). Non-invasive Brain-Computer Interfaces for Semi-autonomous Assistive Devices. In Robust Intelligent Systems. Springer Verlag, London.   detail
Till Mossakowski, Andrzej Tarlecki, Razvan Diaconescu (2009). What is a logic translation?. In Logica Universalis, 3 (1), S. 95–124. Winner of the universal logic 2007 contest..   detail     www   pdf
Till Mossakowski, Andrzej Tarlecki (2009). Heterogeneous Logical Environments for Distributed Specifications. In Andrea Corradini, Ugo Montanari (Hrsg.), WADT 2008, Band 5486, (p. 266–289). , Lecture Notes in Computer Science. Springer.   detail   pdf
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.   detail
Reinhard Moratz, Dominik Lücke, Till Mossakowski (2009). Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects. In CoRR. abs/0912.5533.   detail     www   pdf
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.   detail   pdf
T. Röfer, C. Mandel, T. Laue (2009). Controlling an Automated Wheelchair via Joystick/Head-Joystick Supported by Smart Driving Assistance. In Proceedings of the 2009 IEEE 11th International Conference on Rehabilitation Robotics, S. 743–748.   detail   pdf
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.   detail   pdf
T. Röfer, T. Laue, B. Gersdorf (2009). iWalker - An Intelligent Walker providing Services for the Elderly. In Technically Assisted Rehabilitation 2009.   detail   pdf
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.   detail     www   pdf
Lutz Schröder, Till Mossakowski (2009). HasCASL: Integrated Higher-Order Specification and Program Development. In Theoretical Computer Science, 410 (12-13), S. 1217–1260.   detail     www   pdf

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.   detail   pdf
Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema (2008). Modal logics are coalgebraic. In Samson Abramsky, Erol Gelenbe, Vladimiro Sassone (Hrsg.), Visions of Computer Science, BCS International Academic Research Conference (BCS 2008), S. 129–140. British Computer Society.   detail   pdf
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.   detail     www   pdf
Mihai Codescu, Daniel Gaina (2008). Birkhoff Completeness in Institutions. In Logica Universalis, 2 (2), S. 277–309.   detail
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.   detail   pdf
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde (2008). Shaped Generic Graph Transformation. In Andy Schürr, Manfred Nagl, Albert Zündorf (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.   detail   pdf
U. Frese, T. Laue (2008). (A) VISION FOR 2050: The Road Towards Image Understanding for a Human–Robot Soccer Match. In Proceedings of the 5th International Conference on Informatics in Control, Automation and Robotics. (read Frese et al., Festkolloquium 2009 instead).   detail     www   pdf
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf
Joana Hois, Michael Wünstel, John A. Bateman, Thomas Röfer (2008). Dialog-Based 3D-Image Recognition Using a Domain Ontology. In Thomas Barkowsky, Markus Knauff, Gérard Ligozat, Daniel R. Montello (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.   detail     www   pdf
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.   detail     www
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.   detail
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.   detail   pdf
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.   detail     www   pdf
Oliver Kutz, Dominik Lücke, Till Mossakowski (2008). Heterogeneously Structured Ontologies: Integration, Connection, and Refinement. In Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, Band 90, CRPIT.   detail     www   pdf
Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanueal Normann (2008). The OWL in the CASL - Designing Ontologies Across Logics. In Catherine Dolbear, Alan Ruttenberg, Uli Sattler (Hrsg.), OWL: Experiences and Directions, 5th International Workshop (OWLED-08), Nr. 432. CEUR-WS.   detail     www
Oliver Kutz, Dominik Lücke, Till Mossakowski (2008). Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE. In First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08).   detail     www
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.   detail   pdf
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.   detail     www   pdf
Christoph Lüth, Udo Frese, Holger Täubig, Dennis Walter, Daniel Hausmann (2008). SAMS Sicherheitskomponente für Autonome Mobile Serviceroboter. In Proc. ROBOTIK 2008, Band 2012, VDI-Berichte. VDI-Verlag.   detail   pdf
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter (2008). Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. In Software Engineering 2008, Lecture Notes in Informatics. GI.   detail   pdf
David Aspinall, Ewen Denney, Christoph Lüth (2008). A Tactic Language for Hiproofs. In Mathematical Knowledge Management MKM 2008, Intelligent Computer Mathematics, Band 5144, S. 339–354, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf
Till Mossakowski, Anne Haxthausen, Don Sannella, Andrzej Tarlecki (2008). CASL, the Common Algebraic Specification Language. In D. Bjorner, M. Henson (Hrsg.), Logics of formal specification languages, S. 241–298, Monographs in Theoretical Computer Science . Springer-Verlag Heidelberg.   detail     www   pdf   postscript
Till Mossakowski, Lutz Schröder, Sergey Goncharov (2008). A generic complete dynamic logic for reasoning about purity and effects. In J. Fiadeiro, P. Inverardi (Hrsg.), Fundamental Approaches to Software Engineering (FASE 2008), Band 4961, S. 199–214, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Dirk Pattinson, Lutz Schröder (2008). Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. In Roberto Amadio (Hrsg.), Foundations of Software Science and Computation Structures (FOSSACS 2008), Band 4962, S. 66–80, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Dirk Pattinson, Lutz Schröder (2008). Admissibility of Cut in Coalgebraic Logics. In J. Adamek, C. Kupke (Hrsg.), Coalgebraic Methods in Computer Science (CMCS 08), Band 203, S. 221–241, Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam.   detail     www   pdf
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf
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).   detail     www   pdf
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.   detail   pdf
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.   detail
Hui Shi, Bernd Krieg-Brückner (2008). Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. In International Journal of Software and Informatics, 2 (1), S. 33–60.   detail
Hui Shi, Bernd Krieg-Brückner (2008). Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems. In KI Zeitschrift, Band 3, S. 59–61.   detail
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.   detail

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.   detail     www
U. Frese (2007). Efficient 6-DOF SLAM with Treemap as a Generic Backend. In Proceedings of the Internation Conference on Robotics and Automation, Rome.   detail     www   pdf
Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe, Lutz Schröder (2007). An Institutional View on Categorical Logic. In Int J Software Informatics, 1 (1), S. 129–152.   detail   pdf   postscript
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.   detail     www   pdf
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.   detail   pdf
Oliver Kutz, Till Mossakowski (2007). Modules in Transition - Conservativity, Composition, and Colimits. In Anne Schlicht (Hrsg.), Second International Workshop on Modular Ontologies.   detail     www   pdf
Tim Laue, Armin Burchardt, Kai Cierpka, Sebastian Fritsch, Nils Göde, Kamil Huhn, Teodosiy Kirilov, Bianca Lassen, Markus Miezal, Eyvaz Lyatif, Malte Schwarting, Andreas Seekircher, Ruben Stein (2007). B-Smart (Bremen Small Multi-Agent Robot Team) Team Description for RoboCup 2007. In In RoboCup 2007: Robot Soccer World Cup XI Preproceedings. RoboCup Federation.   detail
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf   postscript
C.Mandel, U.Frese (2007). Comparison of Wheelchair User Interfaces for the Paralysed: Head-Joystick vs. Verbal Path Selection from an offered Route-Set. In Proceedings of the 3rd European Conference on Mobile Robots (ECMR 2007).   detail   pdf
C. Mandel, T. Röfer, U. Frese (2007). Applying a 3DOF Orientation Tracker as a Human-Robot Interface for Autonomous Wheelchairs. In Proceedings of the 10th International Conference on Rehabilitation Robotics.   detail   pdf
Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Orna Grumberg, Michael Huth (Hrsg.), TACAS 2007, Band 4424, S. 519–522, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail   pdf   postscript
Till Mossakowski, Markus Roggenbach (2007). Structured CSP -- A Process Algebra as an Institution. In J. Fiadeiro (Hrsg.), WADT 2006, Band 4409, S. 92–110, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail   pdf   postscript
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.   detail     www
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.   detail     www   pdf
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.   detail     www   pdf
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.   detail   pdf
Thomas Röfer, Christoph Budelmann, Martin Fritsche, Tim Laue, Judith Müller, Cord Niehaus, Florian Penquitt (2007). B-Human Team Description for RoboCup 2007. In RoboCup 2007: Robot Soccer World Cup XI Preproceedings. RoboCup Federation.   detail
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.   detail   pdf
Lutz Schröder (2007). Book review: L. M. G. Feijs and H. B. M. Jonkers, Formal Specification and Design, Cambridge University Press, 2005. The Computer Journal 50 (2007), pp. 129-130.   detail
Lutz Schröder, Till Mossakowski (2007). Coalgebraic Modal Logic in CoCASL. In José Luiz Fiadeiro (Hrsg.), Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Band 4409, S. 128–142, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Lutz Schröder (2007). Bootstrapping Types and Cotypes in HasCASL. In Till Mossakowski, Udo Montanari (Hrsg.), Algebra and Coalgebra in Computer Science (CALCO 07), Band 4624, S. 447–462, Lecture Notes in Computer Science. Springer. Extended version available.   detail     www   pdf
Lutz Schröder, Dirk Pattinson (2007). Modular Algorithms for Heterogeneous Modal Logics. In Lars Arge, Andrzej Tarlecki, Christian Cachin (Hrsg.), Automata, Languages and Programming (ICALP 07), Band 4596, S. 459–471, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Thora Tenbrink, Hui Shi (2007). Negotiating Spatial Goals with a Wheelchair. In S. Keizer, H. Bunt, T. Paek (Hrsg.), Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue.   detail
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.   detail   pdf

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.   detail     www
Bernd Krieg-Brückner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In M. Raubal, H. Miller, A. Frank, M. Goodchild (Hrsg.), Geographic Information Science - Fourth International Conference, GIScience 2006, Band 4197, Lecture Notes in Computer Science. Springer, Berlin.   detail
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde (2006). Adaptive Star Grammars. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari,, Leila Ribeiro , Grzegorz Rozenberg (Hrsg.), 3rd International Conference on Graph Transformation (ICGT'06), Band 4178, S. 77–91, Lecture Notes in Computer Science. Springer.   detail   pdf
U. Frese (2006). A Discussion of Simultaneous Localization and Mapping. In Autonomous Robots, 20 (1), S. 25–42.   detail     www   pdf
U. Frese, L. Schröder (2006). Closing a Million-Landmarks Loop. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing.   detail     www   pdf
U. Frese (2006). Treemap: An $O(log n)$ Algorithm for Indoor Simultaneous Localization and Mapping. Nr. 006-03/2006. Universität Bremen, SFB/TR 8 Spatial Cognition. Companion report to the Autonomous Robots article with the same title..   detail     www   pdf
U. Frese (2006). Using Treemap as a Generic Least Square Backend for 6-DOF SLAM. In Procedings of the Spatial Cognition V Workshop Robotic 3D Environment Cognition. (read the ICRA07 paper instead).   detail     www   pdf
Sergey Goncharov, Lutz Schröder, Till Mossakowski (2006). Completeness of Global Evaluation Logic. In Rastislav Kralovic, Pawel Urzyczyn (Hrsg.), Mathematical Foundations of Computer Science, Band 4162, S. 447–458, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Daniel Hausmann, Till Mossakowski, Lutz Schröder (2006). A Coalgebraic Approach to the Semantics of the Ambient Calculus. In Theoretical Computer Science, 366 (1-2), S. 121–143. Extends (Hausmann et al. 2005).   detail     www   pdf
Berthold Hoffmann, Dirk Janssens, Van Eetvelde, Niels (2006). Cloning and Expanding Graph Transformation Rules for Refactoring. In Electronic Notes in Theoretical Computer Science, Band 152, S. 53–67.   detail   pdf   postscript
K. Huebner, J. Zhang (2006). Stable Symmetry Feature Detection and Classification in Panoramic Robot Vision Systems. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, S. 3429–3434.   detail     www
K. Huebner, D. Westhoff, J. Zhang (2006). A Comparison of Regional Feature Detectors in Panoramic Images. In Proceedings of the 2006 IEEE International Conference on Information Acquisition, S. 666–671.   detail     www
K. Huebner (2006). Symmetriesignaturen für bildbasierte Anwendungen in der Robotik.R. Drechsler, M. Gogolla, H.-J. Kreowski, B. Krieg-Brückner, J. Peleska (Hrsg.), Band 24, BISS Monographs. Logos Verlag, Berlin.   detail     www
Bernd Krieg-Brückner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In Raubal, M., Miller, H.J., Frank, A.U., Goodchild, M.F. (Hrsg.), Proc. International Conference GIScience 2006, Münster, Germany, Band 4197, S. 234–250, Lecture Notes in Computer Science. Springer Verlag. (to appear).   detail
Tim Laue, Torben Schindler, Florian Penquitt, Armin Burchardt, Oliver Birbach, Carsten Elfers, Kai Stoye (2006). B-Smart (Bremen Small Multi-Agent Robot Team) Team Description for RoboCup 2006. In In RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup Federation.   detail
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.   detail   pdf
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.   detail   pdf
David Aspinal, Christoph Lüth, Daniel Winterstein, Ahsan Fayyaz (2006). Proof General in Eclipse. In Eclipse Technology eXchange ETX'06. ACM Press.   detail   pdf
Klaus Lüttich (2006). Approximation of Ontologies in CASL. In Brandon Bennett, Christiane Fellbaum (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.   detail   pdf
Klaus Lüttich, Claudio Masolo, Stefano Borgo (2006). Development of Modular Ontologies in CASL. In P. Haase, V. Honavar, O. Kutz, Y. Sure, A. Tamilin (Hrsg.), Workshop on Modular Ontologies 2006, Band 232, CEUR Workshop Proceedings. CEUR-WS.org.   detail     www   pdf
Hartwig H. Hochmair, Klaus Lüttich (2006). An Analysis of the Navigation Metaphor -- And Why It Works for the World Wide Web. In Spatial Cognition and Computation, 6 (3), S. 235–278.   detail     www
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.   detail   pdf
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.   detail     www   pdf
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.   detail     www   pdf
Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel (2006). Algebraic-co-algebraic specification in CoCASL. In Journal of Logic and Algebraic Programming, 67 (1-2), S. 146–197. Extends (Mossakowski et al. 2003).   detail     www   pdf   postscript
T. Mossakowski, S. Autexier, D. Hutter (2006). Development Graphs -- Proof Management for Structured Specifications. In Journal of Logic and Algebraic Programming, 67 (1-2), S. 114–145.   detail     www   postscript
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.   detail     www   pdf   postscript
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.   detail   pdf   postscript
Till Mossakowski, Lutz Schröder, Stefan Wölfl (2006). A Categorical Perspective on Qualitative Constraint Calculi. In Stefan Wölfl, Till Mossakowski (Hrsg.), Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, S. 28–39.   detail   pdf   postscript
Till Mossakowski, Christian Maeder, Klaus Lüttich (2006). Hets User Guide. Department of Computer Science; Universität Bremen.   detail   pdf
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.   detail     www
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.   detail   pdf
Thomas Röfer, Martin Fritsche, Matthias Hebbel, Thomas Kindler, Tim Laue, Cord Niehaus, Walter Nistico, Philippe Schober (2006). BreDoBrothers Team Description for RoboCup 2006. In RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup Federation.   detail
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.   detail   pdf
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.   detail   pdf
Lutz Schröder (2006). The HasCASL Prologue - Categorical Syntax and Semantics of the Partial λ-calculus. In Theoret. Comput. Sci., Band 353, S. 1–25.   detail     www   pdf   postscript
Lutz Schröder (2006). A Finite Model Construction for Coalgebraic Modal Logic. In Luca Aceto, Anna Ingólfsdóttir (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.   detail     www   pdf   postscript
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.   detail     www   pdf

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.   detail     www   pdf   postscript
Daniel Hausmann, Till Mossakowski, Lutz Schröder (2005). Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus. In Jose Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten (Hrsg.), Algebra and Coalgebra in Computer Science, Band 3629, S. 232–246, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas (2005). Rule-Based Programming with Diaplan. In Electronic Notes in Theoretical Computer Science, 117 (1).   detail   pdf   postscript
Berthold Hoffmann (2005). Graph Transformation with Variables. In Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (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.   detail   pdf   postscript
Kathrin Hoffmann, Francesco Parisi-Presicce, Till Mossakowski (2005). Higher-order nets for mobile policies. In Workshop on Petri Nets and Graph Transformations, 127 (2), S. 87–105, Electronic Notes in Theoretical Computer Science. Elsevier Science.   detail   postscript
Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski (2005). High-Level Nets with Nets and Rules as Tokens. In 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, Band 3536, S. 268–288, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
K. Huebner, D. Westhoff, J. Zhang (2005). Optimized Quantitative Bilateral Symmetry Detection. In International Journal of Information Acquisition (IJIA), 2 (3), S. 241–249.   detail     www   pdf
B. Krieg-Brückner, U. Frese, K. Lüttich, C. Mandel, T. Mossakowski, R. Ross (2005). Specification of an Ontology for Route Graphs. In C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky (Hrsg.), Spatial Cognition IV, Band 3343, S. 390–412, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.   detail     www   pdf
Jörg Kurlbaum, Tim Laue, Florian Penquitt, Marian Weirich (2005). Bremen Small Multi-Agent Robot Team (B-Smart) Team Description for RoboCup 2005. In In RoboCup 2005: Robot Soccer World Cup IX Preproceedings. RoboCup Federation.   detail
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.   detail   pdf
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.   detail
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.   detail     www   postscript
Neil Ghani, Christoph Lüth, Federico de Marchi (2005). Monads of Coalgebras: Rational Terms and Term Graphs. In Mathematical Structures in Computer Science, 15 (3), S. 433–451. To appear.   detail   pdf   postscript
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.   detail   pdf
K. Lüttich, T. Mossakowski, B. Krieg-Brückner (2005). Ontologies for the Semantic Web in CASL. In J. L. Fiadeiro, P. Mosses, F. Orejas (Hrsg.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Band 3423, S. 106–125, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf
Klaus Lüttich (2005). Approximation of Ontologies in CASL. In P. Mosses, J. Power, M. Seisenberger (Hrsg.), CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, S. 41–53, Report Series. University of Wales Swansea.   detail   pdf
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.   detail   pdf
C. Mandel, K. Huebner, T. Vierhuff (2005). Towards an Autonomous Wheelchair: Cognitive Aspects in Service Robotics. In Proceedings of Towards Autonomous Robotic Systems (TAROS 2005), S. 165–172.   detail     www   pdf
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.   detail     www   pdf   postscript
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.   detail     www   pdf
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.   detail     www   pdf
Till Mossakowski (2005). Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen. Habilitation thesis.   detail   pdf   postscript
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.   detail   pdf
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.   detail
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.   detail   pdf
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.   detail   pdf
T. Röfer, O. v. Stryk (2005). Softwarearchitektur: Ein Erfolgsfaktor beim Roboterfußball!. In OBJEKTspektrum, 2005 (4), S. 31–32.   detail
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, Bartek Klin (2005). Amalgamation in the semantics of CASL. In Theoretical Computer Science, 331 (1), S. 215–247.   detail     www   pdf   postscript
Lutz Schröder, Till Mossakowski, Christoph Lüth (2005). Type class polymorphism in an institutional framework. In José Fiadeiro (Hrsg.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Band 3423, S. 234–248, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Lutz Schröder (2005). Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In Vladimiro Sassone (Hrsg.), Foundations of Software Science And Computation Structures, Band 3441, S. 440–454, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Hui Shi, Robert Ross, John Bateman (2005). Formalising Control in Robust Spoken Dialogue Systems. In Bernhard K. Aichernig, Bernhard Beckert (Hrsg.), Software Engineering and Formal Methods 2005, S. 332–341, IEEE. IEEE Computer Society.   detail
Hui Shi, John Bateman (2005). Developing human-robot dialogue management formally. In The Society for Text and Discourse 15th Annual Meeting.   detail
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.   detail     www   pdf
Dennis Walter (2005). Monadic Dynamic Logic: Application and Implementation. Master's Thesis (Diplomarbeit).   detail   pdf
Dennis Walter, Lutz Schröder, Till Mossakowski (2005). Parametrized Exceptions. In Jose Fiadeiro, Jan Rutten (Hrsg.), Algebra and Coalgebra in Computer Science, Band 3629, S. 424–438, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
D. Westhoff, K. Huebner, J. Zhang (2005). Robust Illumination-Invariant Features by Quantitative Bilateral Symmetry Detection. In Proceedings of the 2005 IEEE International Conference on Information Acquisition, S. 48–53. This paper became ICIA 2005 Finalist for Best Conference Paper Award.   detail     www   pdf
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.   detail   pdf
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.   detail     www   pdf

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.   detail     www
M. Drouineaud, M. Bortin, P. Torrini, K. Sohr (2004). A First Step towards Formal Verification of Security Policy Properties of RBAC. In H.-D. Ehrich, K.-D. Schewe (Hrsg.), Procceedings of the Fourth International Conference on Quality Software, IEEE.   detail   postscript
Annegret Habel, Berthold Hoffmann (2004). Parallel Independence in Hierarchical Graph Transformation. In International Conference on Graph Transformation, Nr. 3256, S. 178–193, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail   pdf   postscript
K. Huebner (2004). A Symmetry Operator and its Application to the RoboCup. In Daniel Polani, Brett Browning, Andrea Bonarini, Kazuo Yoshida (Hrsg.), RoboCup 2003: Robot Soccer World Cup VII, Band 3020, S. 274–283, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.   detail     www   pdf
K. Huebner (2004). Symmetrie als kognitives Bildmerkmal. In D. Droege, D. Paulus (Hrsg.), 10. Workshop Farbbildverarbeitung, S. 66–73. Der Andere Verlag, Tönning, Lübeck und Marburg.   detail     www   pdf
Raimund Klein (2004). Ein Interpreter für Diaplan, eine regelbasierte Sprache zum Programmieren mit Graphen und Diagrammen. Universität Bremen. Diplomarbeit.   detail   pdf   postscript
CoFI Language Design Group, B. Krieg-Brückner, P.D. Mosses (2004). CASL Syntax / CASL Summary. In P.D. Mosses (Hrsg.), CASL Reference Manual, Band 2960, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail
B. Krieg-Brückner, A. Lindow, C. Lüth, A. Mahnke, G. Russell (2004). Semantic Interrelation of Documents via an Ontology. In G. Engels, S. Seehusen (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.   detail   pdf
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.   detail   pdf
Bernd Krieg-Brückner, Hui Shi, Robert Ross (2004). A Safe and Robust Approach to Shared-Control via Dialogue. In In Chinese Journal of Software, 15 (12).   detail
Jörg Kurlbaum, Tim Laue, Björn Lück, Björn Mohrmann, Martin Poloczek, Dschen Reinecke, Tim Riemenschneider, Thomas Röfer, Simon Hendrik, Ubbo Visser (2004). Bremen Small Multi-Agent Robot Team (B-Smart) Team Description for RoboCup 2004. In RoboCup 2004: Robot Soccer World Cup VIII Preproceedings. RoboCup Federation.   detail
Neil Ghani, Christoph Lüth (2004). Rewriting via Coinserters. In Nordic Journal of Computing, Band 10, S. 290–312.   detail   pdf   postscript
Einar Broch Johnsen, Christoph Lüth (2004). Abstracting Transformations for Refinement. In Nordic Journal of Computing, Band 10, S. 316–336.   detail   pdf   postscript
Einar Broch Johnsen, Christoph Lüth (2004). Theorem Reuse by Proof Term Transformation. In Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (Hrsg.), International Conference on Theorem Proving in Higher-Order Logics TPHOLs 2004, Band 3223, S. 152–167, Lecture Notes in Computer Science. Springer.   detail   pdf   postscript
K. Lüttich, B. Krieg-Brückner, T. Mossakowski (2004). Tramway Networks as Route Graphs. In E. Schnieder, G. Tarnai (Hrsg.), FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, S. 109–119.   detail   pdf
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.   detail   pdf
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.   detail   pdf   postscript
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.   detail     www
T. Mossakowski (2004). HetCASL - Heterogeneous Specification. Language Summary.   detail   pdf   postscript
T. Mossakowski (2004). ModalCASL - Specification with Multi-Modal Logics. Language Summary.   detail   pdf   postscript
T. Mossakowski (2004). CASL Sublanguages and extensions. In Peter D. Mosses (Hrsg.), CASL Reference Manual, Band 2960, S. 61–69, Lecture Notes in Computer Science. Springer Verlag, London.   detail
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.   detail     www
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.   detail     www
Reinhard Moratz, Michael Wünstel, Robert Ross (2004). Qualitative Spatial Arrangements and Natural Object Categories as a Link between 3D Perception and Speech. In Proc. of the 8th Pacific Rim International Conference on Artificial Intelligence.   detail   pdf
Markus Roggenbach, Lutz Schröder, Till Mossakowski (2004). Libraries. In Peter Mosses (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.   detail     www   pdf   postscript
R. Ross, H. Shi, T. Vierhuff, B. Krieg-Brückner, J. Bateman (2004). Towards Dialogue Based Shared Control of Navigating Robots. In C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky (Hrsg.), Spatial Cognition 2004, Band 3343, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf
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.   detail     www   pdf   postscript
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.   detail     www   pdf   postscript
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.   detail     www   pdf   postscript
T. Wagner, K. Huebner (2004). An Egocentric Qualitative Spatial Knowledge Representation Based on Ordering Information for Physical Robot Navigation. ECAI-04, Workshop on Issues in Designing Physical Agents for Dynamic Real-Time Environments.   detail     www   pdf
Michael Wünstel, Reinhard Moratz (2004). Automatic Object Recognition within an Office Environment. In CRV 2004 Canadian Conference on Computer and Robot Vision, IEEE.   detail     www   pdf

2003     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.   detail   pdf   postscript
Michael Drouineaud, Arnd Lüder, Karsten Sohr (2003). A role-based control model for agent-based control systems. In Proceedings of Proceedings of the 1st IEEE International Conference on Industrial Informatics.   detail
Berthold Hoffmann (2003). Abstraction and Control for Shapely Nested Graph Transformation. In Fundamenta Informaticae, 58 (1), S. 39–65.   detail   pdf   postscript
Kathrin Hoffmann, Till Mossakowski (2003). Algebraic Higher Order Nets: Graphs and Petri Nets as Tokens. In M. Wirsing, D. Pattinson, R. Hennicker (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.   detail     www   pdf   postscript
K. Huebner (2003). A 1-Dimensional Symmetry Operator for Image Feature Extraction in Robot Applications. In J.S. Zelek, J. Barron (Hrsg.), 16th International Conference on Vision Interface, S. 286–291.   detail     www   pdf
B. Krieg-Brückner, D. Hutter, A. Lindow, C. Lüth, A. Mahnke, E. Melis, P. Meier, A. Poetzsch-Heffter, M. Roggenbach, G. Russell, J.-G. Smaus, M. Wirsing (2003). MultiMedia Instruction in Safe and Secure Systems. In M. Wirsing, D. Pattinson, R. Hennicker (Hrsg.), Recent Trends in Algebraic Development Techniques, Band 2755, S. 82–117, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail   pdf
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.   detail   pdf
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.   detail   pdf   postscript
Christoph Lüth (2003). Haskell in Space. In Journal of Functional Programming, 13 (6), S. 1077–1085.   detail     www   pdf   postscript
Federico de Marchi, Neil Ghani, Christoph Lüth (2003). Coalgebraic Approaches to Algebraic Terms. In Theoretical Informatics and Applications, Band 37, S. 301–314.   detail   pdf   postscript
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.   detail
R. Moratz, T.Tenbrink, K. Fischer, J. Bateman (2003). Spatial knowledge representation for human-robot interaction. In C. Freksa, C. Habel, K. F. Wender (Hrsg.), Spatial Cognition III, S. 263–286. Springer Verlag, 14197 Berlin.   detail
Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder (2003). Algebraic-co-algebraic specification in CoCASL. In Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Hrsg.), Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, Band 2755, S. 376–392, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Till Mossakowski, Markus Roggenbach, Lutz Schröder (2003). CoCASL at work --- Modelling Process Algebra. In Hans-Peter Gumm (Hrsg.), Coalgebraic Methods in Computer Science, Band 82, Electronic Notes in Theoretical Computer Science. Elsevier Science.   detail   pdf   postscript
Till Mossakowski, Michael Drouineaud, Karsten Sohr (2003). A temporal-logic extension of role-based access control covering dynamic separation of duties. In Proceedings of the 4th International Conference on Temporal Logic,, S. 83–90. IEEE Computer Society Press.   detail   pdf   postscript
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.   detail     www   pdf   postscript
Till Mossakowski, Anne Haxthausen, Donald Sannella, Andrzej Tarlecki (2003). CASL, the Common Algebraic Specification Language: Semantics and Proof Theory. In Computing and Informatics, Band 22, S. 285–321.   detail   pdf   postscript
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf   postscript
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.   detail     www   postscript
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.   detail     www   pdf   postscript
L. Schröder, T. Mossakowski, C. Maeder (2003). HasCASL - Integrated functional specification and programming. Language summary..   detail   pdf   postscript
M. Wünstel (2003). Software Development. In J. Gasteiger, T. Engel (Hrsg.), Chemoinformatics - A Textbook. Wiley-VCH Weinheim.   detail

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.   detail     www   postscript
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.   detail     www   postscript
J. Bredereke, A. Lankenau (2002). A Rigorous View of Mode Confusion. In Proc. of Safecomp 2002, 21st Int'l Conf. on Computer Safety, Reliability and Security, Nr. 2434, S. 19–31, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail   pdf
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.   detail
J. Bredereke (2002). Maintaining Telephone Switching Software Requirements. In IEEE Communications Magazine, 40 (11), S. 104–109.   detail
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.   detail
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.   detail
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.   detail   pdf
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.   detail   pdf
Christian Mandel (2002). Trajektorienplanung und Trajektorienfolgeregelung im Konfigurationsraum nich-holonomer Fahrzeuge. DiplomaThesis.   detail   pdf   postscript
R. Drechsler (2002). Verifying Integrity of Decision Diagrams. In ÏNTEGRATION.   detail
R. Drechsler, W. Günther, S. Höreth (2002). Minimization of Word-level Decision Diagrams. In ÏNTEGRATION.   detail
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.   detail
R. Drechsler (2002). Formal Verification: Current Use and Future Perspectives. In IEEE Design & Test.   detail
R. Drechsler, W. Günther (2002). Em Towards One-Pass Synthesis.Dordrecht (Hrsg.). Kluwer Academic.   detail
R. Drechsler, N. Drechsler (2002). Evolutionary Algorithms in System Desig.David Goldberg (Hrsg.), The Kluwer International. Kluwer Academic.   detail
R. Drechsler. (2002). Verifying Integrity of Decision Diagrams. In INTEGRATION, the VLSI Journal, Band 32, S. 61–75.   detail
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.   detail
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.   detail
R. Drechsler. (2002). JADE: Implementation and Visualization of a BDD Package in JAVA. IEEE Design, Automation and Test in Europe, Paris. Designer's Forum.   detail
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.   detail
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.   detail
G. Fey, R. Drechsler (2002). Minimizing the Number of Paths in BDDs. International Workshop on Boolean Problems.   detail
R. Drechsler, S. Höreth (2002). Gatecomp: Equivalence Checking of Digital Circuits in an Industrial Environment. International Workshop on Boolean Problems, Freiberg.   detail
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.   detail
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.   detail
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.   detail
R. Drechsler, W. Günther. (2002). Towards One-Pass Synthesis. Kluwer Academic Publishers, Dordrecht, The Netherlands.   detail
A. Sikora, R. Drechsler (2002). Software-Engineering und Hardware-Design. Carl Hanser Verlag, München.   detail
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.   detail
D. Jankovíc, R. Stankoví c, R. Drechsler (2002). Tabular Techniques for MV Logic. In Advanced Computer Systems, S. 433–448. Kluwer Academic Publisher.   detail
R. Drechsler (2002). Hardware-Modellierung mit Software-Erweiterungen. In J. Soldek, J. Pejas (Hrsg.), Advanced Computer Systems, S. 177–204. Kluwer Academic Publisher.   detail
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.   detail
R. Drechsler (2002). Verifying Integrity of Decision Diagrams. In INTEGRATION, the VLSI Journal, 32 (1-2), S. 41–59.   detail
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.   detail
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.   detail
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.   detail
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.   detail
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.   detail
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).   detail
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.   detail
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.   detail
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.   detail
T. Eschbach, W. Günther, R. Drechsler, B. Becker (2002). Crossing Reduction by Windows Optimization. In 10th International Symposium on Graph Drawing (GD'2002.   detail
G. Fey, R. Drechsler (2002). Utilizing BDDs for disjoint SOP minimization. In IEEE The 45rd Midwest Symposium on Circuits and Systems (MWSCAS\'2002).   detail
G. Fey, R. Drechsler (2002). Minimizing the Number of Paths in BDDs. In 15th Symposium on Integrated Circuits and System Design, S. 359–364.   detail
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.   detail
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.   detail
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). .   detail
M. Kerttu, P. Lindgren, R. Drechsler, M. Thornton (2002). Low Power Optimization Technique for BDD. In International Workshop on Logic Synthesis (IWLS\'2002).   detail
G. Fey, R. Drechsler (2002). Minimizing the Number of Paths in BDDs. In International Workshop on Boolean Problems, S. 149–456.   detail
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.   detail
R. Drechsler (2002). Moderator of the Panel on ``System-on-Chip''.   detail
R. Drechsler (2002). Moderator of the Round Table on ``Formal Verification: Current Use and Future Presepctives''.   detail
Drechsler, W. Günther (2002). Identifikation von Korrespondenzen in Schaltungen durch Verwendung der Register-Transfer-Ebene.   detail
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.   detail
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.   detail
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.   detail   pdf   postscript
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.   detail   pdf   postscript
Frank Drewes, Berthold Hoffmann, Detlef Plump (2002). Hierarchical Graph Transformation. In Journal of Computer and System Science, 64 (2), S. 249–283.   detail   pdf   postscript
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.   detail   pdf
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.   detail
W. Günther, R. Drechsler (2002). Minimization of Free BDDs. In INTEGRATION, the VLSI Journal, Band 32, S. 41–59.   detail
W. Günther, R. Drechsler (2002). Minimization of Free BDDs. In INTEGRATION, the VLSI Journal, 32 (1-2), S. 41–89.   detail
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.   detail   pdf   postscript
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.   detail
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.   detail
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.   detail
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.   detail
R. Klempien-Hinrichs (2002). Normal forms for context-free node-rewriting hypergraph grammars. In Mathematical Structures in Computer Science, Band 12, S. 135–148.   detail
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.   detail
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.   detail
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.   detail
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.   detail     www
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.   detail
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.   detail
A. Lankenau (2002). The Bremen Autonomous Wheelchair 'Rolland': Self-Localization and Shared Control.   detail
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.   detail   pdf
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.   detail   pdf   postscript
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.   detail   pdf   postscript
Christoph Lüth, Neil Ghani (2002). Composing Monads Using Coproducts. In International Conference on Functional Programming ICFP'02, S. 133–144. ACM Press.   detail   pdf   postscript
Moratz, R., Tenbrink, T. (2002). Natural Language Instructions for Joint Spatial Reference between Naive Users and a Mobile Robot. In Proceedings of the 11th IEEE International Workshop on Robot and Human Interactive Communication.   detail
T. Mossakowski (2002). Relating CASL with Other Specification Languages: the Institution Level. In Theoretical Computer Science, Band 286, S. 367–475.   detail     www   postscript
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.   detail     www   pdf   postscript
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.   detail     www   pdf   postscript
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.   detail     www   postscript
J. Peleska, A. Tsiolakis (2002). Automated Integration Testing for Avionics Systems. In 3rd ICSTEST — International Conference on Software Testing.   detail
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.   detail
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.   detail
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.   detail     www   pdf
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.   detail
Mark Richters (2002). A Precise Approach to Validating UML Models and OCL Constraints. Universität Bremen.   detail
Markus Roggenbach, Till Mossakowski (2002). Methodological guidelines (for CASL). CoFI note M-6.   detail     www
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.   detail   pdf
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.   detail   pdf
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.   detail
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.   detail
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.   detail
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.   detail
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.   detail     www   postscript
Lutz Schröder (2002). Monads on composition graphs. In Applied Categorical Structures, Band 10, S. 221–236.   detail   postscript
Lutz Schröder, Paulo Mateus (2002). Universal aspects of probabilistic automata. In Math. Struct. Comput. Sci., Band 12, S. 481–512.   detail   postscript
A. Sikora, R. Drechsler (2002). Software-Engineering und Hardware-Design. Carl Hanser Verlag, München.   detail
A. Sikora, R. Drechsler (2002). Software-Engineering und Hardware-Design. Carl Hanser Verlag, München.   detail
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.   detail
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.   detail
M. Wünstel, H. Schumann (2002). Automatic 3D-Reconstruction of the Ocular Fundus from Stereo Images. In CARS 2002 Computer-Assisted Radiology and Surgery. Springer-Verlag Heidelberg. Nominiert für den Best Paper Award des INI-Graphics Net 2003..   detail   pdf
J. Zhang, K. Huebner (2002). Using Symmetry as a Feature in Panoramic Images for Mobile Robot Applications. In Proceedings of Robotik 2002, Band 1679, S. 263–268, VDI-Berichte.   detail     www   pdf
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.   detail

2001     nach oben

K. Bayarou (2001). Entwicklung einer Methode zur parallelen verteilten ereignisgesteuerten Simulation von stochastischen Petri Netzen.   detail
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.   detail
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.   detail
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.   detail
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.   detail
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.   detail   pdf
Giorgio Busatto, Berthold Hoffmann (2001). Comparing Notions of Hierarchical Graph Transformation. In Electronic Notes in Theoretical Computer Science, 50 (3).   detail   pdf   postscript
B. Buth (2001). PA-Oriented Metrication During the Development Lifecycle. In Proceedings of SQM'2001 - Software Quality Management, Bonn. SQS.   detail
B. Buth (2001). Formal and Semi-Formal Methods for the Analysis of Industrial Control Systems.   detail
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.   detail
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.   detail
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.   detail
K. Fischer, R. Moratz (2001). From Communicative Strategies to Cognitive Modelling. In Proceedings of the Workshop on Epigenic Robotics, Lund.   detail
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).   detail     www   pdf
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.   detail
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.   detail
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.   detail
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.   detail
Berthold Hoffmann (2001). Shapely Hierarchical Graph Transformation. In Proc. IEEE Symposia on Human-Centric Computing Languages and Environments, S. 30–37. IEEE Computer Press.   detail   pdf   postscript
Berthold Hoffmann, Mark Minas (2001). Transformation of Shaped Nested Graphs and Diagrams. In Electronic Notes in Theoretical Computer Science, 59 (4).   detail   pdf
Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski (2001). Checking amalgamability conditions for CASL architectural specifications. In Jiri Sgall, Ales Pultr, Petr Kolman (Hrsg.), Mathematical Foundations of Computer Science, Band 2136, S. 512–523, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   postscript
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.   detail
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.   detail
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.   detail
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.   detail
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.   detail
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.   detail
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.   detail   pdf
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.   detail   pdf
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.   detail
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.   detail
O. Meyer (2001). Structural Decomposition of Timed CSP and its Application in Real-Time Testing.   detail
Mark Minas , Berthold Hoffmann (2001). Specifying and Implementing Visual Process Modeling Languages with DIAGEN. In Electronic Notes in Theoretical Computer Science, 44 (4).   detail   pdf
R. Moratz, K. Fischer, T. Tenbrink (2001). Cognitive Modelling of Spatial Reference for Human-Robot Interaction. In International Journal On Artificial Intelligence Tools, 10 (4), S. 67–91.   detail
R. Moratz, B. Nebel (2001). Facetten der Kognitiven Robotik - Workshop-Bericht. In K"unstliche Intelligenz.   detail
T. Mossakowski, S. Autexier, D. Hutter (2001). Extending Development Graphs With Hiding. In H. Hußmann (Hrsg.), Fundamental Approaches to Software Engineering, Band 2029, S. 269–283, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
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.   detail
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.   detail
M. Richters (2001). A Precise Approach to Validating UML Models and OCL Constraints.   detail
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.   detail     www   postscript
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.   detail   pdf
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.   detail   pdf
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.   detail
Lutz Schröder (2001). Categories: a free tour. In Austin Melton, Jürgen Koslowski (Hrsg.), Categorical Perspectives, S. 1–27. Birkhäuser, Basel.   detail   postscript
Lutz Schröder (2001). Traces of Epimorphism classes. In Quaestiones Mathematicae, Band 24, S. 193–200.   detail   postscript
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.   detail     www   pdf   postscript
Lutz Schröder, Till Mossakowski, Piotr Hoffman, Bartek Klin, Andrzej Tarlecki (2001). Semantics of Architectural Specifications in CASL. In Heinrich Hußmann (Hrsg.), Fundamental Approaches to Software Engineering, Band 2029, S. 253–268, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki (2001). Amalgamation via enriched CASL signatures. In Fernando Orejas, Paul Spirakis, Jan van Leeuwen (Hrsg.), International Colloquium on Automata, Languages and Programming (ICALP 2001), Band 2076, S. 993–1004, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   postscript
Lutz Schröder, Horst Herrlich (2001). Free factorizations. In Applied Categorical Structures, Band 9, S. 571–593.   detail   postscript
Karsten Sohr (2001). Die Sicherheitsaspekte von mobilem Code. Universität Marburg.   detail
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.   detail
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.   detail
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.   detail     www   pdf
J. Zhang, K. Huebner, A. Knoll (2001). Learning based Situation Recognition by Sectoring Omnidirectional Images for Robot Localisation. In Proceedings of the IEEE Workshop on Omnidirectional Vision.   detail   pdf
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.   detail

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.   detail
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.   detail
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.   detail   pdf   postscript
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske (2000). Simple Modules for GRACE. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski (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.   detail   pdf   postscript
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.   detail   pdf   postscript
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.   detail   pdf   postscript
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.   detail   pdf   postscript
Berthold Hoffmann, Mark Minas (2000). Towards Generic Rule-Based Visual Programming. In Margaret M. Burnett, others (Hrsg.), Proc. VL'2000. IEEE Press.   detail   pdf   postscript
Berthold Hoffmann, Mark Minas (2000). Towards Rule-Based Visual Programming of Generic Visual Systems. In Nachum Dershowitz, Claude Kirchner (Hrsg.), Proc. Workshop on Rule-Based Languages.   detail   pdf   postscript
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.   detail   postscript
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).   detail
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.   detail   pdf
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.   detail   pdf
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.   detail   pdf   postscript
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.   detail   postscript
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.   detail     www   postscript
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.   detail     www   postscript
T. Mossakowski, A. Haxthausen, B. Krieg-Brückner (2000). Subsorted Partial Higher-Order Logic as an Extension of CASL. In C. Choppy, D. Bert, P. Mosses (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.   detail     www   postscript
Till Mossakowski (2000). How to write consistent CASL design specifications. CoFI note M-8.   detail     www
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.   detail   pdf
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.   detail   pdf
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.   detail     www   postscript
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.   detail
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.   detail
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).   detail   pdf
Lutz Schröder (2000). Isomorphisms and splitting of idempotents in semicategories. In Cahiers de Topologie et Géométrie Différentielle catégoriques, Band 41, S. 143–153.   detail   postscript
Lutz Schröder, Horst Herrlich (2000). Free adjunction of morphisms. In Applied Categorical Structures, Band 8, S. 595–606.   detail   pdf
Lutz Schröder, Horst Herrlich (2000). Abstract initiality. In Commentationes Mathematicae Universitatis Carolinae, Band 41, S. 575–583.   detail   postscript
A. Sernadas, C. Sernadas, C. Caleiro, T. Mossakowski (2000). Categorical Fibring of Logics with Terms and Binding Operators. In D. Gabbay, Rijke, M. de (Hrsg.), Frontiers of Combining Systems 2, S. 295–316, Studies in Logic and Computation. Research Studies Press.   detail   postscript
H. Shi (2000). Java2CSP: A System for Verifying Concurrent Java Programs. In G. Schellhorn, W. Reif (Hrsg.), FM-TOOLS 2000, Nr. 2000-07, S. 111–115, Ulmer Informatik-Berichte.   detail   postscript
H. Shi, J. Peleska, M. Kouvaras (2000). Combining Methods for the Analysis of a Fault-Tolerant System. In Bob Werner (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.   detail   postscript
Karsten Sohr (2000). Sandkastenspiele. In c’t, Nr. 11, S. 226–232.   detail
S. Werner, B. Krieg-Brückner, T. Herrmann (2000). Modelling Navigational Knowledge by Route Graphs. In C. Freksa, C. Habel, K.F. Wender (Hrsg.), Spatial Cognition II, Band 1849, S. 295–317, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
M. Wünstel, D. Polani, T. Uthmann, J. Perl (2000). Behavior Classification with Self-Organizing Maps. In P. Stone, T. Balch, G. Kraetzschmar (Hrsg.), RoboCup 2000: Robot Soccer. World Cup IV, S. 108–118, Lecture Notes in Computer Science. RoboCup 2000 Scientific Challenge Award.   detail   pdf

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.   detail   pdf   postscript
B. Buth, Jan Peleska, Hui Shi (1999). Combining Methods for the Analysis of a Fault-Tolerant System. In Proceedings of 12th International Software Quality Week.   detail
M. Cerioli, T. Mossakowski, H. Reichel (1999). From total equational to partial first order logic. In E. Astesiano, H.-J.~Kreowski, B.~Krieg--Brückner (Hrsg.), Algebraic Foundations of Systems Specifications, S. 31–104, IFIP State-of-the-Art Reports. Springer Verlag, London.   detail
Horst Herrlich, Lutz Schröder (1999). Composing special epimorphisms and retractions. In Cahiers de Topologie et Géométrie Différentielle catégoriques, Band 40, S. 221–226.   detail
B. Krieg-Brückner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer (1999). UniForM Workbench, Universelle Entwicklungsumgebung für Formale Methoden; Schlussbericht. Band 9, Monographs of the Bremen Institute of Safe Systems (BISS). Shaker Verlag, Postfach 1290, 52013 Aachen.   detail
B. Krieg-Brückner (1999). UniForM Perspectives for Formal Methods. In D. Hutter, W. Stephan, P. Traverso, M. Ullmann (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.   detail
B. Krieg-Brückner, J. Peleska, E.-R. Olderog, A. Baer (1999). The UniForM Workbench, a Universal Develop­ment Environment for Formal Methods. In J.M. Wing, J. Woodcock, J. Davies (Hrsg.), FM'99, Formal Methods. Proceedings, 2 (1709), S. 1186–1205, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
A. Lankenau, O. Meyer (1999). Formal Methods in Robotics: Fault Tree Based Verification. In Proc. of Quality Week Europe.   detail   postscript
Christoph Lüth, Burkhart Wolff (1999). Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. In Journal of Functional Programming, 9 (2), S. 167–189.   detail   pdf   postscript
Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner (1999). TAS and IsaWin: Tools for Transformational Program Developkment and Theorem Proving. In J.-P. Finance (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.   detail   postscript
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.   detail     www   postscript
Till Mossakowski, Markus Roggenbach (1999). The datatypes REAL and COMPLEX in CASL. CoFI note M-7.   detail     www
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.   detail   postscript
Markus Roggenbach, Till Mossakowski (1999). Proposal of some annotations and literal syntax in CASL. CoFI note L-11.   detail     www
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.   detail   pdf
T. Röfer (1999). Route Navigation and Panoramic Image Processing. In Ausgezeichnete Informatikdissertationen 1998, S. 132–141. B. G. Teubner, Stuttgart, Leipzig.   detail
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.   detail   postscript
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.   detail   postscript
Lutz Schröder (1999). Composition graphs and free extensions of categories. Universität Bremen. PhD Thesis.   detail
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.   detail
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.   detail

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.   detail
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.   detail   postscript
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.   detail
M. Fröhlich (1998). Inkrementelles Graphlayout im Visualisierungssystem daVinci.M. Gogolla, H.-J. Kreowski, B. Krieg-Brückner, J. Peleska, B.-H. Schlingloff, H. Sczerbicka (Hrsg.), Nr. 6, BISS Monographs. Shaker Verlag, Postfach 1290, 52013 Aachen.   detail
Anne Haxthausen, Bernd Krieg-Brückner, Till Mossakowski (1998). Extending CASL with higher-order functions -- design proposal. CoFI note L-8.   detail     www
Anne Haxthausen, Bernd Krieg-Brückner, Till Mossakowski. (1998). Subsorted partial higher-order logic as an extension of CASL. CoFI note L-10.   detail     www
B. Krieg-Brückner (1998). A Taxonomy of Spatial Knowledge for Navigation. In U. Schmid, F. Wysotzki (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.   detail
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.   detail   postscript
A. Lankenau, O. Meyer, B. Krieg-Brückner (1998). Safety in Robotics: The Bremen Autonomous Wheelchair. In Proceedings of the 5th Int. Workshop on Advanced Motion Control (AMC '98), S. 524–529.   detail   postscript
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.   detail
Christoph Lüth (1998). Categorical Term Rewriting: Monads and Modularity. University of Edinburgh.   detail
T. Mossakowski, Kolyang, B. Krieg-Brückner (1998). Static Semantic Analysis and Theorem Proving for CASL. In F. Parisi-Pressice (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.   detail   postscript
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.   detail     www   postscript
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.   detail     www   postscript
Till Mossakowski (1998). Two "functional programming" sublanguages of CASL. CoFI note L-9.   detail     www
Till Mossakowski (1998). Standard annotations for parsers and static semantic checkers - a proposal. CoFI note T-6.   detail     www
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.   detail   postscript
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.   detail   postscript
T. Röfer (1998). Panoramic Image Processing and Route Navigation. Nr. 7, BISS Monographs. Shaker-Verlag.   detail   postscript
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.   detail   postscript
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.   detail   postscript
U. Burkard, M. Wünstel (1998). Simulationssoftware zur Quantenmechanik. misc. Gewinner der nationalen Ausscheidung des 2. Europäischen Bildungssoftware- und Multimedia-Wettbewerbs.   detail     www

1997     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.   detail   postscript
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.   detail
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.   detail     www   postscript
J. Kollmann, A. Lankenau, A. Bühlmeier, B. Krieg-Brückner, T. Röfer (1997). Navigation of a Kinematically Restricted Wheelchair by the Parti-Game Algorithm. In Spatial Reasoning in Mobile Robots and Animals, S. 35–45. AISB-97 Workshop, Manchester University.   detail
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.   detail   postscript
A. Lankenau, O. Meyer (1997). Der autonome Rollstuhl als sicheres eingebettetes System. Master's Thesis.   detail     www
Christoph Lüth, Neil Ghani (1997). Monads and Modular Term Rewriting. In E. Moggi, G. Rosolini (Hrsg.), Category Theory and Computer Science CTCS'97, Nr. 1290, Lecture Notes in Computer Science. Springer.   detail   postscript
T. Mossakowski, A. Tarlecki, W. Pawlowski (1997). Combining and Representing Logical Systems. In E. Moggi, G. Rosolini (Hrsg.), Category Theory and Computer Science, 7th Int. Conf., Band 1290, S. 177–196, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
Till Mossakowski (1997). Sublanguages of CASL. CoFI note L-7.   detail     www
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.   detail   postscript
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.   detail   postscript
S. Werner, B. Krieg-Brückner, H.A. Mallot, K. Schweitzer, C. Freksa (1997). Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation. In M. Jarke, K. Pasedach, K. Pohl (Hrsg.), Informatik ´97, S. 41–50. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

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.   detail   postscript
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.   detail
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.   detail   postscript
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.   detail     www   postscript
T. Mossakowski (1996). Using limits of parchments to systematically construct institutions of partial algebras. In M. Haveraaen, O. Owe, O.-J. Dahl (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.   detail     www   postscript
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.   detail     www