Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 101 to 110 of 541.
  1. Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

    Compiled Symbolic Simulation for SystemC

    In: 35th International Conference On Computer Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-35), November 7-10, …

  2. Florian Cordes; Ajish Babu

    SherpaTT: A Versatile Hybrid Wheeled-Leg Rover

    In: Proceedings of the 13th International Symposium on Artificial Intelligence, Robotics and Automation In Space. International Symposium on …

  3. Robert Wille; Oliver Keszöcze; Lars Othmer; Michael Kirkedal Thomsen; Rolf Drechsler

    Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs

    In: 8th International Conference on Reversible Computation. International Conference on Reversible Computation (RC), 2016.

  4. Oliver Keszöcze; Robert Wille

    Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision

    In: Frank Oppenheimer; Julio Luis Medina Pasaje. Languages, Design Methods, and Tools for Electronic System Design. Pages 101-112, Springer, 2016.

  5. Mathias Soeken; Nabila Abdessaied; Rolf Drechsler

    A framework for reversible circuit complexity

    In: Bernd Steinbach. Problems and New Solutions in the Boolean Domain. Pages 327-341, Cambridge Scholars Publishing, 2016.

  6. Jannis Stoppe; Arved Friedemann; Rolf Drechsler

    SystemCDG - AI Based Coverage Driven Stimuli Generation for SystemC

    In: 25th International Workshop on Logic & Synthesis . International Workshop on Logic & Synthesis (IWLS-25), June 10-11, Austin, USA, 2016.

  7. Sara Farouk Elkasrawi; Ahmed Abdelsamad; Syed Saqib Bukhari; Andreas Dengel

    What you see is what you get? Automatic Image Verification for Online News Content

    In: 12th IAPR International Workshop on Document Analysis Systems. IAPR International Workshop on Document Analysis Systems (DAS-2016), April 11-14, …

  8. Philipp Blandfort; Tushar Karayil; Damian Borth; Andreas Dengel

    Introducing Concept And Syntax Transition Networks for Image Captioning

    In: ICMR 2016 Conference Proceedings. ACM International Conference on Multimedia Retrieval (ICMR), New York, USA, ACM, New York, NY, USA, 6/2016.

  9. Nabila Abdessaied; Rolf Drechsler

    Reversible and Quantum Circuits

    Springer, 2016.

  10. Rolf Drechsler; Robert Wille

    Languages, Design Methods, and Tools for Electronic System Design

    Springer International Publishing, 2016.