Author of the publication

A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips.

, , , and . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Robust In-Field Testing of Digital Microfluidic Biochips., , and . JETC, 14 (1): 5:1-5:17 (2018)How Secure Are Checkpoint-Based Defenses in Digital Microfluidic Biochips?, , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 40 (1): 143-156 (2021)Structural Attacks and Defenses for Flow-Based Microfluidic Biochips., , , , , , , and . IEEE Trans. Biomed. Circuits Syst., 16 (6): 1261-1275 (December 2022)A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips., , , and . CoRR, (2022)Algorithmic Challenges in Digital Microfluidic Biochips: Protocols, Design, and Test., , and . ICAA, volume 8321 of Lecture Notes in Computer Science, page 1-16. Springer, (2014)Sample Preparation with Free-Flowing Biochips using Microfluidic Binary-Tree Network., , , , , and . ISCAS, page 1-5. IEEE, (2020)Desieve the Attacker: Thwarting IP Theft in Sieve-Valve-based Biochips., , , , and . DATE, page 210-215. IEEE, (2019)Multiple Dilution Sample Preparation Using Digital Microfluidic Biochips., , and . ISED, page 188-192. IEEE, (2012)Toward Secure Microfluidic Fully Programmable Valve Array Biochips., , , , and . IEEE Trans. Very Large Scale Integr. Syst., 27 (12): 2755-2766 (2019)Algorithms for Producing Linear Dilution Gradient with Digital Microfluidics., , , , and . CoRR, (2013)