{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:58Z","timestamp":1772164078446,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,2,27]],"date-time":"2016-02-27T00:00:00Z","timestamp":1456531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Austrian National Research Network S11403-N23 (RiSE) of the Austrian Science Fund (FWF)"},{"name":"Vienna Science and Technology Fund (WWTF)","award":["VRG11-005"],"award-info":[{"award-number":["VRG11-005"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,2,27]]},"DOI":"10.1145\/2851141.2851161","type":"proceedings-article","created":{"date-parts":[[2016,2,22]],"date-time":"2016-02-22T08:18:49Z","timestamp":1456129129000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Multi-core on-the-fly SCC decomposition"],"prefix":"10.1145","author":[{"given":"Vincent","family":"Bloemen","sequence":"first","affiliation":[{"name":"University of Twente"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfons","family":"Laarman","sequence":"additional","affiliation":[{"name":"Vienna University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[{"name":"University of Twente"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,2,27]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/73007.73035"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/103418.103458"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1150402.1150412"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp003"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2010.35"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2011.59"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11604686_18"},{"key":"e_1_3_2_2_8_1","unstructured":"Bloemen V. (2015). On-The-Fly parallel decomposition of strongly connected components. Master's thesis University of Twente.  Bloemen V. (2015). On-The-Fly parallel decomposition of strongly connected components. Master's thesis University of Twente."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"crossref","unstructured":"Bondy J. A. & Murty U. S. R. (1976). Graph theory with applications (Vol. 290). London: Macmillan.   Bondy J. A. & Murty U. S. R. (1976). Graph theory with applications (Vol. 290). London: Macmillan.","DOI":"10.1007\/978-1-349-03521-2"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646839.708670"},{"key":"e_1_3_2_2_11_1","volume-title":"Model Checking Software (pp. 49-73)","author":"\u010cern\u00e1 I.","year":"2003"},{"key":"e_1_3_2_2_12_1","unstructured":"Clarke E. M. Grumberg O. & Peled D. (1999). Model checking. MIT press.   Clarke E. M. Grumberg O. & Peled D. (1999). Model checking. MIT press."},{"key":"e_1_3_2_2_14_1","unstructured":"Cormen T. H. (2009). Introduction to algorithms. MIT press.   Cormen T. H. (2009). Introduction to algorithms. MIT press."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1137\/050623498"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/647759.735018"},{"key":"e_1_3_2_2_17_1","unstructured":"Dijkstra E. W. (1976). A discipline of programming (Vol. 1). Englewood Cliffs: prentice-hall.   Dijkstra E. W. (1976). A discipline of programming (Vol. 1). Englewood Cliffs: prentice-hall."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_22"},{"key":"e_1_3_2_2_19_1","volume-title":"Automated Technology for Verification and Analysis (pp. 381--396)","author":"Evangelista S.","year":"2011"},{"key":"e_1_3_2_2_20_1","volume-title":"Parallel and Distributed Processing (pp. 505--511)","author":"Fleischer L. K.","year":"2000"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00051-X"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2634074.2634149"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151013"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503246"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/321850.321852"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/368996.369025"},{"key":"e_1_3_2_2_28_1","volume-title":"TACAS.","author":"Kant G.","year":"2015"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/545381.545384"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"crossref","unstructured":"Kaveh A. (2014). Computational structural analysis and finite element methods. Wien: Springer.  Kaveh A. (2014). Computational structural analysis and finite element methods. Wien: Springer.","DOI":"10.1007\/978-3-319-02964-1"},{"key":"e_1_3_2_2_31_1","unstructured":"Laarman A. W. (2014). Scalable multi-core model checking. Ph.D. thesis University of Twente.  Laarman A. W. (2014). Scalable multi-core model checking. Ph.D. thesis University of Twente."},{"key":"e_1_3_2_2_32_1","volume-title":"NASA Formal Methods (pp. 32-47)","author":"Laarman A.","year":"2013"},{"key":"e_1_3_2_2_33_1","volume-title":"Hardware and Software: Verification and Testing (pp. 267--283)","author":"Laarman A.","year":"2014"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081870.1081893"},{"key":"e_1_3_2_2_35_1","unstructured":"Leskovec J. SNAP: Stanford network analysis project. http:\/\/snap.stanford.edu\/index.html last accessed 9 Sep 2015.  Leskovec J. SNAP: Stanford network analysis project. http:\/\/snap.stanford.edu\/index.html last accessed 9 Sep 2015."},{"key":"e_1_3_2_2_36_1","volume-title":"International Journal on Software Tools for Technology Transfer, 1--19.","author":"Lowe G.","year":"2015"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_22"},{"key":"e_1_3_2_2_38_1","unstructured":"Madduri K. & Bader D. A. GTgraph: A suite of synthetic graph generators. http:\/\/www.cse.psu.edu\/kxm85\/software\/GTgraph\/ last accessed 9 Sep 2015.  Madduri K. & Bader D. A. GTgraph: A suite of synthetic graph generators. http:\/\/www.cse.psu.edu\/kxm85\/software\/GTgraph\/ last accessed 9 Sep 2015."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2005.03.007"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(71)90006-8"},{"key":"e_1_3_2_2_42_1","unstructured":"Orzan S. M. (2004). On distributed verification and verified distribution. Ph.D. dissertation Vrije Universiteit.  Orzan S. M. (2004). On distributed verification and verified distribution. Ph.D. dissertation Vrije Universiteit."},{"key":"e_1_3_2_2_43_1","series-title":"LNCS","first-page":"263","volume-title":"SPIN","author":"Pel\u00e1nek R.","year":"2007"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01940892"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90024-9"},{"key":"e_1_3_2_2_46_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (pp. 613--627)","author":"Renault E.","year":"2015"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"crossref","unstructured":"Savage C. (1982). Depth-first search and the vertex cover problem. Information Processing Letters 14(5).  Savage C. (1982). Depth-first search and the vertex cover problem. Information Processing Letters 14(5).","DOI":"10.1016\/0020-0190(82)90022-9"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378533.1378560"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2014.64"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/113379.113387"},{"key":"e_1_3_2_2_51_1","volume-title":"International Scientific Conference & International Workshop Present Day Trends of Innovations","author":"Takac L.","year":"2012"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268499"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/62.2160"},{"key":"e_1_3_2_2_55_1","first-page":"286","volume-title":"International Conference on Parallel Processing (Vol. 3","author":"de la Torre P.","year":"1991"},{"key":"e_1_3_2_2_56_1","unstructured":"Tr\u00e4ff J. L. (2013). A Note on (Parallel) Depth-and Breadth-First Search by Arc Elimination. arXiv preprint arXiv:1305.1222.  Tr\u00e4ff J. L. (2013). A Note on (Parallel) Depth-and Breadth-First Search by Arc Elimination. arXiv preprint arXiv:1305.1222."},{"key":"e_1_3_2_2_57_1","volume-title":"1st Symposium in Logic in Computer Science (LICS). IEEE Computer Society.","author":"Vardi M. Y.","year":"1986"}],"event":{"name":"PPoPP '16: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","location":"Barcelona Spain","acronym":"PPoPP '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2851141.2851161","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2851141.2851161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:43:28Z","timestamp":1750211008000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2851141.2851161"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,27]]},"references-count":54,"alternative-id":["10.1145\/2851141.2851161","10.1145\/2851141"],"URL":"https:\/\/doi.org\/10.1145\/2851141.2851161","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3016078.2851161","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,2,27]]},"assertion":[{"value":"2016-02-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}