{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T09:29:05Z","timestamp":1672565345660},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Added as footnote in main paper"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2016]]},"DOI":"10.1109\/tcad.2016.2585622","type":"journal-article","created":{"date-parts":[[2016,6,28]],"date-time":"2016-06-28T18:18:57Z","timestamp":1467137937000},"page":"1-1","source":"Crossref","is-referenced-by-count":3,"title":["Adaptation of Biochemical Protocols to Handle Technology-Change for Digital Microfluidics"],"prefix":"10.1109","author":[{"given":"Sukanta","family":"Bhattacharjee","sequence":"first","affiliation":[]},{"given":"Sharbatanu","family":"Chatterjee","sequence":"additional","affiliation":[]},{"given":"Ansuman","family":"Banerjee","sequence":"additional","affiliation":[]},{"given":"Tsung-Yi","family":"Ho","sequence":"additional","affiliation":[]},{"given":"Krishnendu","family":"Chakrabarty","sequence":"additional","affiliation":[]},{"given":"Bhargab","family":"Bhattacharya","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2249558"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228367"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1324177.1324178"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2303948"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2014.6742895"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429461"},{"key":"ref37","author":"chakrabarty","year":"2007","journal-title":"Synthesis Testing and Reconfiguration Techniques for Digital Microfluidic BioChips"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2290582"},{"key":"ref35","first-page":"360","article-title":"Zchaff2004: An efficient SAT solver","author":"mahajan","year":"2004","journal-title":"Proc SAT Vancouver"},{"key":"ref34","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proc TACAS"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593135"},{"key":"ref27","year":"2016","journal-title":"When Technology Enables Better Medical Practice"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2015.2509991"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1063\/1.4930865"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1039\/b814922d"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2061790"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2014.6742942"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3390\/ijms12053263"},{"key":"ref24","year":"2016","journal-title":"Quest Diagnostics Receives FDA Clearance for New Bio-Intact PTH Parathyroid Hormone Test Kit"},{"key":"ref23","year":"2016","journal-title":"In Vitro Predictive Toxicity Testing and Drug Development"},{"key":"ref26","year":"2016","journal-title":"Trovagene Announces Plans to Develop Proprietary Test for High Risk HPV Carrier Screening From Urine"},{"key":"ref25","year":"2016","journal-title":"Corrositex&#x2014;Non-Animal Dermal Corrosivity Test for Packing Group Classification"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ISED.2013.22"},{"key":"ref51","first-page":"1","article-title":"Demand-driven mixture preparation and droplet streaming using digital microfluidic biochips","author":"roy","year":"2014","journal-title":"Proc DAC"},{"key":"ref52","year":"0","journal-title":"Details of Experimental Setup"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1021\/ac401150q"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1038\/nmat2022"},{"key":"ref40","first-page":"1","article-title":"Droplet routing in the synthesis of digital microfluidic biochips","author":"su","year":"2006","journal-title":"Proc DATE"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1038\/nature13118"},{"key":"ref13","author":"ducr\u00e9e","year":"2004","journal-title":"FlowMap Microfluidics Roadmap for the Life Sciences Norderstedt Germany FlowMap Consortium"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.biophys.36.040306.132646"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1533\/9780857097040"},{"key":"ref16","year":"2016","journal-title":"Yole D&#x00E9;veloppement"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1039\/C4LC00142G"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1039\/B307628H"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1049\/iet-nbt.2011.0018"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/nprot.2013.046"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1542\/peds.2015-2122"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/2211068214562002"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms8513"},{"key":"ref8","first-page":"620","article-title":"Revisiting lab-on-a-chip technology for drug discovery","volume":"11","author":"neu\u017eil","year":"2012","journal-title":"Nature"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1021\/acsnano.5b07939"},{"key":"ref49","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/3-540-53487-3_50","article-title":"Efficient algorithms for identifying all maximal isothetic empty rectangles in VLSI layout design","volume":"472","author":"nandy","year":"1990","journal-title":"Foundations of Software Technology and Theoretical Computer Science"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429464"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/12.29469"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349318"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/76359.76368"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(95)00029-X"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2455344"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2014.7001383"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.94"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065797"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/6917053\/07501482.pdf?arnumber=7501482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:38:10Z","timestamp":1642005490000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7501482\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/tcad.2016.2585622","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}