{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:38Z","timestamp":1772163998656,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,1,26]],"date-time":"2011-01-26T00:00:00Z","timestamp":1296000000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,1,26]]},"DOI":"10.1145\/1926385.1926419","type":"proceedings-article","created":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T09:58:22Z","timestamp":1295863102000},"page":"283-294","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":40,"title":["The tree width of auxiliary storage"],"prefix":"10.1145","author":[{"given":"P.","family":"Madhusudan","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, URBANA, IL, USA"}]},{"given":"Gennaro","family":"Parlato","sequence":"additional","affiliation":[{"name":"LIAFA, CNRS and University of Paris Diderot, France., URBANA, IL, France"}]}],"member":"320","published-online":{"date-parts":[[2011,1,26]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007352.1007390"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11779148_1"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516512.1516518"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"crossref","unstructured":"R.\n      Alur K.\n      Etessami and \n      P.\n      Madhusudan\n  . \n  A temporal logic of nested calls and returns\n  . In K. Jensen and A. Podelski editors TACAS volume \n  2988\n   of \n  Lecture Notes in Computer Science pages \n  467\n  --\n  481\n  . \n  Springer 2004\n  .  R. Alur K. Etessami and P. Madhusudan. A temporal logic of nested calls and returns. In K. Jensen and A. Podelski editors TACAS volume 2988 of Lecture Notes in Computer Science pages 467--481. Springer 2004.","DOI":"10.1007\/978-3-540-24730-2_35"},{"key":"e_1_3_2_2_5_1","volume-title":"Proceedings of the 30th Conference on FSTTCS, Leibniz International Proceedings in Informatics","author":"Atig M. F.","year":"2010","unstructured":"M. F. Atig . Global model checking of ordered multi-pushdown systems. In K. Lodaya and M. Mahajan, editors , Proceedings of the 30th Conference on FSTTCS, Leibniz International Proceedings in Informatics , Chennai, India , Dec. 2010 . To appear. M. F. Atig. Global model checking of ordered multi-pushdown systems. In K. Lodaya and M. Mahajan, editors, Proceedings of the 30th Conference on FSTTCS, Leibniz International Proceedings in Informatics, Chennai, India, Dec. 2010. To appear."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85780-8_9"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054196000191"},{"key":"e_1_3_2_2_9_1","first-page":"313","volume-title":"Handbook of Graph Grammars","author":"Courcelle B.","year":"1997","unstructured":"B. Courcelle . The expression of graph properties and graph transformations in monadic second-order logic . In G. Rozenberg, editor, Handbook of Graph Grammars , pages 313 -- 400 . World Scientific , 1997 . B. Courcelle. The expression of graph properties and graph transformations in monadic second-order logic. In G. Rozenberg, editor, Handbook of Graph Grammars, pages 313--400. World Scientific, 1997."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(99)00184-5"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002249910009"},{"key":"e_1_3_2_2_12_1","volume-title":"Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)","author":"Flum J.","year":"2006","unstructured":"J. Flum and M. Grohe . Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series) . Springer-Verlag New York, Inc. , Secaucus, NJ, USA , 2006 . J. Flum and M. Grohe. Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series). Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2006."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12032-9_19"},{"key":"e_1_3_2_2_14_1","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J. E.","year":"1979","unstructured":"J. E. Hopcroft and J. D. Ullman . Introduction to Automata Theory, Languages, and Computation . Addison-Wesley , 1979 . J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2007.9"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87531-4_5"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"crossref","unstructured":"S. La\n      Torre P.\n      Madhusudan and \n      G.\n      Parlato\n  . \n  Context-bounded analysis of concurrent queue systems\n  . In C. R. Ramakrishnan and J. Rehof editors TACAS volume \n  4963\n   of \n  Lecture Notes in Computer Science pages \n  299\n  --\n  314\n  . \n  Springer 2008\n  .   S. La Torre P. Madhusudan and G. Parlato. Context-bounded analysis of concurrent queue systems. In C. R. Ramakrishnan and J. Rehof editors TACAS volume 4963 of Lecture Notes in Computer Science pages 299--314. Springer 2008.","DOI":"10.1007\/978-3-540-78800-3_21"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542500"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_54"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/321356.321364"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_7"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90054-P"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"crossref","unstructured":"W.\n      Thomas\n    . \n      On\n     logics tilings and automata\n  . In J. L. Albert B. Monien and M. Rodr\u00ed\u0131guez-Artalejo editors ICALP volume \n  510\n   of \n  Lecture Notes in Computer Science pages \n  441\n  --\n  454\n  . \n  Springer 1991\n  .   W. Thomas. On logics tilings and automata. In J. L. Albert B. Monien and M. Rodr\u00ed\u0131guez-Artalejo editors ICALP volume 510 of Lecture Notes in Computer Science pages 441--454. Springer 1991.","DOI":"10.1007\/3-540-54233-7_154"}],"event":{"name":"POPL '11: The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Austin Texas USA","acronym":"POPL '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1926385.1926419","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1926385.1926419","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:59:51Z","timestamp":1750229991000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1926385.1926419"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,26]]},"references-count":23,"alternative-id":["10.1145\/1926385.1926419","10.1145\/1926385"],"URL":"https:\/\/doi.org\/10.1145\/1926385.1926419","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1925844.1926419","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,1,26]]},"assertion":[{"value":"2011-01-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}