Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Robert Wille
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Exact One-Pass Synthesis of Digital Microfluidic Biochips
Hierarchical Synthesis of Reversible Circuits Using Positive and Negative Davio Decomposition
A Compact and Efficient SAT Encoding for Quantum Circuits
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL
Synthesis of Reversible Circuits With Minimal Lines for Large Functions
Evaluation of Cardinality Constraints on SMT-Based Debugging
Fast Exact Toffoli Network Synthesis of Reversible Logic
