Robotics Innovation Center

Seite 56 von 64.

1. Phillip Niemann; Robert Wille; Rolf Drechsler

   Equivalence Checking in Multi-level Quantum Systems

   In: International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC-14), July 10-11, Kyoto, Japan, Springer, 2014.

2. Nabila Abdessaied; Mathias Soeken; Rolf Drechsler

   Quantum Circuit Optimization by Hadamard Gate Reduction

   In: International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC-14), 6th Conference on Reversible Computation, July 10-11, Kyoto, Japan, Springer, 2014.

3. Michael Miller; Mathias Soeken; Rolf Drechsler

   Mapping NCV Circuits to Optimized Clifford+T Circuits

   In: International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC-14), 6th, July 10-11, Kyoto, Japan, Springer, 2014.

4. Judith Peters; Robert Wille; Rolf Drechsler

   Generating SystemC Implementations for Clock Constraints specified in UML/MARTE CCSL

   In: International Conference on Engineering of Complex Computer Systems - Proceedings. International Conference on Engineering of Complex Computer Systems (ICECCS-14), 19th International Conference on Engineering of Complex Computer Systems , August 4-7, Tianjin, China, 2014.

5. Nicole Drechsler; Andre Sülflow; Rolf Drechsler

   Incorporating User Preferences in Many-Objective Optimization using Relation epsilon-Preferred

   In: Natural Computing , Pages o.A-o.A. Springer, 2014.

6. Melanie Diepenbeck; Ulrich Kühne; Mathias Soeken; Rolf Drechsler

   Behaviour Driven Development for Testsand Verification

   In: Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings. International Conference on Tests & Proofs (TAP-2014), 8th, July 24-25, York, United Kingdom, Lecture Notes in Computer Science (LNCS), Vol. 8570, ISBN 978-3-319-09098-6, Springer, 2014.

7. Bernd Becker; Rolf Drechsler; Stephan Eggersglüß; Matthias Sauer

   Recent Advances in SAT-based ATPG: Non-Standard Fault Models, Multi Constraints and Optimization

   In: International Conference on Design & Technology of Integrated Systems in Nanoscale Era - Proceedings. International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS-2014), May 6-8, San Torini, Greece, o.A. , 2014.

8. Hoang M. Le; Rolf Drechsler

   CRAVE 2.0: The Next Generation Constrained Random Stimuli Generator for SystemC

   In: Design and Verification Conference - Proceedings. Design and Verification Conference (DVCon Europe-15), October 14-15, München, Germany, nnn, 2014.

9. Mathias Soeken; Nabila Abdessaied; Rolf Drechsler

   A framework for reversible circuit complexity

   In: International Workshop on Boolean Problems - Proceedings. International Workshop on Boolean Problems (IWSBP-14), 11th, September 17-19, Freiberg, Germany, 2014.

10. Fritjof Bornebusch; Glaucia Cancino; Melanie Diepenbeck; Rolf Drechsler; Smith Djomkam; Alvine Fanseu; Maryam Jalali; Marc Michael; Jamal Mohsen; Max Nitze; Christina Plump; Mathias Soeken; Fred Tchambo; Toni Ziegler; Henning Ziegler

    iTac: Aspect Based Sentiment Analysis using Sentiment Trees and Dictionaries

    In: International Workshop on Semantic Evaluation - Proceedings. International Workshop on Semantic Evaluation (SemEval-14), 7th and 8th, August 29-30, Dublin, Ireland, 2014.

• vorherige
• 1
• …
• 55
• 56
• 57
• …
• 64
• nächste