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. Michael Kirkedal Thomsen; Mathias Soeken; Robin Kaarsgaard

    Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics

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

  2. 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). …

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

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

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

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

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

  8. Abraham Gebru Tesfay

    Terrain Type Classification Based on Sound

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

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

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