|
T. Laue, T. Röfer. 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. Springer.   |
|
Till Mossakowski. Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods. In Theoretical Computer Science. To appear.  |
|
Till Mossakowski, Andrzej Tarlecki, Razvan Diaconescu. What is a logic translation?. Winner of the universal logic 2007 contest. |
|
D. Pachur, T. Laue, T. Röfer. 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, Lecture Notes in Artificial Intelligence. Springer. |
|
Lutz Schröder, Dirk Pattinson. PSPACE Bounds for Rank-1 Modal Logics. In ACM Transactions on Computational Logic. To appear. Preprint available as e-print arXiv:0706.4044. Extends (Schröder and Pattinson 2006). |
|
Lutz Schröder, Dirk Pattinson. Rank-1 modal logics are coalgebraic . In Journal of Logic and Computation. To appear. Extends (Schröder and Pattinson STACS 2007). |
|
Lutz Schröder, Till Mossakowski. HasCASL: Integrated Higher-Order Specification and Program Development. In Theoretical Computer Science. To appear. |
|
Lutz Schröder. Bootstrapping Types and Cotypes in HasCASL. In Logical Methods in Computer Science. To appear. |
|
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. |
|
O. Birbach, J. Kurlbaum, T. Laue, U. Frese (2008). Tracking of Ball Trajectories with a Free Moving Camera-Inertial Sensor. In Proceedings of the RoboCup International Symposium, Suzhou.  |
|
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. |
|
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. |
|
Christoph Lüth, Udo Frese, Holger Täubig, Dennis Walter, Daniel Hausmann (2008). SAMS Sicherheitskomponente für Autonome Mobile Serviceroboter. In VDI-Bericht, Band 2012. 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. |
|
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. |
|
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. |
|
Georgel Calin, Rob Myers, Dirk Pattinson, Lutz Schröder (2007). CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description). In Carlos Areces, Stephane Demri (Hrsg.), Methods for Modalities (M4M-5), Electronic Notes in Theoretical Computer Science. Elsevier Science. To appear. |
|
U. Frese (2007). Efficient 6-DOF SLAM with Treemap as a Generic Backend. In Proceedings of the Internation Conference on Robotics and Automation, Rome. |
|
Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe, Lutz Schröder (2007). An Institutional View on Categorical Logic. In Int J Software Informatics, 1 (1), S. 129–152. |
|
K. Huebner (2007). Object Description and Decomposition by Symmetry Hierarchies. In V. Skala (Hrsg.), WSCG 2007 Short Paper Proceedings, S. 125–132. UNION Agency - Science Press, Plzen, Czech Republic. |
|
Michael Kohlhase, Achim Mahnke, Christine Müller (2007). Managing Variants in Document Content and Narrative Structures. In Alexander Hinneburg (Hrsg.), Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings. |
|
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, 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.), 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, L. Schröder (2006). Closing a Million-Landmarks Loop. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing. |
|
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. |
