Author of the publication

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

On reliability hardening in cyber-physical digital-microfluidic biochips., , , , , and . ASP-DAC, page 518-523. IEEE, (2017)Test generation games from formal specifications., , , , and . DAC, page 827-832. ACM, (2006)QoS aware Automatic Web Service Composition with Multiple objectives., and . CoRR, (2018)Flexible Droplet Routing in Active Matrix-Based Digital Microfluidic Biochips., , , , , , and . ACM Trans. Design Autom. Electr. Syst., 23 (3): 37:1-37:25 (2018)Debugging Errors in Microfluidic Executions., , and . ACSS (2), volume 996 of Advances in Intelligent Systems and Computing, page 143-158. Springer, (2019)Sample preparation with multiple dilutions on digital microfluidic biochips., , and . IET Comput. Digit. Tech., 8 (1): 49-58 (2014)A framework for evaluating branch predictors using multiple performance parameters., , and . Int. J. High Perform. Syst. Archit., 8 (4): 193-224 (2019)Verifying Coalitions in 3-Party Systems.. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 31 (9): 1439-1451 (2012)Efficient Generation of Dilution Gradients With Digital Microfluidic Biochips., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (5): 874-887 (2019)Performance Attacks on Branch Predictors in Embedded Processors with SMT Support., , , and . ICISS, volume 10717 of Lecture Notes in Computer Science, page 313-322. Springer, (2017)