{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T23:16:39Z","timestamp":1776122199133,"version":"3.50.1"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2017,4,1]],"date-time":"2017-04-01T00:00:00Z","timestamp":1491004800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Nanotechnology Research Triangle from the Indian Statistical Institute, Kolkata"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1109\/tcad.2016.2597225","type":"journal-article","created":{"date-parts":[[2016,8,2]],"date-time":"2016-08-02T18:15:05Z","timestamp":1470161705000},"page":"614-627","source":"Crossref","is-referenced-by-count":43,"title":["Dilution and Mixing Algorithms for Flow-Based Microfluidic Biochips"],"prefix":"10.1109","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4341-5380","authenticated-orcid":false,"given":"Sukanta","family":"Bhattacharjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sudip","family":"Poddar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sudip","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juinn-Dar","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bhargab B.","family":"Bhattacharya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","year":"2016","journal-title":"FloSPA"},{"key":"ref30","year":"2016","journal-title":"Bio-Protocol"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1039\/b820557b"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1039\/c2lc21204h"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3390\/s110605754"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1038\/nrd3799"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1039\/C4LC01459F"},{"key":"ref15","author":"ducr\u00e9e","year":"2004","journal-title":"FlowMap -Microfluidics Roadmap for the Life Sciences"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1039\/b714536e"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1039\/B314962E"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"1114","DOI":"10.7873\/DATE.2015.0427","article-title":"Volume-Oriented Sample Preparation for Reactant Minimization on Flow-Based Microfluidic Biochips with Multi-Segment Mixers","author":"chi-mei huang","year":"2015","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.biophys.36.040306.132646"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2014.7001383"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2418286"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593135"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2061790"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2323200"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2629578"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2284010"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2714562"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-006-9032-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1039\/b715524g"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.8"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2440312"},{"key":"ref22","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proc TACAS"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3390\/ijms12053263"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012412916446"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2438152"},{"key":"ref26","author":"kroening","year":"2008","journal-title":"Decision Procedures An Algorithmic Point of View"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1217856.1217859"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/7880730\/07529081.pdf?arnumber=7529081","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:19:45Z","timestamp":1642004385000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7529081\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":31,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2016.2597225","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4]]}}}