Skip to main content Skip to main navigation

Publications

 

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

Displaying results 101 to 110 of 370.
  1. Frank Kirchner; Dirk Spenneberg

    Climbing & Walking Robots, Towards New Applications

    ISBN 978-3-902613-16-5, InTech, 2007.

  2. Christian Hahn; Cristián Madrigal Mora; Klaus Fischer

    Interoperability through a Platform-Independent Model for Agents

    In: Ricardo J. Gonçalves; Jörg P. Müller; Kai Mertins; Martin Zelm. Enterprise Interoperability II: New Challenges and Approaches. Pages 195-206, ISBN …

  3. Lutz Schröder; Till Mossakowski

    Coalgebraic Modal Logic in CoCASL

    In: José Luiz Fiadeiro (Hrsg.). Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. International Workshop on …

  4. Lutz Schröder

    Bootstrapping Types and Cotypes in HasCASL

    In: Till Mossakowski; Udo Montanari (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

  5. Lutz Schröder

    A finite model construction for coalgebraic modal logic

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 73, Pages 97-110, 2007.

  6. Michael Kipp; M. Neff; I. Albrecht

    An Annotation Scheme for Conversational Gestures : How to economically capture timing and form

    In: Journal on Language Resources and Evaluation, Vol. 41, No. 3-4, Pages 325-339, Springer, 2007.

  7. NATO (Hrsg.)

    Proceedings of the Workshop: NATO Advanced Study Institute on Mining Massive Data Sets for Security

    NATO Advanced Study Institute on Mining Massive Data Sets for Security (MMDSS), September 10-21, Villa Cagnola/ Gazzada, Italy, Advanced Study …