Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 101 bis 110 von 540
  1. Philipp Niemann; Saikat Basu; Amlan Chakrabarti; Niraj K. Jha; Robert Wille

    Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions

    In: 7th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-07), 7th, July 16-17, Grenoble, …

  2. Zaid Al-Wardi; Robert Wille; Rolf Drechsler

    Towards Code Optimization for Line-aware HDL-based Synthesis of Reversible Circuits

    In: 7th Conference on Reversible Computation. International Conference on Reversible Computation (RC), 7th, July 16-17, Grenoble, France, 2015.

  3. Mathias Soeken; Julia Seiter; Rolf Drechsler

    Coverage of OCL Operation Specifications and Invariants

    In: Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. International Conference on Tests …

  4. Hassan Issa; Alaa Shafaee; Stefan Agne; Stephan Baumann; Andreas Dengel

    User-Sentiment Based Evaluation for Market Fitness Trackers

    In: MONITORING, ACCESSIBILITY AND USER INTERFACES. International Conference on Information and Communication Technologies for Ageing Well and e-Health …

  5. Peter Loos; Peter Fettke; Jürgen Walter; Tom Thaler; Peyman Ardalani

    Identification of Business Process Models in a Digital World

    In: Jan vom Brocke; Theresa Schmiedel (Hrsg.). BPM - Driving Innovation in a Digital World. Pages 155-174, ISBN 978-3-319-14429-0, Springer, 2015.

  6. Structure Formation in Large Theories

    In: Cezary Kaliszyk (Hrsg.). Conference on Intelligent Computer Mathematics 2015. Conference on Intelligent Computer Mathematics (CICM-2015), July …

  7. Philipp Niemann; Frank Hilken; Martin Gogolla; Robert Wille

    Assisted Generation of Frame Conditions for Formal Models

    In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Design, Automation & Test in Europe (DATE-15), March …

  8. Arighna Deb; Robert Wille; Rolf Drechsler; Debesh Das

    An Efficient Reduction of Common Control Lines for Reversible Circuit Optimization

    In: 45th International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2015), 45th, May …

  9. Pablo Garrido; Levi Valgaerts; Hamid Sarmadi; Ingmar Steiner; Kiran Varanasi; Patrick Perez; Christian Theobalt

    VDub -- Modifying face video of actors for plausible visual alignment to a dubbed audiotrack

    In: Computer Graphics Forum, Vol. 34, No. 2, Pages 193-204, Wiley, 5/2015.

  10. CRACKER: Cracking the Language Barrier

    In: Proceedings of the 18th Annual Conference of the European Association for Machine Translation (EAMT 2015). Annual Conference of the European …