- Towards a Design Flow for Reversible 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
- Introducing Design Automation for Quantum Computing