Skip to main content Skip to main navigation

Publications

Displaying results 241 to 250 of 14915.

  1. Yohei Kurata; Hui Shi

    Toward Heterogeneous Cardinal Direction Calculus

    In: Bärbel Mertsching; Marcus Hund; Muhammad Zaheer Aziz (Hrsg.). Proceedings of the 32nd Annual German Conference on Artifical Intelligence. German Conference on Artificial Intelligence (KI-2009), September 15-18, Paderborn, Germany, Pages 452-459, Lecture Notes in Computer Science (LNCS), Vol. 5803, ISBN 978-3-642-04616-2, Springer, Berlin, Heidelberg, 2009.

  2. Mihai Codescu; Daniel Găină

    Birkhoff Completeness in Institutions

    In: Logica Universalis, Vol. 2, No. 2, Pages 277-309, Birkhäuser Basel, 2008.

  3. Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

    The VSE Refinement Method in HETS

    In: K. Breitman; A. Cavalcanti (Hrsg.). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009), December 9-12, Rio de Janeiro, Brazil, Lecture Notes in Computer Science (LNCS), Vol. 5885, Springer, 2009.

  4. Bernd Krieg-Brückner; Hui Shi; Bernd Gersdorf; Mathias Döhle; Thomas Röfer

    Context-Sensitive Spatial Interaction and Ambient Control

    In: Fulvio Mastrogiovanni; Nak-Young Chong (Hrsg.). Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives. Pages 513-533, IGI Global, 2009.

  5. Mihai Codescu

    Generalized Theoroidal Institution Comorphisms

    In: Andrea Corradini; Ugo Montanari (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-2008), 19th, June 13-16, Pisa, Italy, Pages 88-101, Lecture Notes in Computer Science (LNCS), Vol. 5486, ISBN 978-3-642-03428-2, Springer, Berlin, Heidelberg, 2009.

  6. Bernd Krieg-Brückner; Antonio Krüger; M. Hoffmeister; Christoph Lüth

    Kopplung von Zutrittskontrolle und Raumautomation - Eine Basis für die Interaktion mit einer intelligenten Umgebung

    In: VDI-Gesellschaft (Hrsg.). 8. Fachtagung Gebäudesicherheit und Gebäudeautomation - Koexistenz oder Integration?. Pages 37-48, VDI Berichte, Vol. 2005, Springer, Düsseldorf, 2007.

  7. Moritz Kümmerling; Gerrit Meixner

    Model-Based User Interface Development in the Automotive Industry

    In: Proceedings of the 3rd International Workshop on Multimodal Interfaces for Automotive Applications. International Workshop on Multimodal Interfaces for Automotive Applications (MIAA-11), located at in conjunction with IUI 2011, Palo Alto, Kalifornien, USA, ACM, 2011.

  8. Gerrit Meixner; Marc Seissler

    Selecting the Right Task Model for Model-based User Interface Development

    In: Proceedings of the 4th International Conference on Advances in Computer-Human Interactions. International Conference on Advances in Computer-Human Interactions (ACHI-11), February 23-28, Gosier, Guadeloupe, France, XPS (Xpert Publishing Services), 2011.

  9. David Aspinall; Christoph Lüth; Burkhart Wolff

    Assisted Proof Document Authoring

    In: Michael Kohlhase (Hrsg.). 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical Knowledge Management (MKM-2005), July 15-17, Bremen, Germany, Pages 65-80, Lecture Notes in Artificial Intelligence, Vol. 3863, ISBN 978-3-540-31430-1, Springer, Berlin, Heidelberg, 2005.

  10. David Aspinall; Serge Autexier; Christoph Lüth; Marc Wagner

    Towards Merging Plato and PGIP

    In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), August 22, Montreal, QC, Canada, Pages 3-21, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 226, Elsevier Science, 2009.

Year

More options