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 51 to 60 of 504.
  1. Kristian Sons; Philipp Slusallek

    Towards a 3D transmission format for the Web

    Position Paper, 9th International AR Standards Community Meeting, N.N. Vol. N.N. 5/2013.

  2. Beata Turonova; Lukas Marsalek; Tomás Davidovic; Philipp Slusallek

    Progressive Stochastic Reconstruction Technique for Cryo Electron Tomography

    In: SIGGRAPH Asia 2013 Posters. ACM SiggraphAsia (SigAsia-13), November 19-22, Hong Kong, Pages 11:1-11:1, ISBN 978-1-4503-2634-6, ACM, 2013.

  3. Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler

    Reducing the depth of quantum circuits using additional circuit lines

    In: International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC), Pages 221-233, …

  4. Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler

    Exact Ttemplate Matching using Boolean Satisfiability

    In: International Symposium on Multiple-Valued Logic. International Symposium on Mathematical Foundations of Computer Science (MFCS), Pages 328-333, …

  5. Mixed Intention Sets in Dialogue Planning

    In: 43. Jahrestagung der Gesellschaft für Informatik e.V. (GI) (Informatik 2013), Koblenz, Germany. Jahrestagung der Gesellschaft für Informatik …

  6. Till Mossakowski; Markus Roggenbach; Lutz Schröder

    Specification, Transformation, Navigation. Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday

    In: Till Mossakowski; Markus Roggenbach; Lutz Schröder (Hrsg.). Electronic Communications of the EASST, Vol. 62, Pages 1-999, EASST, online, hosted by …

  7. Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

    A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

    MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and …

  8. Johannes Lemburg

    Konstruktionsprozess von Funktionsmustern

    In: Aachener Konstruktionstechnik - Mitteilungen, Pages 7-11, Shaker Verlag, 12/2013.