Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2006
Remove all filters
Displaying results 81 to 90 of 377.

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

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

    Structured Formal Development in Isabelle

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

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

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

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

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

  7. Berthold Crysmann

    Coordination

    In: Keith Brown (Hrsg.). Encyclopedia of Language & Linguistics. Pages 183-196, Elsevier, Oxford, 2006.

  8. Oliver Thomas; Philipp Walter; Peter Loos; Michael Schlicker; Stefan Leinenbach

    Mobile Anwendungssysteme für effiziente Dienstleistungprozesse im technischen Kundendienst

    In: C. Hochberger; R. Liskowsky (Hrsg.). Informatik 2006: Informatik für Menschen, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik (GI). …

  9. Oliver Thomas; Otmar Adam; Peter Loos

    Using Reference Models for Business Process Improvement: A Fuzzy Paradigm Approach

    In: W. Abramowicz; H. C. Mayr (Hrsg.). Business Information Systems: 9th International Conference on Business Information Systems (BIS 2006). …

  10. Otmar Adam; Oliver Thomas; Peter Loos

    Soft Business Process Intelligence - Verbesserung von Geschäftsprozessen mit Neuro-Fuzzy-Methoden

    In: F. Lehner; H. Nösekabel (Hrsg.). Multikonferenz Wirtschaftsinformatik 2006. Multikonferenz Wirtschaftsinformatik (MKWI), Pages 57-69, Vol. 2, …

Year