Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2006
Remove all filters
Displaying results 41 to 50 of 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, Kuressaare, Estonia, Pages 3-4, Lecture Notes in Computer Science, Vol. 4019, Springer, Berlin, 2006.

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

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

  6. 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.

  7. Peter Poller

    Centrally Managed System Infrastructure and Integration in COMIC

    In: Aaron Quigley; K.P. Fishkin; B. Schiele; P. Nixon (Hrsg.). Pervasive 2006 Workshop Proceedings. International Conference on Pervasive Computing (Pervasive-2006), 4th, May 7-10, Dublin, Ireland, Pages 587-594, Lecture Notes in Computer Science (LNCS), Vol. 3968, ISBN 3-00-018411-2, Springer, 2006.

  8. Ivana Kruijff-Korbayová; Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Michael Kaisser; Peter Poller; Verena Rieser; Jan Schehl

    The SAMMIE corpus of multimodal dialogues with an MP3 player

    In: Proceedings of The 5th Language Resources and Evaluation Conference. International Conference on Language Resources and Evaluation (LREC-2006), 5th, May 22-28, Genoa, Italy, Pages 2018-2023, ISBN 2-9517408-2-4, ELDA, 2006.

  9. Oliver Thomas; Michael Fellmann

    Semantische Ereignisgesteuerte Prozessketten

    In: J. Schelp; R. Winter; U. Frank; B. Rieger; K. Turowski (Hrsg.). Integration, Informationslogistik und Architektur. Data Warehousing (DW-2006), September 21-22, Friedrichshafen, Germany, GI, Bonn, 2006.

  10. Norbert Pfleger; Jan Alexandersson

    Towards Resolving Referring Expression by Implicitly Activated Referents in Practical Dialogue Systems

    In: Proceedings of the 10th Workshop on the Semantics and Pragmatics of Dialogue - BRANDIAL06. Workshop Series on the Semantics and Pragmatics of Dialogue (SEMDIAL-2006), BRANDIAL, September 11-13, Potsdam, Germany, Pages 2-9, 9/2006.

Year