Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 377.
  1. Till Mossakowski; Lutz Schröder; Stefan Wölfl

    A Categorical Perspective on Qualitative Constraint Calculi

    In: Stefan Wölfl; Till Mossakowski (Hrsg.). Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006. Qualitative Constraint Calculi - Application and Integration. Workshop (KI-2006), located at 29th Annual German Conference on Artificial Intelligence, June 14-19, Bremen, Germany, Pages 28-39, 2006.

  2. Till Mossakowski

    Hets User Guide

    Department of Computer Science; Universität Bremen, o.A. 2006.

  3. Till Mossakowski

    Monad-Based Logics for Computational Effects

    In: M. Johnson; V. Vene (Hrsg.). AMAST 2006. International Conference on Algebraic Methodology and Software Technology (AMAST-06), 11th, July 5-8, Kuressaare, Estonia, Pages 3-4, Lecture Notes in Computer Science, Vol. 4019, Springer, Berlin, 2006.

  4. Till Mossakowski

    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. Pages 124-149, Lecture Notes in Computer Science (LNCS), Vol. 4060, ISBN 354035462X, Springer, Berlin, 2006.

  5. Maksym Bortin; Einar Broch Johnsen; Christoph Lüth

    Structured Formal Development in Isabelle

    In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.

  6. David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz

    Proof General in Eclipse

    In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, located at OOPSLA 2006, October 22-26, Portland, OR, USA, ACM Press, 2006.

  7. Stefan Wölfl; Till Mossakowski (Hrsg.)

    Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings

    German Conference on Artificial Intelligence (KI-2006), located at 29th annual German Conference on Artificial Intelligence, June 14, Bremen, Germany, ISBN 3-88722-666-6, 2006.

  8. Tim Laue; Thomas Röfer

    Getting Upright: Migrating Concepts and Software from Four-Legged to Humanoid Soccer Robots

    In: Enrico Pagello; Changjiu Zhou; Emanuele Menegatti (Hrsg.). Proceedings of the Workshop on Humanoid Soccer Robots in conjunction with the 2006 IEEE International Conference on Humanoid Robots. Workshop on Humanoid Soccer Robots (Humanoids-06), located at 2006 IEEE-RAS International Conference on Humanoid Robots, December 4-6, Genova, Italy, 2006.

  9. Kai Hübner; J. Zhang

    Stable Symmetry Feature Detection and Classification in Panoramic Robot Vision Systems

    In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2006), October 9-15, Bejing, China, Pages 3429-3434, ISBN 1-4244-0259-X, 2006.

  10. Tim Schwartz; Ralf Jung

    A Development Cycle for Ambient System Design

    In: Thomas Pederson; Helder Pinto; Michael Schmitz; Christoph Stahl; Lucia Terrenghi (Hrsg.). Proceedings of Modelling and Designing User Assistance in Intelligent Environments. Modeling and Designing User Assistance in Intelligent Environments (MODIE), Pages 13-17, Saarland University, 2006.