Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2015
Remove all filters
Displaying results 81 to 90 of 540.

  1. Mathias Soeken; Michael Kirkedal Thomsen; Gerhard W. Dueck; D. Michael Miller

    Self-Inverse Functions and Palindromic Circuits

    In: Reed-Muller Workshop. Reed-Muller Workshop, May 21, Waterloo, Canada, 2015.

  2. Abraham Gebru Tesfay

    Terrain Type Classification Based on Sound

    Mastersthesis, Universität des Saarlandes, 10/2015.

  3. 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 and Software Development (MODELSWARD-2015), 3rd, February 9-11, Angers, France, 2015.

  4. 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, France, 2015.

  5. 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, France, 2015.

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

  7. 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 & Proofs (TAP-2015), 9th, July 22-24, L'Aquila, Italy, Lecture Notes in Computer Science (LNCS), Vol. 9154, ISBN 978-3-319-21214-2, Springer, 2015.

  8. 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 (ICT4AgeingWell-15), May 20-22, Lissabon, Portugal, SCITEPRESS Digital Library, 2015.

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

  10. 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 13-17, Washington, DC, USA, Lecture Notes on Artificial Intelligence (LNAI), Springer, 7/2015.

Year