Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 71 bis 80 von 377
  1. Till Mossakowski

    Hets User Guide

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

  2. 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, …

  3. 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 …

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

    Structured Formal Development in Isabelle

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

  5. Christian Hahn; Cristián Madrigal Mora; Klaus Fischer; Brian Elvesæter; Arne-Jørgen Berre; Ingo Zinnikus

    Meta-models, Models, and Model Transformations: Towards Interoperable Agents

    In: MATES. German Conference on Multiagent System Technologies (MATES-2006), 4th German Conference, September 19-20, Erfurt, Germany, Pages 123-134, …

  6. Aaron Sloman; Jeremy L. Wyatt; Jackie Chappell; Geert-Jan Kruijff

    Long Term Requirements for Cognitive Robotics

    In: Proceedings of CogRob 2006. International Cognitive Robotics Workshop (CogRob-2006), 5th, July 16-17, Boston, Massachusetts, USA, IEEE, 2006.

  7. Geert-Jan Kruijff; John Kelleher; Nick Hawes

    Information Fusion For Visual Reference Resolution In Dynamic Situated Dialogue

    In: Elisabeth Andre; Laila Dybkjaer; Wolfgang Minker; Heiko Neumann; Michael Weber. Perception and Interactive Technologies (PIT 2006). Pages 117-128, …

  8. Sabrina Wilske; Geert-Jan Kruijff

    Service robots dealing with indirect speech acts

    In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems 2006. IEEE/RSJ International Conference on Intelligent …

  9. 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 …

  10. 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, …