Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 71 bis 80 von 504
  1. Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

    A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

    MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and …

  2. Alekh Jindal; Endre Palatinus; Vladimir Pavlov; Jens Dittrich

    A Comparison of Knives for Bread Slicing

    In: Peer Kröger; Stratis D. Viglas (Hrsg.). Proceedings of the 39th International Conference on Very Large Data Bases. International Conference on …

  3. Philipp Niemann; Robert Wille; Rolf Drechsler

    On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-structure

    In: Proceedings of the 5th International Conference on Reversible Comuptation. International Conference on Reversible Computation (RC-13), 5th, July …

  4. Kamalika Datta; Gaurav Rathi; Robert Wille; Indranil Sengupta; Hafizur Rahaman; Rolf Drechsler

    Exploiting Negative Control Lines in the Optimization of Reversible Circuits

    In: Proceedings of the 5th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-13), 5th, July …

  5. Arighna Deb; Debesh Kumar Das; Hafizur Rahaman; Bhargab B. Bhattacharya; Robert Wille; Rolf Drechsler

    Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure

    In: Proceedings of the 5th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-13), 5th, July …

  6. Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler

    Reducing the Depth of Quantum Circuits Usind Additional Lines

    In: Proceedings of the 5th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-13), 5th, July …

  7. Rolf Drechsler; Mathias Soeken

    Hardware-Software Co-Visualization: Developing Systems in the Holodeck

    In: IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems . IEEE Symposium on Design and Diagnostics of Electronic Circuits and …