{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T13:23:15Z","timestamp":1649078595306},"reference-count":8,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Computer Mathematics: Computer Systems Theory"],"published-print":{"date-parts":[[2018,10,2]]},"DOI":"10.1080\/23799927.2018.1535525","type":"journal-article","created":{"date-parts":[[2018,10,16]],"date-time":"2018-10-16T12:52:27Z","timestamp":1539694347000},"page":"215-229","update-policy":"http:\/\/dx.doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["Polyhedron over-approximation for complexity reduction in static analysis"],"prefix":"10.1080","volume":"3","author":[{"given":"Yassamine","family":"Seladji","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Tlemcen, Tlemcen, Algeria"}]},{"given":"Zheng","family":"Qu","sequence":"additional","affiliation":[{"name":"Department of Mathematics, The University of Hong Kong, Hong Kong, People's Republic of China"}]}],"member":"301","published-online":{"date-parts":[[2018,10,30]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-005-0061-1"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1287\/opre.39.6.945"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/0041-5553(68)90115-8"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1137\/0217060"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1145\/375827.375845"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0199-5"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"CIT0023","volume-title":"Fundamentals of Convex Analysis","author":"Urrut H.","year":"2004"}],"container-title":["International Journal of Computer Mathematics: Computer Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/23799927.2018.1535525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,11,24]],"date-time":"2018-11-24T22:04:58Z","timestamp":1543097098000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/23799927.2018.1535525"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,2]]},"references-count":8,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2018,10,30]]},"published-print":{"date-parts":[[2018,10,2]]}},"alternative-id":["10.1080\/23799927.2018.1535525"],"URL":"https:\/\/doi.org\/10.1080\/23799927.2018.1535525","relation":{},"ISSN":["2379-9927","2379-9935"],"issn-type":[{"value":"2379-9927","type":"print"},{"value":"2379-9935","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,10,2]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tcom20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tcom20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"}]}}