{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T05:56:52Z","timestamp":1725429412050},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/newcas.2014.6934008","type":"proceedings-article","created":{"date-parts":[[2014,11,1]],"date-time":"2014-11-01T04:44:26Z","timestamp":1414817066000},"page":"161-164","source":"Crossref","is-referenced-by-count":1,"title":["Enablingy the DC solutions characterization using a fuzzy approach"],"prefix":"10.1109","author":[{"given":"Ons","family":"Lahiouel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henda","family":"Aridhi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed H.","family":"Zaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sofiene","family":"Tahar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1002\/9780470891179"},{"key":"14","article-title":"DC operating point analysis:a formal approach","author":"zaki","year":"2009","journal-title":"Workshop Formal Verification of Analog Circuits"},{"journal-title":"Differential Equations Dynamical Systems and Linear Algebra","year":"1974","author":"hirsch","key":"11"},{"journal-title":"Documentation Center","article-title":"MATLAB","year":"2014","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.294"},{"key":"2","first-page":"196","article-title":"Piecewise linear modeling of nonlinear devices for formal verification of analog circuits","author":"zhang","year":"2012","journal-title":"Formal Methods in Computer Aided Design"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1587\/nolta.3.287"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/59.780938"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-0015-5","author":"horst","year":"2000","journal-title":"Introduction to Global Optimization"},{"journal-title":"The Monte Carlo Method","year":"2001","author":"hazewinkel","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687401"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39675-8"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176699"}],"event":{"name":"2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS)","start":{"date-parts":[[2014,6,22]]},"location":"Trois-Rivieres, QC, Canada","end":{"date-parts":[[2014,6,25]]}},"container-title":["2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6919808\/6933969\/06934008.pdf?arnumber=6934008","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T23:26:05Z","timestamp":1498173965000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6934008\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/newcas.2014.6934008","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}