{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:37:56Z","timestamp":1729665476163,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/ipdpsw.2010.5470828","type":"proceedings-article","created":{"date-parts":[[2010,5,28]],"date-time":"2010-05-28T18:25:42Z","timestamp":1275071142000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Distributed tree decomposition of graphs and applications to verification"],"prefix":"10.1109","author":[{"given":"Stephane","family":"Grumbach","sequence":"first","affiliation":[]},{"given":"Zhilin","family":"Wu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Graph algebras and monadic second-order logic","year":"2008","author":"courcelle","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30186-8_26"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36108-1_17"},{"journal-title":"Small diameter bag tree-decompositions Technical Report RR-1326-04 LaBRI","year":"2004","author":"dourisboure","key":"ref13"},{"journal-title":"Finite Model Theory","year":"1999","author":"ebbinghaus","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.7155\/jgaa.00014"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/602220.602222"},{"journal-title":"Parameterized Complexity Theory","year":"2006","author":"flum","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/11561071_70"},{"key":"ref19","article-title":"Logical locality entails frugal distributed computation over graphs","author":"grumbach","year":"2009","journal-title":"WG 35th International Workshop on Graph-Theoretic Concepts in Computer Science"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/4221.4227"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1002\/0471478210","author":"attiya","year":"2004","journal-title":"Distributed Computing Fundamentals Simulations and Advanced Topics"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/167088.167161"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90083-3"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2008.05.016"},{"key":"ref7","first-page":"1","article-title":"A tourist guide through treewidth","volume":"11","author":"bodlaender","year":"1993","journal-title":"Acta Cybernetica"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(89)90031-0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01934985"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50010-X"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/42267.42268"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0095-8956(83)90079-5"},{"journal-title":"Graph Theory","year":"2000","author":"reinhard","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BF01691346"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jctb.2004.08.001"}],"event":{"name":"2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW 2010)","start":{"date-parts":[[2010,4,19]]},"location":"Atlanta, GA","end":{"date-parts":[[2010,4,23]]}},"container-title":["2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5465895\/5470678\/05470828.pdf?arnumber=5470828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T04:10:33Z","timestamp":1711512633000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5470828\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/ipdpsw.2010.5470828","relation":{},"subject":[],"published":{"date-parts":[[2010,4]]}}}