{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:43:33Z","timestamp":1730209413469,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1109\/codit.2019.8820696","type":"proceedings-article","created":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T01:09:32Z","timestamp":1567472972000},"page":"1096-1102","source":"Crossref","is-referenced-by-count":0,"title":["Fixed Point Computation by Exponentiating Linear Operators"],"prefix":"10.1109","author":[{"given":"Asma","family":"Mansouri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthieu","family":"Martel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oana Silvia","family":"Serea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"3347","article-title":"A bit too precise? Bounded verification of quantized digital filters, in Tools and algorithms for the construction and analysis of systems","author":"cox","year":"2012","journal-title":"18th international conference TACAS 2012 held as part of the European joint conferences on theory and practice of software ETAPS 2012"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11228-006-0019-3"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/1020098"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/435719"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_3"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1137\/0110019"},{"journal-title":"Optimization with set relations Halle-Wittenberg","year":"2005","author":"l\u00f6hne","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.3160070404"},{"key":"ref18","article-title":"Digital signal processing","author":"rao","year":"2018","journal-title":"Theory and Practice"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14325-0"},{"journal-title":"Set-Valued Analysis","year":"1990","author":"aubin","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69512-4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.09.004"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1142\/9869"},{"key":"ref8","first-page":"238252","article-title":"Abstract Interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points","volume":"4","author":"cousot","year":"1977","journal-title":"Principles of Programming Languages"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_46"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11228-005-0007-z"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-8(1:1)2012"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90030-7"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139166386"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1142\/9941"}],"event":{"name":"2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)","start":{"date-parts":[[2019,4,23]]},"location":"Paris, France","end":{"date-parts":[[2019,4,26]]}},"container-title":["2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8806019\/8820291\/08820696.pdf?arnumber=8820696","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:17:50Z","timestamp":1658261870000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8820696\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/codit.2019.8820696","relation":{},"subject":[],"published":{"date-parts":[[2019,4]]}}}