- Towards a Design Flow for Reversible Logic
- Compact Representations for the Design of Quantum Logic
- Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
- Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
- Exact Design of Digital Microfluidic Biochips