Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2015
Remove all filters
Displaying results 121 to 130 of 540.

  1. Nils Przigoda; Robert Wille; Rolf Drechsler

    Verbesserung der Fehlersuche in inkonsistenten formalen Modellen

    In: 18. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'15). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-18), March 3-4, Chemnitz, Germany, 3/2015.

  2. Hans-Ulrich Krieger; Christian Willms

    Extending OWL Ontologies by Cartesian Types to Represent N-ary Relations in Natural Language

    In: Language and Ontologies 2015. Language and Ontologies, located at 11th International Conference on Computational Semantics, April 14, London, United Kingdom, o.A. 4/2015.

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

    Towards Line-aware Realizations of Expressions for HDL-based Synthesis of Reversible Circuits

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

  4. Eleonora Schönborn; Robert Wille; Rolf Drechsler

    Quo Vadis, Reversible Circuit Design? Towards Scaling Design and Synthesis of Reversible Circuits

    In: Reed-Muller Workshop. Reed-Muller Workshop, May 18-20, Waterloo, Ontario, Canada, 2015.

  5. Abhoy Kole; Kamalika Datta; Indranil Sengupta; Robert Wille

    Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits

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

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

  7. Abraham Gebru Tesfay

    Terrain Type Classification Based on Sound

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

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

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

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

Year