A general and exact routing methodology for Digital Microfluidic Biochips

An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs

BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips

scholarly article published July 2017

Effects of cell shapes on the routability of Digital Microfluidic Biochips

Embedding of Large Boolean Functions for Reversible Logic

Exact Design of Digital Microfluidic Biochips

article

Exact One-pass Synthesis of Digital Microfluidic Biochips

article published in 2014

Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips

Exact routing for digital microfluidic biochips with temporary blockages

Exact routing for micro-electrode-dot-array digital microfluidic biochips

Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision

article

Generating and checking control logic in the HDL-based design of reversible circuits

Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs

Lips: An IDE for model driven engineering based on natural language processing

Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits

On the complexity of design tasks for Digital Microfluidic Biochips

Reverse BDD-based synthesis for splitter-free optical circuits

Scalable One-Pass Synthesis for Digital Microfluidic Biochips

Task-Driven Software Summarization

The complexity of error metrics

scholarly article by Oliver Keszocze et al published November 2018 in Information Processing Letters

Towards Dynamic Execution Environment for System Security Protection Against Hardware Flaws