{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T07:54:10Z","timestamp":1781855650450,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T00:00:00Z","timestamp":1531094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["648701"],"award-info":[{"award-number":["648701"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,9]]},"DOI":"10.1145\/3209108.3209142","type":"proceedings-article","created":{"date-parts":[[2018,6,27]],"date-time":"2018-06-27T08:14:43Z","timestamp":1530087283000},"page":"530-539","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["Polynomial Invariants for Affine Programs"],"prefix":"10.1145","author":[{"given":"Ehud","family":"Hrushovski","sequence":"first","affiliation":[{"name":"Mathematical Institute, Oxford University, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jo\u00ebl","family":"Ouaknine","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems, Saarland Informatics Campus, Germany, Department of Computer Science, Oxford University, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amaury","family":"Pouly","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems, Saarland Informatics Campus, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James","family":"Worrell","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Oxford University, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"45th International Colloquium on Automata, Languages and Programming, ICALP","author":"Almagor S.","year":"2018","unstructured":"S. Almagor, D. Chistikov, J. Ouaknine, and J. Worrell. 2018. O-Minimal Invariants for Linear Loops. In 45th International Colloquium on Automata, Languages and Programming, ICALP 2018, July 9-13, Prague, Czech Republic (LIPIcs). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/313852.314109"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1197095"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/151108"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703425861"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"A. R. Bradley and Z. Manna. 2007. The calculus of computation - decision procedures with applications to verification. Springer.","DOI":"10.5555\/1324777"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.02.028"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.03.004"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_2_1_11_1","volume-title":"varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra","author":"Cox D. A.","unstructured":"D. A. Cox, J. B. Little, and D. O'Shea. 1997. Ideals, varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra (2nd ed.). Springer-Verlag.","edition":"2"},{"key":"e_1_3_2_1_12_1","volume-title":"ATVA 2016, Chiba, Japan, October 17-20, 2016","volume":"9938","author":"de Oliveira S.","year":"2016","unstructured":"S. de Oliveira, S. Bensalem, and V Prevosto. 2016. Polynomial Invariants by Linear Algebra. In Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, Vol. 9938. 479--494."},{"key":"e_1_3_2_1_13_1","volume-title":"ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. 479--494","author":"de Oliveira S.","year":"2016","unstructured":"S. de Oliveira, S. Bensalem, and V Prevosto. 2016. Polynomial Invariants by Linear Algebra. In Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. 479--494."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.11.008"},{"key":"e_1_3_2_1_15_1","volume-title":"Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. In 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017","author":"Fijalkow N.","year":"2017","unstructured":"N. Fijalkow, P. Ohlmann, J. Ouaknine, A. Pouly, and J. Worrell. 2017. Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. In 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany. 29:1--29:13."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604138"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.4064\/bc58-0-9"},{"key":"e_1_3_2_1_18_1","volume-title":"VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science)","volume":"10747","author":"Humenberger A.","unstructured":"A. Humenberger, M. Jaroschek, and L. Kov\u00e1cs. 2018. Invariant Generation for Multi-Path Loops with Polynomial Assignments. In Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science), Vol. 10747. Springer, 226--246."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90006-8"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(78)90249-1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37651-1_8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268497"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","unstructured":"Z. Kincaid J. Cyphert J. Breck and T. W. Reps. 2018. Non-linear reasoning for invariant synthesis. PACMPL 2 POPL (2018) 54:1--54:33. 10.1145\/3158142","DOI":"10.1145\/3158142"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1999.0536"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792758"},{"key":"e_1_3_2_1_26_1","unstructured":"L. Kovacs. 2018. personal communication. (2018)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2005.19"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90001-9"},{"key":"e_1_3_2_1_29_1","first-page":"539","article-title":"On certain insoluble problems concerning matrices","volume":"57","author":"Markov A.","year":"1947","unstructured":"A. Markov. 1947. On certain insoluble problems concerning matrices. Doklady Akad. Nauk SSSR 57, 6 (1947), 539--542.","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511897184.016"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/832308.837141"},{"key":"e_1_3_2_1_32_1","unstructured":"D. W. Morris. 2001. Introduction to Arithmetic Groups. (2001). arXiv:math\/0106063."},{"key":"e_1_3_2_1_33_1","volume-title":"31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings (Lecture Notes in Computer Science)","volume":"3142","author":"M\u00fcller-Olm M.","unstructured":"M. M\u00fcller-Olm and H. Seidl. 2004. A Note on Karr's Algorithm. In Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings (Lecture Notes in Computer Science), Vol. 3142. Springer, 1016--1028."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964029"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1002\/sapm1970491105"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/3039686.3039698"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.03.003"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.01.002"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964028"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.06.003"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-43932-7"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/3002864"}],"event":{"name":"LICS '18: 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Oxford United Kingdom","acronym":"LICS '18","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE-CS\\DATC IEEE Computer Society","EACSL European Association for Computer Science Logic"]},"container-title":["Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209142","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3209108.3209142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T07:33:44Z","timestamp":1781854424000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,9]]},"references-count":42,"alternative-id":["10.1145\/3209108.3209142","10.1145\/3209108"],"URL":"https:\/\/doi.org\/10.1145\/3209108.3209142","relation":{},"subject":[],"published":{"date-parts":[[2018,7,9]]},"assertion":[{"value":"2018-07-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}