{"id":"https://openalex.org/W203992939","doi":"https://doi.org/10.3990/1.9789036536561","title":"Scalable multi-core model checking","display_name":"Scalable multi-core model checking","publication_year":2014,"publication_date":"2014-03-21","ids":{"openalex":"https://openalex.org/W203992939","doi":"https://doi.org/10.3990/1.9789036536561","mag":"203992939"},"language":"en","primary_location":{"id":"doi:10.3990/1.9789036536561","doi":"https://doi.org/10.3990/1.9789036536561","is_oa":true,"landing_page_url":"https://doi.org/10.3990/1.9789036536561","pdf_url":"https://ris.utwente.nl/ws/files/6031092/thesis_A_Laarman.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"University of Twente","raw_type":"dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ris.utwente.nl/ws/files/6031092/thesis_A_Laarman.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018667026","display_name":"Alfons Laarman","orcid":"https://orcid.org/0000-0002-2433-4174","observed_orcids":["https://orcid.org/0000-0002-2433-4174"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Alfons Laarman","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5018667026"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":37,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/parallel-model-checking","display_name":"parallel model checking","score":0.8040000200271606},{"id":"https://openalex.org/keywords/scalability","display_name":"scalability","score":0.41600000858306885},{"id":"https://openalex.org/keywords/parallel-algorithms","display_name":"parallel algorithms","score":0.550000011920929},{"id":"https://openalex.org/keywords/state-space-exploration","display_name":"state space exploration","score":0.3569999933242798},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.3160000145435333}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8287853002548218},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7767852544784546},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6541470885276794},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5758489370346069},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5669509172439575},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5250380039215088},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4366813898086548},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4353179335594177},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4004684090614319},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28656840324401855},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.24290525913238525},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3990/1.9789036536561","doi":"https://doi.org/10.3990/1.9789036536561","is_oa":true,"landing_page_url":"https://doi.org/10.3990/1.9789036536561","pdf_url":"https://ris.utwente.nl/ws/files/6031092/thesis_A_Laarman.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"University of Twente","raw_type":"dissertation"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/254657a8-f0a2-40f3-a634-88a35c4db488","doi":null,"is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/254657a8-f0a2-40f3-a634-88a35c4db488","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Laarman, A 2014, 'Scalable multi-core model checking', University of Twente, Enschede. https://doi.org/10.3990/1.9789036536561","raw_type":"info:eu-repo/semantics/other"},{"id":"pmh:ut:oai:ris.utwente.nl:publications/254657a8-f0a2-40f3-a634-88a35c4db488","doi":null,"is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/scalable-multicore-model-checking(254657a8-f0a2-40f3-a634-88a35c4db488).html","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralthesis"}],"best_oa_location":{"id":"doi:10.3990/1.9789036536561","doi":"https://doi.org/10.3990/1.9789036536561","is_oa":true,"landing_page_url":"https://doi.org/10.3990/1.9789036536561","pdf_url":"https://ris.utwente.nl/ws/files/6031092/thesis_A_Laarman.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"University of Twente","raw_type":"dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W203992939.pdf","grobid_xml":"https://content.openalex.org/works/W203992939.grobid-xml"},"referenced_works_count":157,"referenced_works":["https://openalex.org/W46568314","https://openalex.org/W71772184","https://openalex.org/W97284975","https://openalex.org/W98354153","https://openalex.org/W1007052380","https://openalex.org/W1479997758","https://openalex.org/W1481204670","https://openalex.org/W1482233117","https://openalex.org/W1489260687","https://openalex.org/W1492584664","https://openalex.org/W1493300555","https://openalex.org/W1494073859","https://openalex.org/W1495368328","https://openalex.org/W1507304612","https://openalex.org/W1508631477","https://openalex.org/W1515679191","https://openalex.org/W1516771753","https://openalex.org/W1535237014","https://openalex.org/W1536007121","https://openalex.org/W1537530326","https://openalex.org/W1539345619","https://openalex.org/W1540707799","https://openalex.org/W1541059630","https://openalex.org/W1544092322","https://openalex.org/W1544607874","https://openalex.org/W1560730347","https://openalex.org/W1564340405","https://openalex.org/W1570116272","https://openalex.org/W1577525693","https://openalex.org/W1583487553","https://openalex.org/W1590315663","https://openalex.org/W1594572138","https://openalex.org/W1596602992","https://openalex.org/W1599006800","https://openalex.org/W1599932478","https://openalex.org/W1602156367","https://openalex.org/W1603163314","https://openalex.org/W1606270358","https://openalex.org/W1629693692","https://openalex.org/W1632844978","https://openalex.org/W1635966657","https://openalex.org/W1650440775","https://openalex.org/W1670747209","https://openalex.org/W1673897844","https://openalex.org/W1750494731","https://openalex.org/W1787074469","https://openalex.org/W1808518085","https://openalex.org/W1832530458","https://openalex.org/W1835119762","https://openalex.org/W1941102682","https://openalex.org/W1962072139","https://openalex.org/W1969478035","https://openalex.org/W1972065960","https://openalex.org/W1973590197","https://openalex.org/W1975657455","https://openalex.org/W1976369232","https://openalex.org/W1982129592","https://openalex.org/W1987856263","https://openalex.org/W1991709492","https://openalex.org/W1997816298","https://openalex.org/W1998976523","https://openalex.org/W2000271417","https://openalex.org/W2002555321","https://openalex.org/W2004173170","https://openalex.org/W2006553351","https://openalex.org/W2007490191","https://openalex.org/W2014243053","https://openalex.org/W2016300863","https://openalex.org/W2021685712","https://openalex.org/W2022846948","https://openalex.org/W2023808162","https://openalex.org/W2024148935","https://openalex.org/W2026591657","https://openalex.org/W2026754936","https://openalex.org/W2031525781","https://openalex.org/W2033042165","https://openalex.org/W2035939573","https://openalex.org/W2039417226","https://openalex.org/W2043100293","https://openalex.org/W2044309072","https://openalex.org/W2048340696","https://openalex.org/W2057361103","https://openalex.org/W2062897452","https://openalex.org/W2064740254","https://openalex.org/W2066210260","https://openalex.org/W2069144421","https://openalex.org/W2079157601","https://openalex.org/W2081926325","https://openalex.org/W2084802221","https://openalex.org/W2085467310","https://openalex.org/W2088572430","https://openalex.org/W2093998359","https://openalex.org/W2096698236","https://openalex.org/W2099620341","https://openalex.org/W2099899133","https://openalex.org/W2101508170","https://openalex.org/W2105859895","https://openalex.org/W2108213427","https://openalex.org/W2108801243","https://openalex.org/W2113667851","https://openalex.org/W2114270824","https://openalex.org/W2115309705","https://openalex.org/W2115559007","https://openalex.org/W2117189826","https://openalex.org/W2119646872","https://openalex.org/W2121101539","https://openalex.org/W2121186857","https://openalex.org/W2123023940","https://openalex.org/W2123814533","https://openalex.org/W2123835981","https://openalex.org/W2123910665","https://openalex.org/W2125422788","https://openalex.org/W2127133644","https://openalex.org/W2128046633","https://openalex.org/W2130413791","https://openalex.org/W2131603512","https://openalex.org/W2138161962","https://openalex.org/W2138549619","https://openalex.org/W2141881497","https://openalex.org/W2142486837","https://openalex.org/W2144362636","https://openalex.org/W2146049822","https://openalex.org/W2146579902","https://openalex.org/W2146706022","https://openalex.org/W2147895351","https://openalex.org/W2148239084","https://openalex.org/W2149336039","https://openalex.org/W2151454836","https://openalex.org/W2151689074","https://openalex.org/W2151721315","https://openalex.org/W2152849336","https://openalex.org/W2160181753","https://openalex.org/W2160675239","https://openalex.org/W2166150286","https://openalex.org/W2166422915","https://openalex.org/W2166801043","https://openalex.org/W2167626454","https://openalex.org/W2167903312","https://openalex.org/W2168702667","https://openalex.org/W2168939023","https://openalex.org/W2170732565","https://openalex.org/W2171775336","https://openalex.org/W2176659866","https://openalex.org/W2178662818","https://openalex.org/W2216559462","https://openalex.org/W2237577134","https://openalex.org/W2243482222","https://openalex.org/W2287508180","https://openalex.org/W2532626817","https://openalex.org/W2912601938","https://openalex.org/W2913334236","https://openalex.org/W2949859406","https://openalex.org/W2950082911","https://openalex.org/W2999818597","https://openalex.org/W3138459719","https://openalex.org/W3150433629","https://openalex.org/W4256027310"],"related_works":["https://openalex.org/W2712252765","https://openalex.org/W6942373066","https://openalex.org/W7098409225","https://openalex.org/W7095866353","https://openalex.org/W154404748","https://openalex.org/W2540977847","https://openalex.org/W7095945970","https://openalex.org/W7099428549","https://openalex.org/W6925299996","https://openalex.org/W2340735175"],"abstract_inverted_index":{"Prologue.Several":[0],"circumstances":[1],"contributed":[2],"to":[3,28,32,39,67,72,127,146,172,182,193,269,327,333,355,383,429,439,481,520,594,597,627,641,734,776,783,788,812,825,846,932,935,1008,1016,1020],"the":[4,15,22,40,48,73,97,134,157,165,173,202,207,222,272,301,316,320,336,357,360,386,390,411,431,468,493,514,529,539,584,587,598,610,653,695,701,719,727,743,751,789,798,820,868,916,924,928,950,955,963,1006],"exciting":[5],"and":[6,18,37,103,137,150,161,189,199,248,281,284,313,344,404,435,448,462,475,484,504,554,569,592,633,647,692,807,841,901,921,948],"educative":[7],"time":[8,87],"that":[9,60,112,184,212,235,264,291,309,368,373,389,549,704,716,726,758,768,773,800,974,995],"I":[10,52,170,214,229,251,265,279,349,369,421,453,507,525,602,615,713,717,723,755,771,793,857,877,984],"enjoyed":[11,906],"as":[12,142,204,286,296,339,402,690,694,760,893,898,966],"PhD":[13,119,205,298,779,829,900],"in":[14,47,133,335,351,378,385,399,414,450,496,501,535,545,574,586,684,781,827,836,941,1000],"Formal":[16,135],"Methods":[17,136],"Tool":[19],"group":[20,392],"at":[21,75,153,315,486],"University":[23,317],"of":[24,65,159,164,167,224,318,359,433,470,538,583,589,612,618,639,711,750,874,930,952],"Twente.I":[25],"would":[26,238],"like":[27,83,89],"mention":[29],"a":[30,44,80,84,90,101,117,130,267,297,427,455,543,561,637,687,708,848,853,871,899,943,980,988],"few":[31],"provide":[33],"some":[34,795],"more":[35,655,659],"context":[36],"meaning":[38],"subsequent":[41],"thank":[42,422,563,819],"yous.As":[43],"Master":[45],"student":[46,780,806],"Software":[49],"Engineering":[50],"group,":[51],"developed":[53],"an":[54,69,143,241,324,352,580,761,766,804],"appetite":[55],"for":[56,107,129,244,419,542,565,674,747,814,823,863,870,883,927],"doing":[57],"academic":[58,417],"research.At":[59],"time,":[61,213],"sifting":[62],"through":[63,915],"stacks":[64],"papers":[66,678],"find":[68],"optimal":[70],"solution":[71],"problem":[74,82],"hand,":[76],"or":[77],"simply":[78],"solving":[79],"hard":[81,273],"puzzle,":[85],"each":[86],"felt":[88],"welcome":[91],"mental":[92],"exercise,":[93],"even":[94],"though":[95,754],"communicating":[96],"results":[98,897],"still":[99,114,724],"presented":[100],"difficult":[102],"often":[104,625,668],"painful":[105],"undertaking":[106],"me.I":[108],"was":[109,121,215,234,257,350,394,445,464,616,664,671,986],"therefore":[110,987],"happy":[111,1015],"others":[113],"considered":[115],"me":[116,126,195,201,559,567,596,636,865,994],"suitable":[118],"candidate.It":[120],"Mari\u00eblle":[122],"Stoelinga":[123],"who":[124,1003],"invited":[125],"apply":[128],"job":[131,174,203,237],"offer":[132,200,239,869],"Tools":[138],"group.I":[139],"saw":[140],"it":[141,179,256],"excellent":[144,353,581,805],"opportunity":[145],"sharpen":[147],"my":[148,246,276,292,328,340,416,571,644,649,748,828,880,912],"skills":[149,683],"also":[151,406,449,658,672,680,700,802,818,832],"learn":[152,183,356,527],"least":[154],"something":[155,689],"about":[156],"art":[158],"presenting":[160],"lecturing.Knowing":[162],"little":[163],"field":[166,223,588],"formal":[168,225,842],"methods,":[169,226],"went":[171],"interview":[175],"slightly":[176],"intimidated.That":[177],"made":[178,878],"quite":[180,446],"exiting":[181],"Jaco":[185,283,312,634,992],"van":[186],"de":[187],"Pol":[188],"Michael":[190,285,314,343],"Weber":[191],"agreed":[192],"take":[194,482,847],"under":[196],"their":[197],"wings":[198],"on":[206,218,275,441,557,568,606,740,861,867,979,1024],"project":[208,654],"\"Multi-Core":[209],"Model":[210,303],"Checking\".At":[211],"mainly":[216],"preoccupied":[217],"becoming":[219],"familiar":[220],"with":[221,300,513,662,706,785,797,911,954,1022],"hence":[227],"what":[228],"did":[230,526],"not":[231,377,971],"expect":[232],"then,":[233],"this":[236,363,434,451,607,741,998,1025],"such":[240,942],"enriching":[242],"experience,":[243],"both":[245,533],"professional":[247],"personal":[249],"life.Before":[250],"could":[252,859],"get":[253],"started":[254],"however,":[255],"first":[258,293,576,620],"decided":[259],"by":[260,311,467,491,895,1012],"colleague":[261,346],"Mark":[262],"Timmer":[263],"needed":[266],"holiday":[268,289],"rest":[270],"from":[271,457,528,737,851],"work":[274,384,440,477,642,813,1007,1021],"Master's":[277],"thesis.Actually,":[278],"agreed,":[280],"luckily":[282],"well.This":[287],"short":[288,944],"ensured":[290],"working":[294],"day":[295],"coincided":[299],"Dutch":[302],"Checking":[304],"Day":[305],"2009":[306],"(DMCD)":[307],"organized":[308],"year":[310],"Twente.Attending":[319],"symposium":[321],"certainly":[322],"gave":[323,635],"inspiring":[325],"start":[326],"career.v":[329],"Acknowledgments":[330],"Lucky":[331],"enough":[332],"land":[334],"same":[337,540,744],"office":[338],"daily":[341,407,572],"supervisor":[342,573],"direct":[345],"Stefan":[347],"Blom,":[348],"position":[354],"craft":[358,720],"trade.I":[361],"hope":[362,725],"thesis":[364],"is":[365],"indeed":[366],"proof":[367],"actually":[370],"learned":[371,454,718],"something;":[372],"your":[374,400,458,604,682,735,738,778,786,834,896,959],"efforts":[375],"were":[376,552,923,997],"vain.For":[379],"me,":[380],"being":[381,570,852],"able":[382,934,1019],"stimulating":[387],"environment":[388],"FMT":[391],"provided":[393,579],"already":[395,976],"very":[396,904],"rewarding.Thank":[397],"yous.Jaco,":[398],"role":[401],"promotor":[403],"later":[405],"supervisor,":[408],"you":[409,478,489,547,564,632,764,774,801,815,844,862,879,888,947,968,996,1023],"had":[410,775],"most":[412,465],"influence":[413],"shaping":[415],"skills,":[418],"which":[420,506],"you.Our":[423],"weekly":[424],"meetings":[425],"helped":[426,490],"lot":[428,456,638],"improve":[430],"precision":[432],"other":[436,476],"works.Your":[437],"enthusiasm":[438],"new":[442,630],"parallel":[443],"algorithms":[444],"infectious,":[447],"area":[452],"rigorous":[459],"mathematical":[460],"analysis":[461],"insights.I":[463],"impressed":[466],"amount":[469],"papers,":[471],"theses,":[472],"conference":[473,544],"submissions":[474],"always":[479,499,578,858],"manage":[480,845],"home":[483],"review.Even":[485],"late":[487],"deadlines,":[488],"proofreading":[492],"last":[494],"revisions":[495],"our":[497,511,536,550,623,907],"submission,":[498],"resulting":[500],"useful":[502],"comments":[503,605],"suggestions,":[505],"am":[508,957,1014],"certain":[509],"improved":[510],"standing":[512],"reviewers.Although":[515],"somehow":[516],"we":[517,532,975],"never":[518],"managed":[519,593],"avoid":[521],"these":[522],"scheduling":[523],"issues,":[524],"feedback.Indeed,":[530],"when":[531,622,991],"handed":[534],"reviews":[537,551],"paper":[541],"2014,":[546],"remarked":[548],"similar":[553],"congratulated":[555],"yourself":[556],"'raising'":[558],"well.Quite":[560],"compliment!Michael,":[562],"taking":[566,864],"those":[575,619,676],"years.You":[577],"overview":[582],"state-of-art":[585],"model":[590],"checking":[591],"point":[595],"interesting":[599,656],"open":[600],"problems.When":[601],"received":[603],"thesis,":[608,742],"including":[609],"discussion":[611],"future":[613],"work,":[614],"reminded":[617],"years":[621],"discussions":[624],"led":[626],"so":[628,884,891,937],"many":[629,837,885,938],"ideas.Both":[631],"freedom":[640],"out":[643],"own":[645,650],"plans":[646],"pursue":[648],"interests,":[651],"making":[652],"but":[657,670,699,722,887,983],"challenging.Your":[660],"way":[661],"language":[663],"funny":[665],"(with":[666],"pun":[667],"intended),":[669],"helpful":[673],"writing":[675],"early":[677],"together.I":[679,831],"admired":[681],"understanding":[685],"(to":[686],"point)":[688],"complex":[691],"extensive":[693],"GNU":[696],"build":[697],"system,":[698],"whole":[702],"process":[703],"comes":[705],"maintaining":[707],"large":[709],"piece":[710],"software.Unfortunately,":[712],"cannot":[714],"say":[715],"entirely,":[721],"latest":[728],"LTSmin":[729],"2.0":[730],"release":[731],"lives":[732],"up":[733,866,1005],"standards.Judging":[736],"feedback":[739],"probably":[745],"holds":[746],"mastery":[749],"English":[752],"language,":[753],"should":[756],"note":[757],"currently":[759],"American":[762],"citizen,":[763],"hold":[765],"advantage.(On":[767],"subject,":[769,982],"Michael,":[770],"understood":[772],"abandon":[777],"order":[782],"relocate":[784],"family":[787,855],"United":[790,917],"States,":[791],"although":[792],"have":[794,962,972,1017],"difficulty":[796],"fact":[799],"stole":[803],"potential":[808],"colleague,":[809],"namely":[810],"Freark,":[811],"over":[816],"there.)I":[817],"committee":[821],"members":[822],"agreeing":[824],"participate":[826],"comvi":[830],"valued":[833],"insights":[835],"organizational":[838],"structures,":[839],"life":[840],"methods.When":[843],"night":[849],"off":[850],"busy":[854],"man,":[856],"count":[860],"next":[872],"round":[873],"drinks.Mark,":[875],"sorry":[876],"go-to":[881],"guy":[882,999],"things,":[886],"know":[889],"them":[890],"well":[892],"evidenced":[894],"school":[902],"teacher.I":[903],"much":[905],"joint":[908],"trip":[909],"together":[910,978],"dear":[913],"Laura":[914],"States'":[918],"West":[919],"Coast.You":[920],"Arnd":[922],"necessary":[925],"condition":[926],"four":[929],"us":[931],"be":[933],"see":[936],"amazing":[939],"things":[940],"time.I":[945],"wish":[946],"Thijs":[949],"best":[951,964],"luck":[953],"adoption.I":[956],"sure":[958],"child":[960],"will":[961],"examples":[965],"parents.Tom,":[967],"conveniently":[969],"may":[970],"remembered":[973],"worked":[977],"Physics":[981],"do.I":[985],"pleasantly":[989],"surprised":[990],"informed":[993],"his":[1001],"class,":[1002],"toke":[1004],"parallelize":[1009],"BDDs":[1010],"all":[1011],"himself.I":[1013],"been":[1018],"subject.":[1026]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":12},{"year":2014,"cited_by_count":7}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}