{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T11:25:51Z","timestamp":1763724351315,"version":"3.37.3"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1109\/tcad.2017.2702562","type":"journal-article","created":{"date-parts":[[2017,5,12]],"date-time":"2017-05-12T21:36:15Z","timestamp":1494624975000},"page":"193-202","source":"Crossref","is-referenced-by-count":28,"title":["Design of Application-Specific Architectures for Networked Labs-on-Chips"],"prefix":"10.1109","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2297-7328","authenticated-orcid":false,"given":"Andreas","family":"Grimmer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Haselmayr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8301-5184","authenticated-orcid":false,"given":"Andreas","family":"Springer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.92.054503"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1039\/b403280m"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2038698.2038733"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244178"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-010-9059-x"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380510"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.3390\/ijms12042572"},{"journal-title":"Handbook of Satisfiability","year":"2009","author":"biere","key":"ref36"},{"key":"ref35","first-page":"2526","article-title":"On the feasibility of using microfluidic technologies for communications in labs-on-a-chip","author":"leo","year":"2012","journal-title":"Proc Int Conf Commun"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2438152"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1039\/c2lc40258k"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.cej.2003.11.025"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2656106.2656118"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.77.977"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1063\/1.1629781"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593135"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858377"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/anie.200503540"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.trac.2009.11.002"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TMBMC.2015.2500569"},{"key":"ref19","first-page":"787","article-title":"Microfluidic networks: Design and test of a pure hydrodynamic switching function","author":"leo","year":"2013","journal-title":"Proc Int Conf Commun"},{"key":"ref28","first-page":"1","article-title":"Droplet routing in the synthesis of digital microfluidic biochips","author":"su","year":"2006","journal-title":"Proc Design Autom Test Europe"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1039\/b513908b"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062186"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1021\/ja037166v"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1021\/ja056641h"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2249558"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1021\/ac0480850"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1039\/b820557b"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1039\/b706364b"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1039\/b412712a"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1039\/b110474h"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/nature05062"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1021\/ac980656z"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2472564"},{"journal-title":"Microfluidic flow-based biochips","year":"2012","author":"schmidt","key":"ref45"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.nancom.2012.09.007"},{"key":"ref21","first-page":"19","article-title":"On the assessment of microfluidic switching capabilities in NLoC networks","author":"donvito","year":"2014","journal-title":"Proc Int Conf Nanoscale Comput Commun"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1039\/b903468d"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1039\/b715524g"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s10404-006-0136-1"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCOMM.2013.100813.130332"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proc Tools Algorithms Construct Anal Syst"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927264"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2017.7997034"},{"key":"ref25","first-page":"3165","article-title":"Design and assessment of a pure hydrodynamic microfluidic switch","author":"leo","year":"2013","journal-title":"Proc Int Conf Commun"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8231808\/07922550.pdf?arnumber=7922550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:24:59Z","timestamp":1642004699000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7922550\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":46,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2017.2702562","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2018,1]]}}}