Publikationen

Seite 4 von 7.

Mathias Soeken; Max Nitze; Rolf Drechsler
Formale Methoden für Alle
In: Jürgen Ruf; Dirk Allmendinger; Matteo Michel (Hrsg.). MBMV 2014 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von …
Jannis Ulrich Stoppe; Marc Michael; Mathias Soeken; Robert Wille; Rolf Drechsler
Towards a Multi-dimensional and Dynamic Visualization for ESL Designs
In: Proceedings of the 1st Workshop on Design Automation for Understanding Hardware Designs DUHDe 2014. Workshop on Design Automation for …
Nabila Abdessaied; Mathias Soeken; Rolf Drechsler
Upper bounds for reversible circuits based on Young subgroups Information Processing Letters
In: Information Processing Letters, Vol. o.A, Elsevier, 2014.
Mathias Soeken; Christoph Lüth; Rolf Drechsler
Entwurf cyber-physikalischer Systeme hoher Qualität und Sicherheit
In: Electronic Design Automation Workshop - Proceedings. Electronic Design Automation Workshop (edaWorkshop-14), May 13-15, Warschau, Poland, VDE, …
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 …
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, …
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 & …
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, …
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 …
Heinz Riener; Mathias Soeken; Clemens Werther; Goerschwin Fey; Rolf Drechsler
metaSMT: A Unified Interface to SMT-LIB2
In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, …