|
O. Birbach, J. Kurlbaum, T. Laue, U. Frese (2009). Tracking of Ball Trajectories with a Free Moving Camera-Inertial Sensor. In Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou (Hrsg.), RoboCup 2008: Robot Soccer World Cup XII, Band 5399, S. 49–60, Lecture Notes in Computer Science. Springer.    |
|
Oliver Birbach, Udo Frese (2009). A Multiple Hypothesis Approach for a Ball Tracking System. In J. Piater, B. Schiele, M. Fritz (Hrsg.), Computer Vision Systems, Band 5815, S. 435–444, Lecture Notes in Computer Science. Springer. |
|
Georgel Calin, Rob Myers, Dirk Pattinson, Lutz Schröder (2009). CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description). In Carlos Areces, Stephane Demri (Hrsg.), Methods for Modalities (M4M-5, 2007), Band 231, S. 41–54, Electronic Notes in Theoretical Computer Science. Elsevier Science. |
|
Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier (2009). Jacques Herbrand: Life, Logic, and Automated Deduction. In Dov M. Gabbay; John Woods; : Logic from Russell to Church, Band 5, S. 195–254, Handbook of The History of Logic. Elsevier. |
|
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. |
|
U. Frese (2009). Gutachten zur Spezifikation des Odometriealgorithmus. Deutsches Forschungszentrum für Künstliche Intelligenz, Robert-Hooke-Straße 5, 28359 Bremen. Industrieauftrag der Fa. Deuta Werke, Bergisch-Gladbach. |
|
Sergey Goncharov, Lutz Schröder, Till Mossakowski (2009). Kleene Monads: Handling Iteration in a Framework of Generic Effects. In Alexander Kurz, Andrzej Tarlecki (Hrsg.), Algebra and Coalgebra in Computer Science (CALCO 2009), Band 5728, S. 18–33, Lecture Notes in Computer Science. Springer. |
|
S. Haddadin, T. Laue, U. Frese, S. Wolf, A. Albu-Schäffer, G. Hirzinger (2009). Kick it with Elasticity: Safety and Performance in Human-Robot Soccer. In Robotics and Autonomous Systems, Special Issue on Humanoid Soccer Robots, 57 (8), S. 761–775. |
|
Shoudong Huang, Zhan Wang, Gamini Dissanayake, Udo Frese (2009). Iterated D-SLAM Map Joining -- Evaluating its performance in terms of consistency, accuracy and efficiency. In Autonomous Robots, special issue on Characterizing Mobile Robot Localization and Mapping, 27 (4), S. 409–429. |
|
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), Lecture Notes in Computer Science. Springer. To appear. |
|
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. |
|
J. Kurlbaum, U. Frese (2009). A Benchmark Dataset for Data Association. SFB/TR 8 Spatial Cognition. SFB/TR 8 Technical Report 017-02/2009. |
|
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). |
|
Marvin Schiller, Christoph Benzmüller (2009). Presenting Proofs with Adapted Granularity. In Bärbel Mertsching, Marcus Hund, Zaheer Aziz (Hrsg.), KI 2009: Advances in Artificial Intelligence - 32nd Annual German Conference on AI, Lecture Notes in Artificial Intelligence. Springer. |
|
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.. |
|
Rob Myers, Dirk Pattinson, Lutz Schröder (2009). Coalgebraic Hybrid Logic. In Luca de Alfaro (Hrsg.), Foundations of Software Science and Computation Structures (FOSSACS 2009), Band 5504, S. 137–151, Lecture Notes in Computer Science. Springer. |
|
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. |
|
Dirk Pattinson, Lutz Schröder (2009). Generic Modal Cut Elimination Applied to Conditional Logics. In Martin Giese, Arild Waaler (Hrsg.), Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Band 5607, Lecture Notes in Computer Science. Springer. |
|
T. Röfer, T. Laue, O. Bösche, I. Sieverdingbeck, T. Wiedemeyer, J.-H. Worch (2009). B-Human Team Description for RoboCup 2009. In J. Baltes, M. G. Lagoudakis, T. Naruse, S. Shiry (Hrsg.), RoboCup 2009: Robot Soccer World Cup XIII Preproceedings. RoboCup Federation. |
|
T. Röfer, T. Laue, B. Gersdorf (2009). iWalker - An Intelligent Walker providing Services for the Elderly. In Technically Assisted Rehabilitation 2009. |
|
Lutz Schröder, Dirk Pattinson (2009). PSPACE Bounds for Rank-1 Modal Logics. In ACM Transactions on Computational Logic, 10 (2:13), S. 1–33. |
|
Lutz Schröder, Till Mossakowski (2009). HasCASL: Integrated Higher-Order Specification and Program Development. In Theoretical Computer Science, 410 (12-13), S. 1217–1260. |
|
Lutz Schröder, Dirk Pattinson (2009). Strong completeness of coalgebraic modal logics. In Susanne Albers, Jean-Yves Marion (Hrsg.), International Symposium on Theoretical Aspects of Computer Science (STACS 2009), S. 673–684. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany. |
|
Lutz Schröder, Dirk Pattinson, Clemes Kupke (2009). Nominals for Everyone. In Craig Boutilier (Hrsg.), International Joint Conferences on Artificial Intelligence (IJCAI 2009), S. 917–922. AAAI Press, Menlo Park, CA. |
|
Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Jörg Siekmann (2009). Resource Adaptive Processes in Automated Reasoning Systems. In Matthew Crocker; Jörg Siekmann (Hrsg.), Resource Adaptive Cognitive Processes, (p. 28). , Lecture Notes in Artificial Intelligence. Springer, Berlin. |
|
Serge Autexier; Dominik Dietrich (2009). Atomic Metadeduction. In Bärbel Mertsching (Hrsg.), Proceedings 32nd Annual German Conference on Artificial Intelligence. 32nd Annual German Conference on Artificial Intelligence (KI-09), September 15-18, Paderborn, Germany, Germany, Lecture Notes in Artificial Intelligence. Springer-Verlag Berlin Heidelberg. |
|
Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (Hrsg.) (2008). Intelligent Computer Mathematics. Band 5144, Lecture Notes in Artificial Intelligence. Springer. |
|
D. Becker, J. Brose, D. Göhring, M. Jüngel, M. Risler, T. Röfer (2008). GermanTeam 2008. In L. Iocchi, H. Matsubara, A. Weitzenfeld, C. Zhou (Hrsg.), RoboCup 2008: Robot Soccer World Cup XII Preproceedings. RoboCup Federation. |
|
Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema (2008). Modal logics are coalgebraic. In Samson Abramsky, Erol Gelenbe, Vladimiro Sassone (Hrsg.), Visions of Computer Science, BCS International Academic Research Conference (BCS 2008), S. 129–140. British Computer Society. |
|
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. |
|
S. Huang, Z. Wang, G. Dissanayake, U. Frese (2008). Iterated SLSJF: A Sparse Local Submap Joining Algorithm with Improved Consistency. In Proceedings of the Australasian Conference on Robotics and Automation, Canberaa. |
|
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. |
|
M. Gissler, U. Frese, M. Teschner (2008). Exact Distance Computation for Deformable Objects. In Proc. Computer Animation and Social Agents. |
|
Joana Hois, Michael Wünstel, John A. Bateman, Thomas Röfer (2008). Dialog-Based 3D-Image Recognition Using a Domain Ontology. In Thomas Barkowsky, Markus Knauff, Gérard Ligozat, Daniel R. Montello (Hrsg.), Spatial Cognition V: Reasoning, Action, Interaction, International Conference Spatial Cognition 2006, Nr. 4387, S. 107–126, Lecture Notes in Artificial Intelligence. Springer-Verlag Heidelberg. |
|
Andrea Kohlhase (2008). MS PowerPoint Use from a Micro-Perspective. In AACE (Hrsg.), Proceedings of the World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008, Band 1, S. 1279–1286. AACE, Chesapeake, VA. |
|
Yohei Kurata, Hui Shi (2008). Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models. In A. Dengel (Hrsg.), Proceedings of the 31st Annual German Conference on Artifical Intelligence, Band 5243, S. 258–266, Lecture Notes in Artificial Intelligence. Springer-Verlag Berlin Heidelberg. |
|
Oliver Kutz, Till Mossakowski, Mihai Codescu (2008). Shapes of Alignments - Construction, Combination, and Computation. In Ulrike Sattler, Andrei Tamilin (Hrsg.), International Workshop on Ontologies: Reasoning and Modularity (WORM-08), Band 348, CEUR-WS online proceedings. |
|
Oliver Kutz, Dominik Lücke, Till Mossakowski (2008). Heterogeneously Structured Ontologies: Integration, Connection, and Refinement. In Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, Band 90, CRPIT. |
|
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. |
|
Christoph Lüth, Udo Frese, Holger Täubig, Dennis Walter, Daniel Hausmann (2008). SAMS Sicherheitskomponente für Autonome Mobile Serviceroboter. In Proc. ROBOTIK 2008, Band 2012, VDI-Berichte. VDI-Verlag. |
|
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter (2008). Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. In Software Engineering 2008, Lecture Notes in Informatics. GI. |
|
David Aspinall, Ewen Denney, Christoph Lüth (2008). A Tactic Language for Hiproofs. In Mathematical Knowledge Management MKM 2008, Intelligent Computer Mathematics, Band 5144, S. 339–354, Lecture Notes in Artificial Intelligence. Springer. |
|
Till Mossakowski, Anne Haxthausen, Don Sannella, Andrzej Tarlecki (2008). CASL, the Common Algebraic Specification Language. In D. Bjorner, M. Henson (Hrsg.), Logics of formal specification languages, S. 241–298, Monographs in Theoretical Computer Science . Springer-Verlag Heidelberg.  |
|
Till Mossakowski, Lutz Schröder, Sergey Goncharov (2008). A generic complete dynamic logic for reasoning about purity and effects. In J. Fiadeiro, P. Inverardi (Hrsg.), Fundamental Approaches to Software Engineering (FASE 2008), Band 4961, S. 199–214, Lecture Notes in Computer Science. Springer. |
|
Dirk Pattinson, Lutz Schröder (2008). Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. In Roberto Amadio (Hrsg.), Foundations of Software Science and Computation Structures (FOSSACS 2008), Band 4962, S. 66–80, Lecture Notes in Computer Science. Springer. |
|
Dirk Pattinson, Lutz Schröder (2008). Admissibility of Cut in Coalgebraic Logics. In J. Adamek, C. Kupke (Hrsg.), Coalgebraic Methods in Computer Science (CMCS 08), Band 203, S. 221–241, Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam. |
|
T. Röfer (2008). Region-Based Segmentation with Ambiguous Color Classes and 2-D Motion Compensation. In U. Visser, F. Ribeiro, T. Ohashi, F. Dellaert (Hrsg.), RoboCup 2007: Robot Soccer World Cup XI, Nr. 5001, S. 369–376, Lecture Notes in Artificial Intelligence. Springer. |
|
T. Röfer, T. Laue, A. Burchardt, E. Damrose, M. Fritsche, J. Müller, A. Rieskamp (2008). B-Human Team Description for RoboCup 2008. In L. Iocchi, H. Matsubara, A. Weitzenfeld, C. Zhou (Hrsg.), RoboCup 2008: Robot Soccer World Cup XII Preproceedings. RoboCup Federation. |
|
T. Röfer, T. Laue, A. Burchardt, E. Damrose, K. Gillmann, C. Graf, T. J. de Haas, A. Härtl, A. Rieskamp, A. Schreck, J.-H. Worch (2008). B-Human Team Report and Code Release 2008. Online. 72 pages. |
|
Lutz Schröder (2008). Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In Theoretical Computer Science, Band 390, S. 230–247. Extends (Schröder 2005). |
|
Lutz Schröder (2008). Linearizability of Non-expansive Semigroup Actions on Metric Spaces. In Topology and its Applications, Band 155, S. 1576–1579. Preliminary version appeared as DFKI Research Report RR-06-1, DFKI GmbH, Kaiserslautern, 2006. |
|
Lutz Schröder, Dirk Pattinson (2008). How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. In Gerhard Brewka, Jerôme Lang (Hrsg.), Principles of Knowledge Representation and Reasoning (KR 2008), S. 307–218. AAAI Press, Menlo Park, CA. To appear. |
|
Lutz Schröder, Dirk Pattinson (2008). Shallow models for non-iterative modal logics. In Andreas Dengel, Karsten Berns, Thomas Breuel, Frank Bomarius, Thomas Roth-Berghofer (Hrsg.), Advances in Artificial Intelligence (KI 2008), Band 5243, S. 324–331, Lecture Notes in Artificial Intelligence. Springer. Full version available as e-print arXiv:0802.0116. |
|
Lutz Schröder (2008). Bootstrapping Inductive and Coinductive Types in HasCASL. In Logical Methods in Computer Science, 4 (4:17), S. 1–27. |
|
Serge Autexier; Christoph Benzmueller; Dominik Dietrich; Marc Wagner (2008). Organisation, Transformation, and Propagation of Mathematical Knowledge in ΩMEGA. In Journal Mathematics in Computer Science, 2 (2), S. 253–277. |
|
Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow (2008). Preface. In Journal of Automated Reasoning, Special Issue on Formal Modeling and Verification of Critical Systems, (p. 1). . |
|
Hui Shi, Bernd Krieg-Brückner (2008). Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. In International Journal of Software and Informatics, 2 (1), S. 33–60. |
|
Hui Shi, Bernd Krieg-Brückner (2008). Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems. In KI Zeitschrift, Band 3, S. 59–61. |
|
M. Wünstel, T. Röfer (2008). Multi-Modal Scene Interpretation. In S. Timpf (Hrsg.). Künstliche Intelligenz - Themenheft Räumliche Mobilität, S. 69–71. Fachbereich KI der Gesellschaft für Informatik e.V., BöttcherIT Verlag. |
|
John Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo, Till Mossakowski (2007). Ontological Modularity and Spatial Diversity. In Spatial Cognition and Computation, 7 (1), S. 97–128. |
|
U. Frese (2007). Efficient 6-DOF SLAM with Treemap as a Generic Backend. In Proceedings of the Internation Conference on Robotics and Automation, Rome. |
|
Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe, Lutz Schröder (2007). An Institutional View on Categorical Logic. In Int J Software Informatics, 1 (1), S. 129–152. |
|
Sami Haddadin, Tim Laue, Udo Frese, Gerd Hirzinger (2007). Foul 2050: Thoughts on Physical Interaction in Human-Robot Soccer. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2007). |
|
K. Huebner (2007). Object Description and Decomposition by Symmetry Hierarchies. In V. Skala (Hrsg.), WSCG 2007 Short Paper Proceedings, S. 125–132. UNION Agency - Science Press, Plzen, Czech Republic. |
|
Michael Kohlhase, Achim Mahnke, Christine Müller (2007). Managing Variants in Document Content and Narrative Structures. In Alexander Hinneburg (Hrsg.), Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings. |
|
T. Laue, T. Röfer (2007). Integrating Simple Unreliable Perceptions for Accurate Robot Modeling in the Four-Legged League. In G. Lakemeyer, E. Sklar, D. Sorrenti, T. Takahashi (Hrsg.), RoboCup 2006: Robot Soccer World Cup X, Nr. 4434, S. 474–482, Lecture Notes in Artificial Intelligence. Springer. |
|
T. Laue, T. Röfer (2007). Particle Filter-based State Estimation in a Competitive and Uncertain Environment. In Proceedings of the 6th International Workshop on Embedded Systems. VAMK, University of Applied Sciences, Vaasa, Finland. |
|
Christoph Lüth, Bernd Krieg-Brückner (2007). Sicherheit in der Künstlichen Intelligenz. In Künstliche Intelligenz, Band 1, S. 51–52. |
|
David Aspinall, Christoph Lüth, Daniel Winterstein (2007). A Framework for Interactive Proof. In Mathematical Knowledge Management MKM 2007, Band 4573, S. 161–175, Lecture Notes in Artificial Intelligence. Springer. |
|
Klaus Lüttich, Till Mossakowski (2007). Reasoning Support for CASL with Automated Theorem Proving Systems. In J. Fiadeiro (Hrsg.), WADT 2006, Band 4409, S. 74–91. Springer-Verlag Heidelberg. |
|
C.Mandel, U.Frese (2007). Comparison of Wheelchair User Interfaces for the Paralysed: Head-Joystick vs. Verbal Path Selection from an offered Route-Set. In Proceedings of the 3rd European Conference on Mobile Robots (ECMR 2007). |
|
C. Mandel, U. Frese, T. Röfer (2007). Design Improvements for Proportional Control of Autonomous Wheelchairs Via 3DOF Orientation Tracker. In Proceedings of the 9th International Work-Conference on Artificial Neural Networks (IWANN'2007), Lecture Notes in Computer Science. Springer, Berlin. |
|
C. Mandel, T. Röfer, U. Frese (2007). Applying a 3DOF Orientation Tracker as a Human-Robot Interface for Autonomous Wheelchairs. In Proceedings of the 10th International Conference on Rehabilitation Robotics. |
|
Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Orna Grumberg, Michael Huth (Hrsg.), TACAS 2007, Band 4424, S. 519–522, Lecture Notes in Computer Science. Springer-Verlag Heidelberg. |
|
Till Mossakowski, Markus Roggenbach (2007). Structured CSP -- A Process Algebra as an Institution. In J. Fiadeiro (Hrsg.), WADT 2006, Band 4409, S. 92–110, Lecture Notes in Computer Science. Springer-Verlag Heidelberg. |
|
Till Mossakowski, Ugo Montanari, Magne Haveraaen (Hrsg.) (2007). CALCO 2007. Second conference on algebra and coalgebra in computer science. Band 4624, Lecture Notes in Computer Science. Springer-Verlag Heidelberg. |
|
Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Bernhard Beckert (Hrsg.), VERIFY 2007, 4th International Verification Workshop, Band 259, S. 119–135, CEUR Workshop Proceedings. |
|
Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki (2007). What is a Logic? (revised version). In Jean-Yves Beziau (Hrsg.), Logica Universalis, S. 111–133. Birkhäuser. |
|
C. Niehaus, T. Röfer T. Laue (2007). Gait Optimization on a Humanoid Robot using Particle Swarm Optimization. In C. Zhou, E. Pagello, E. Menegatti, S. Behnke (Hrsg.), Proceedings of the Second Workshop on Humanoid Soccer Robots in conjunction with the 2007 IEEE-RAS International Conference on Humanoid Robots. |
|
Lutz Schröder (2007). A finite model construction for coalgebraic modal logic. In Journal of Logic and Algebraic Programming (FOSSACS 06 special issue), Band 73, S. 97–110. Extends (Schröder 2006). |
|
Lutz Schröder, Dirk Pattinson (2007). Rank-1 Modal Logics are Coalgebraic. In Wolfgang Thomas, Pascal Weil (Hrsg.), International Symposium on Theoretical Aspects of Computer Science (STACS 07), Band 4393, S. 573–585, Lecture Notes in Computer Science. Springer. Extended version available. |
|
Lutz Schröder (2007). Book review: L. M. G. Feijs and H. B. M. Jonkers, Formal Specification and
Design, Cambridge University Press, 2005. The Computer Journal 50 (2007), pp. 129-130. |
|
Lutz Schröder, Till Mossakowski (2007). Coalgebraic Modal Logic in CoCASL. In José Luiz Fiadeiro (Hrsg.), Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Band 4409, S. 128–142, Lecture Notes in Computer Science. Springer. |
|
Lutz Schröder (2007). Bootstrapping Types and Cotypes in HasCASL. In Till Mossakowski, Udo Montanari (Hrsg.), Algebra and Coalgebra in Computer Science (CALCO 07), Band 4624, S. 447–462, Lecture Notes in Computer Science. Springer. Extended version available. |
|
Lutz Schröder, Dirk Pattinson (2007). Modular Algorithms for Heterogeneous Modal Logics. In Lars Arge, Andrzej Tarlecki, Christian Cachin (Hrsg.), Automata, Languages and Programming (ICALP 07), Band 4596, S. 459–471, Lecture Notes in Computer Science. Springer. |
|
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. |
|
U. Frese (2006). Treemap: An $O(log n)$ Algorithm for Indoor Simultaneous Localization and Mapping. In Autonomus Robots, 21 (2), S. 103–122. |
|
U. Frese, L. Schröder (2006). Closing a Million-Landmarks Loop. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing. |
|
U. Frese (2006). Using Treemap as a Generic Least Square Backend for 6-DOF SLAM. In Procedings of the Spatial Cognition V Workshop Robotic 3D Environment Cognition. (read the ICRA07 paper instead). |
|
Sergey Goncharov, Lutz Schröder, Till Mossakowski (2006). Completeness of Global Evaluation Logic. In Rastislav Kralovic, Pawel Urzyczyn (Hrsg.), Mathematical Foundations of Computer Science, Band 4162, S. 447–458, Lecture Notes in Computer Science. Springer, Berlin. |
|
Daniel Hausmann, Till Mossakowski, Lutz Schröder (2006). A Coalgebraic Approach to the Semantics of the Ambient Calculus. In Theoretical Computer Science, 366 (1-2), S. 121–143. Extends (Hausmann et al. 2005). |
|
K. Huebner, J. Zhang (2006). Stable Symmetry Feature Detection and Classification in Panoramic Robot Vision Systems. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, S. 3429–3434. |
|
K. Huebner (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. |
|
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. |
|
Maksym Bortin, Einar Broch Johnsen, Christoph Lüth (2006). Structured Formal Development in Isabelle. In Nordic Journal of Computing, Band 12, S. 1–20. |
|
David Aspinal, Christoph Lüth, Daniel Winterstein, Ahsan Fayyaz (2006). Proof General in Eclipse. In Eclipse Technology eXchange ETX'06. ACM Press. |
|
C. Mandel, U. Frese, T. Röfer (2006). Robot Navigation based on the Mapping of Coarse Qualitative Route Descriptions to Route Graphs. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2006), S. 205–210. |
|
Michael Wünstel, Thomas Röfer (2006). A Probabilistic Approach for Object Recognition in a Real 3-D Office Environment. In Vaclav Skala (Hrsg.), WSCG’2006 Posters Proceedings, S. 41–42. |
|
Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel (2006). Algebraic-co-algebraic specification in CoCASL. In Journal of Logic and Algebraic Programming, 67 (1-2), S. 146–197. Extends (Mossakowski et al. 2003). |
|
T. Mossakowski, S. Autexier, D. Hutter (2006). Development Graphs -- Proof Management for Structured Specifications. In Journal of Logic and Algebraic Programming, 67 (1-2), S. 114–145. |
|
Till Mossakowski (2006). Institutional 2-cells and Grothendieck institutions. In K. Futatsugi, J.-P. Jouannaud, J. Meseguer (Hrsg.), Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Band 4060, S. 124–149, Lecture Notes in Computer Science. Springer, Berlin. |
|
Till Mossakowski (2006). Monad-Based Logics for Computational Effects. In M. Johnson, V. Vene (Hrsg.), AMAST 2006, Band 4019, S. 3–4, Lecture Notes in Computer Science. Springer, Berlin. |
|
Till Mossakowski, Lutz Schröder, Stefan Wölfl (2006). A Categorical Perspective on Qualitative Constraint Calculi. In Stefan Wölfl, Till Mossakowski (Hrsg.), Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, S. 28–39. |
|
Till Mossakowski (2006). Hets User Guide. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen. |
|
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. |
|
Lutz Schröder (2006). The HasCASL Prologue - Categorical Syntax and Semantics of the Partial λ-calculus. In Theoret. Comput. Sci., Band 353, S. 1–25. |
|
Lutz Schröder (2006). A Finite Model Construction for Coalgebraic Modal Logic. In Luca Aceto, Anna Ingólfsdóttir (Hrsg.), Foundations Of Software Science And Computation Structures, Band 3921, S. 157–171, Lecture Notes in Computer Science. Springer, Berlin. EATCS Best Paper Award at ETAPS 2006. |
|
Lutz Schröder, Dirk Pattinson (2006). PSPACE Bounds for Rank 1 Modal Logics. In Rajeev Alur (Hrsg.), Logic in Computer Science (LICS 06), S. 231–240. IEEE. Presentation slides available. |
|
Stefan Wölfl, Till Mossakowski (Hrsg.) (2006). Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings. |
