Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 504.
  1. 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, Springer, 2013.

  2. 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, IEEE, 2013.

  3. Roland Schregle; Cornelia Denk; Philipp Slusallek; Mashuda Glencross

    Grand Challenges: Material Models in Automotive

    In: H. Rushmeier; R. Klein (Hrsg.). Eurographics Workshop on Material Appearance Modeling. Eurographics Symposium on Rendering (EGSR-2013), Issues and Acquisition, located at Eurographics, June 19-21, Zaragoza, Spain, Pages 1-6, MAM, Vol. 13, ISBN 978-3-905674-48-4, Eurographics Association, Aire-la-Ville, Switzerland, 6/2013.

  4. Stefan Popov; Iliyan Georgiev; Philipp Slusallek; Carsten Dachsbacher

    Adaptive Quantization Visibility Caching

    In: I. Navazo; P. Poulin (Hrsg.). Computer Graphics Forum, Vol. 32, No. 2, Pages 399-408, The Eurographics Association , 5/2013.

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

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

  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 Information Sciences, 2013.

  8. Christoph Igel; Martin Haag

    Innovative e-Learning Technologies in Medicine and Healthcare.

    In: M. Fischer; N Graf (Hrsg.). GMS Medical Informatics, Biometry and Epidemiology (MIBE), 2013.