Skip to main content Skip to main navigation

Publikationen

 

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

Aktive Filter:

Jahr: 2015
Alle Filter entfernen
Zeige Ergebnisse 71 bis 80 von 540

  1. Christoph Hilken; Jan Peleska; Robert Wille

    A Unified Formulation of Behavioral Semantics for SysML Models

    In: Modelsward 3rd International Conference on Model-Driven Engineering and Software Development. International Conference on Model-Driven Engineering …

  2. Nabila Abdessaied; Mathias Soeken; Rolf Drechsler

    Technology mapping for quantum circuits using Boolean functional decomposition

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

  3. 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, …

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

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

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

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

  8. Serge Autexier; Dieter Hutter

    Structure Formation in Large Theories

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

  9. 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 …

  10. 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 …

Jahr