{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,10]],"date-time":"2025-05-10T04:13:39Z","timestamp":1746850419515,"version":"3.28.0"},"reference-count":52,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"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,6]]},"DOI":"10.1109\/lics.2019.8785680","type":"proceedings-article","created":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T21:15:55Z","timestamp":1565039755000},"page":"1-14","source":"Crossref","is-referenced-by-count":3,"title":["The convex hull of finitely generable subsets and its predicate transformer"],"prefix":"10.1109","author":[{"given":"Mohammad Javad","family":"Davari","sequence":"first","affiliation":[]},{"given":"Abbas","family":"Edalat","sequence":"additional","affiliation":[]},{"given":"Andre","family":"Lieutier","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1096"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.12785\/amis\/080607"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0925-7721(95)00040-2"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/323233.323238"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0925-7721(94)00017-4"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80381-5"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00091-3"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-016-0195-y"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1353343.1353406"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009934225596"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009977923779"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/73833.73857"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/77635.77639"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7721(01)00050-5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/0221041"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/235815.235821"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BF02573985"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1955-0069388-5"},{"key":"ref23","first-page":"1067","author":"gr\u00fcnbaum","year":"0","journal-title":"Convex Polytopes"},{"journal-title":"Basic algorithms in computational geometry with imprecise input","year":"2005","author":"khanban","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.comgeo.2007.06.003"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/0146-664X(82)90023-5"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1111\/j.1749-6632.1996.tb49171.x"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005143"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"journal-title":"Convex Analysis Princeton Landmarks in Mathematics","year":"1997","author":"rockafellar","key":"ref40"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0012801"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0036946"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90045-7"},{"key":"ref17","article-title":"Domain theory","volume":"3","author":"abramsky","year":"1994","journal-title":"Handbook of Logic in Computer Science"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90072-2"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF02712873"},{"key":"ref4","first-page":"169","article-title":"Outline of a mathematical theory of computation","author":"scott","year":"1970","journal-title":"4th Annual Princeton Conference on Information Sciences and Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/304012.304040"},{"key":"ref6","first-page":"93","article-title":"The convex hull in a new model of computation","author":"edalat","year":"2001","journal-title":"Proc 13th Canad Conf Comput Geom"},{"journal-title":"Interval Analysis","year":"1966","author":"moore","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-008-9174-2"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11494645_15"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3503-6_4"},{"journal-title":"Fractals Everywhere","year":"1993","author":"barnsley","key":"ref9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1981.30.30055"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139166386"},{"journal-title":"Topology Via Logic","year":"1988","author":"vickers","key":"ref48"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(97)00156-7"},{"journal-title":"Stochastic programming with integer recourse","year":"1995","author":"van der vlerk","key":"ref42"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1137\/S0036141094265936"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90048-X"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0014"}],"event":{"name":"2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2019,6,24]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2019,6,27]]}},"container-title":["2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8765678\/8785654\/08785680.pdf?arnumber=8785680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T16:20:37Z","timestamp":1658247637000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8785680\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/lics.2019.8785680","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}