{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:10:06Z","timestamp":1775790606196,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":72,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["279307"],"award-info":[{"award-number":["279307"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001821","name":"Vienna Science and Technology Fund","doi-asserted-by":"publisher","award":["ICT15-003"],"award-info":[{"award-number":["ICT15-003"]}],"id":[{"id":"10.13039\/501100001821","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["S11407-N23"],"award-info":[{"award-number":["S11407-N23"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["291734"],"award-info":[{"award-number":["291734"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1145\/3009837.3009873","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T16:20:29Z","timestamp":1482423629000},"page":"145-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":50,"title":["Stochastic invariants for probabilistic termination"],"prefix":"10.1145","author":[{"given":"Krishnendu","family":"Chatterjee","sequence":"first","affiliation":[{"name":"IST Austria, Austria"}]},{"given":"Petr","family":"Novotn\u00fd","sequence":"additional","affiliation":[{"name":"IST Austria, Austria"}]},{"given":"\u00d0or\u0111e","family":"\u017dikeli\u0107","sequence":"additional","affiliation":[{"name":"University of Cambridge, UK"}]}],"member":"320","published-online":{"date-parts":[[2017,1]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/www-01.ibm.com\/software\/integration\/optimization\/cplexoptimizer\/","author":"Optimizer IBM ILOG CPLEX","year":"2010","unstructured":"IBM ILOG CPLEX Optimizer . http:\/\/www-01.ibm.com\/software\/integration\/optimization\/cplexoptimizer\/ , 2010 . IBM ILOG CPLEX Optimizer. http:\/\/www-01.ibm.com\/software\/integration\/optimization\/cplexoptimizer\/, 2010."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.624-641"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_19"},{"issue":"3","key":"e_1_3_2_1_4_1","first-page":"357","article-title":"Weighted sums of certain dependent random variables. Tohoku Mathematical Journal","volume":"19","author":"Azuma K.","year":"1967","unstructured":"K. Azuma . Weighted sums of certain dependent random variables. Tohoku Mathematical Journal , Second Series , 19 ( 3 ): 357 \u2013 367 , 1967 . K. Azuma. Weighted sums of certain dependent random variables. Tohoku Mathematical Journal, Second Series, 19(3):357\u2013367, 1967.","journal-title":"Second Series"},{"key":"e_1_3_2_1_5_1","volume-title":"Principles of model checking","author":"Baier C.","year":"2008","unstructured":"C. Baier and J.-P. Katoen . Principles of model checking . MIT Press , 2008 . ISBN 978-0-262-02649-9. C. Baier and J.-P. Katoen. Principles of model checking. MIT Press, 2008. ISBN 978-0-262-02649-9."},{"key":"e_1_3_2_1_6_1","first-page":"61","volume-title":"28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I","author":"Barthe G.","year":"2016","unstructured":"G. Barthe , T. Espitau , L. M. F. Fioriti , and J. Hsu . Synthesizing Probabilistic Invariants via Doob\u2019s Decomposition. In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I , pages 43\u2013 61 , 2016 . G. Barthe, T. Espitau, L. M. F. Fioriti, and J. Hsu. Synthesizing Probabilistic Invariants via Doob\u2019s Decomposition. In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, pages 43\u201361, 2016."},{"key":"e_1_3_2_1_7_1","unstructured":"M. Berkelaar K. Eikland and P. Notebaert. lp_solve: Open source (Mixed-Integer) Linear Programming system.  M. Berkelaar K. Eikland and P. Notebaert. lp_solve: Open source (Mixed-Integer) Linear Programming system."},{"key":"e_1_3_2_1_8_1","volume-title":"Probability and Measure","author":"Billingsley P.","year":"1995","unstructured":"P. Billingsley . Probability and Measure . 1995 . P. Billingsley. Probability and Measure. 1995."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32033-3_24"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11523468_109"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_48"},{"key":"e_1_3_2_1_12_1","unstructured":"ISBN 3-540-27231-3.  ISBN 3-540-27231-3."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2012.01.008"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629599"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603161"},{"key":"e_1_3_2_1_16_1","first-page":"39798","volume-title":"CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings","volume":"8044","author":"Chakarov A.","year":"2013","unstructured":"A. Chakarov and S. Sankaranarayanan . Probabilistic Program Analysis with Martingales. In N. Sharygina and H. Veith, editors, Computer Aided Verification - 25th International Conference , CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings , volume 8044 of Lecture Notes in Computer Science, pages 511\u2013526. Springer , 2013 . ISBN 978-3-642- 39798 - 39791 . A. Chakarov and S. Sankaranarayanan. Probabilistic Program Analysis with Martingales. In N. Sharygina and H. Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, volume 8044 of Lecture Notes in Computer Science, pages 511\u2013526. Springer, 2013. ISBN 978-3-642-39798-1."},{"key":"e_1_3_2_1_17_1","first-page":"10936","volume-title":"Springer International Publishing","author":"Chakarov A.","year":"2014","unstructured":"A. Chakarov and S. Sankaranarayanan . Expectation Invariants for Probabilistic Program Loops as Fixed Points, pages 85\u2013100 . Springer International Publishing , 2014 . ISBN 978-3-319- 10936 - 10937 . A. Chakarov and S. Sankaranarayanan. Expectation Invariants for Probabilistic Program Loops as Fixed Points, pages 85\u2013100. Springer International Publishing, 2014. ISBN 978-3-319-10936-7."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_15"},{"key":"e_1_3_2_1_19_1","volume-title":"Termination Analysis of Probabilistic Programs through Positivstellensatz\u2019s. CoRR, abs\/1604.07169","author":"Chatterjee K.","year":"2016","unstructured":"K. Chatterjee , H. Fu , and A. K. Goharshady . Termination Analysis of Probabilistic Programs through Positivstellensatz\u2019s. CoRR, abs\/1604.07169 , 2016 . K. Chatterjee, H. Fu, and A. K. Goharshady. Termination Analysis of Probabilistic Programs through Positivstellensatz\u2019s. CoRR, abs\/1604.07169, 2016."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837639"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009873"},{"key":"e_1_3_2_1_22_1","first-page":"54862","volume-title":"Springer Berlin Heidelberg","author":"Chen H.-Y.","year":"2014","unstructured":"H.-Y. Chen , B. Cook , C. Fuhs , K. Nimkar , and P. O\u2019Hearn . Proving Nontermination via Safety, pages 156\u2013171 . Springer Berlin Heidelberg , Berlin, Heidelberg , 2014 . ISBN 978-3-642- 54862 - 54868 . H.-Y. Chen, B. Cook, C. Fuhs, K. Nimkar, and P. O\u2019Hearn. Proving Nontermination via Safety, pages 156\u2013171. Springer Berlin Heidelberg, Berlin, Heidelberg, 2014. ISBN 978-3-642-54862-8."},{"key":"e_1_3_2_1_23_1","first-page":"41865","volume-title":"7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings","volume":"2031","author":"Col\u00f3n M.","year":"2001","unstructured":"M. Col\u00f3n and H. Sipma . Synthesis of Linear Ranking Functions. In T. Margaria and W. Yi, editors, Tools and Algorithms for the Construction and Analysis of Systems , 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings , volume 2031 of Lecture Notes in Computer Science, pages 67\u201381. Springer , 2001 . ISBN 3-540- 41865 - 41862 . M. Col\u00f3n and H. Sipma. Synthesis of Linear Ranking Functions. In T. Margaria and W. Yi, editors, Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, volume 2031 of Lecture Notes in Computer Science, pages 67\u201381. Springer, 2001. ISBN 3-540-41865-2."},{"key":"e_1_3_2_1_24_1","first-page":"45657","volume-title":"Springer Berlin Heidelberg","author":"Col\u00f3n M. A.","year":"2002","unstructured":"M. A. Col\u00f3n and H. B. Sipma . Practical Methods for Proving Program Termination, pages 442\u2013454 . Springer Berlin Heidelberg , Berlin, Heidelberg , 2002 . ISBN 978-3-540- 45657 - 45655 . M. A. Col\u00f3n and H. B. Sipma. Practical Methods for Proving Program Termination, pages 442\u2013454. Springer Berlin Heidelberg, Berlin, Heidelberg, 2002. ISBN 978-3-540-45657-5."},{"key":"e_1_3_2_1_25_1","first-page":"432","volume-title":"International Conference on Computer Aided Verification","author":"Col\u00f3n M. A.","unstructured":"M. A. Col\u00f3n , S. Sankaranarayanan , and H. B. Sipma . Linear invariant generation using non-linear constraint solving . In International Conference on Computer Aided Verification , pages 420\u2013 432 . Springer, 2003. M. A. Col\u00f3n, S. Sankaranarayanan, and H. B. Sipma. Linear invariant generation using non-linear constraint solving. In International Conference on Computer Aided Verification, pages 420\u2013432. Springer, 2003."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_4"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1568639"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1568639"},{"key":"e_1_3_2_1_30_1","volume-title":"Theory and Examples","author":"Durrett R.","year":"1996","unstructured":"R. Durrett . Probability : Theory and Examples ( Second Edition). Duxbury Press , 1996 . R. Durrett. Probability: Theory and Examples (Second Edition). Duxbury Press, 1996."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_14"},{"key":"e_1_3_2_1_32_1","first-page":"457","article-title":"A Fourier-f\u00e9le mechanikai elv alkalmaz\u00e1sai (Hungarian)","volume":"12","author":"Farkas J.","year":"1894","unstructured":"J. Farkas . A Fourier-f\u00e9le mechanikai elv alkalmaz\u00e1sai (Hungarian) . Mathematikai\u00e9s Term\u00e9szettudom\u00e1nyi \u00c9rtesit\u00f6 , 12 : 457 \u2013 472 , 1894 . J. Farkas. A Fourier-f\u00e9le mechanikai elv alkalmaz\u00e1sai (Hungarian). Mathematikai\u00e9s Term\u00e9szettudom\u00e1nyi \u00c9rtesit\u00f6, 12:457\u2013472, 1894.","journal-title":"Mathematikai\u00e9s Term\u00e9szettudom\u00e1nyi \u00c9rtesit\u00f6"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(84)80039-X"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802191"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677001"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177728976"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40196-1_17"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328897.1328459"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1137\/0214070"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_16"},{"key":"e_1_3_2_1_43_1","volume-title":"Dynamic Programming and Markov Processes","author":"Howard H.","year":"1960","unstructured":"H. Howard . Dynamic Programming and Markov Processes . MIT Press , 1960 . H. Howard. Dynamic Programming and Markov Processes. MIT Press, 1960."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622737.1622748"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"e_1_3_2_1_46_1","first-page":"49498","volume-title":"Springer Berlin Heidelberg","author":"Kaminski B. L.","year":"2016","unstructured":"B. L. Kaminski , J.-P. Katoen , C. Matheja , and F. Olmedo . Weakest Precondition Reasoning for Expected Run\u2013Times of Probabilistic Programs, pages 364\u2013389 . Springer Berlin Heidelberg , Berlin, Heidelberg , 2016 . ISBN 978-3-662- 49498 - 49491 . B. L. Kaminski, J.-P. Katoen, C. Matheja, and F. Olmedo. Weakest Precondition Reasoning for Expected Run\u2013Times of Probabilistic Programs, pages 364\u2013389. Springer Berlin Heidelberg, Berlin, Heidelberg, 2016. ISBN 978-3-662-49498-1."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/1882094.1882118"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-93900-9_17"},{"key":"e_1_3_2_1_49_1","volume-title":"Denumerable Markov Chains","author":"Kemeny J.","year":"1966","unstructured":"J. Kemeny , J. Snell , and A. Knapp . Denumerable Markov Chains . D. Van Nostrand Company , 1966 . J. Kemeny, J. Snell, and A. Knapp. Denumerable Markov Chains. D. Van Nostrand Company, 1966."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/800061.808758"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032352"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_52"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360210"},{"key":"e_1_3_2_1_56_1","first-page":"155","volume-title":"PSSE","author":"McIver A.","year":"2004","unstructured":"A. McIver and C. Morgan . Developing and Reasoning About Probabilistic Programs in pGCL . In PSSE , pages 123\u2013 155 , 2004 . A. McIver and C. Morgan. Developing and Reasoning About Probabilistic Programs in pGCL. In PSSE, pages 123\u2013155, 2004."},{"key":"e_1_3_2_1_57_1","volume-title":"Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science","author":"McIver A.","year":"2005","unstructured":"A. McIver and C. Morgan . Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science . Springer , 2005 . A. McIver and C. Morgan. Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science. Springer, 2005."},{"key":"e_1_3_2_1_58_1","first-page":"42314","volume-title":"8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings","volume":"2126","author":"Monniaux D.","year":"2001","unstructured":"D. Monniaux . An Abstract Analysis of the Probabilistic Termination of Programs. In P. Cousot, editor, Static Analysis , 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings , volume 2126 of Lecture Notes in Computer Science, pages 111\u2013126. Springer , 2001 . ISBN 3-540- 42314 - 42311 . D. Monniaux. An Abstract Analysis of the Probabilistic Termination of Programs. In P. Cousot, editor, Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, volume 2126 of Lecture Notes in Computer Science, pages 111\u2013126. Springer, 2001. ISBN 3-540-42314-1."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/211390"},{"key":"e_1_3_2_1_60_1","volume-title":"Academic Press","author":"Paz A.","year":"1971","unstructured":"A. Paz . Introduction to probabilistic automata (Computer science and applied mathematics) . Academic Press , 1971 . A. Paz. Introduction to probabilistic automata (Computer science and applied mathematics). Academic Press, 1971."},{"key":"e_1_3_2_1_61_1","unstructured":"A.\n      Podelski\n     and \n      A.\n      Rybalchenko\n  . \n  A Complete Method for the Synthesis of Linear Ranking Functions\n  . In B. Steffen and G. Levi editors Verification Model Checking and Abstract Interpretation 5th International Conference VMCAI \n  2004 Venice January 11-13 2004 Proceedings volume \n  2937\n   of \n  Lecture Notes in Computer Science pages 239\u2013\n  251\n  . Springer 2004. ISBN 3-540-20803-8.  A. Podelski and A. Rybalchenko. A Complete Method for the Synthesis of Linear Ranking Functions. In B. Steffen and G. Levi editors Verification Model Checking and Abstract Interpretation 5th International Conference VMCAI 2004 Venice January 11-13 2004 Proceedings volume 2937 of Lecture Notes in Computer Science pages 239\u2013251. Springer 2004. ISBN 3-540-20803-8."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1976.27"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(63)90290-0"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/800141.804647"},{"key":"e_1_3_2_1_65_1","unstructured":"ISBN 0-89791-017-6.  ISBN 0-89791-017-6."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594294"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462179"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462179"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1137\/0213021"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/113413.113433"},{"key":"e_1_3_2_1_71_1","first-page":"79124","volume-title":"Springer Berlin Heidelberg","author":"Velroyen H.","year":"2008","unstructured":"H. Velroyen and P. R\u00fcmmer . Non-termination Checking for Imperative Programs, pages 154\u2013170 . Springer Berlin Heidelberg , Berlin, Heidelberg , 2008 . ISBN 978-3-540- 79124 - 79129 . H. Velroyen and P. R\u00fcmmer. Non-termination Checking for Imperative Programs, pages 154\u2013170. Springer Berlin Heidelberg, Berlin, Heidelberg, 2008. ISBN 978-3-540-79124-9."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"crossref","unstructured":"D. Williams. Probability with Martingales. 1991.  D. Williams. Probability with Martingales. 1991.","DOI":"10.1017\/CBO9780511813658"}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","location":"Paris France","acronym":"POPL '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009873","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3009837.3009873","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:05:33Z","timestamp":1750259133000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009873"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":72,"alternative-id":["10.1145\/3009837.3009873","10.1145\/3009837"],"URL":"https:\/\/doi.org\/10.1145\/3009837.3009873","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093333.3009873","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"2017-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}