{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T17:08:34Z","timestamp":1725383314653},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,11]]},"DOI":"10.1109\/iccad.2007.4397241","type":"proceedings-article","created":{"date-parts":[[2008,1,9]],"date-time":"2008-01-09T14:22:47Z","timestamp":1199888567000},"page":"40-47","source":"Crossref","is-referenced-by-count":5,"title":["A geometric approach for early power grid verification using current constraints"],"prefix":"10.1109","author":[{"given":"Imad A.","family":"Ferzli","sequence":"first","affiliation":[]},{"given":"Farid N.","family":"Najm","sequence":"additional","affiliation":[]},{"given":"Lars","family":"Kruse","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-0015-5","author":"horst","year":"2000","journal-title":"Introduction to Global Optimization"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718003"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24777-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382626"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1283780.1283805"},{"key":"ref1","first-page":"239","article-title":"Power grid voltage integrity verification","author":"nizam","year":"2005","journal-title":"ACM\/IEEE International Symposium on Low Power Electronics and Design"}],"event":{"name":"2007 IEEE\/ACM International Conference on Computer-Aided Design","start":{"date-parts":[[2007,11,4]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2007,11,8]]}},"container-title":["2007 IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4397222\/4397223\/04397241.pdf?arnumber=4397241","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T22:50:34Z","timestamp":1497739834000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4397241\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/iccad.2007.4397241","relation":{},"ISSN":["1092-3152"],"issn-type":[{"type":"print","value":"1092-3152"}],"subject":[],"published":{"date-parts":[[2007,11]]}}}