665 citations
- University of BremenDE20 papers
- Constructor UniversityDE7 papers
- International UniversityKH4 papers
- Universität HamburgDE3 papers
- Boston UniversityUS2 papers
- RWTH Aachen UniversityDE2 papers
- Aalborg UniversityDK1 paper
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und MeeresforschungDE1 paper
- Arrow International (United States)US1 paper
- Brandenburg University of Applied SciencesDE1 paper
- Cancer Genetics (United States)US1 paper
- Carl von Ossietzky Universität OldenburgDE1 paper
Showing 2013Show all
2 papers · 1 filter
cs.ET2013★ 1 cited
Clarification on the Mapping of Reversible Circuits to the NCV-v1 Library
Zahra Sasanian, Robert Wille, D. Michael Miller
In previous work and motivated by a theoretical discussion on physical realizations, a new quantum gate library (the NCV-v1 library) for electronic design automation of quantum cir…
cs.AI2013★ 5 cited
Algebraic Properties of Qualitative Spatio-Temporal Calculi
Frank Dylla, Till Mossakowski, Thomas Schneider +1
Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But w…