{"id":"https://openalex.org/W2733978128","doi":"https://doi.org/10.1007/978-3-319-60074-1_1","title":"Probabilistic Program Analysis","display_name":"Probabilistic Program Analysis","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2733978128","doi":"https://doi.org/10.1007/978-3-319-60074-1_1","mag":"2733978128"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-60074-1_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-60074-1_1","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086757331","display_name":"Matthew B. Dwyer","orcid":"https://orcid.org/0000-0002-1937-1544"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Matthew B. Dwyer","raw_affiliation_strings":["University of Nebraska \u2013 Lincoln, Lincoln, USA"],"affiliations":[{"raw_affiliation_string":"University of Nebraska \u2013 Lincoln, Lincoln, USA","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083739081","display_name":"Antonio Filieri","orcid":"https://orcid.org/0000-0001-9646-646X"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Antonio Filieri","raw_affiliation_strings":["Imperial College London, London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050494871","display_name":"Jaco Geldenhuys","orcid":"https://orcid.org/0000-0002-5636-6656"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Jaco Geldenhuys","raw_affiliation_strings":["University of Stellenbosch, Stellenbosch, South Africa"],"affiliations":[{"raw_affiliation_string":"University of Stellenbosch, Stellenbosch, South Africa","institution_ids":["https://openalex.org/I26092322"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076933632","display_name":"Mitchell Gerrard","orcid":"https://orcid.org/0000-0003-0666-1427"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mitchell Gerrard","raw_affiliation_strings":["University of Nebraska \u2013 Lincoln, Lincoln, USA"],"affiliations":[{"raw_affiliation_string":"University of Nebraska \u2013 Lincoln, Lincoln, USA","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053134485","display_name":"Corina S. P\u0103s\u0103reanu","orcid":"https://orcid.org/0000-0002-5579-6961"},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Corina S. P\u0103s\u0103reanu","raw_affiliation_strings":["Carnegie Mellon Silicon Valley and NASA Ames Research Center, Santa Clara, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon Silicon Valley and NASA Ames Research Center, Santa Clara, USA","institution_ids":["https://openalex.org/I1280536761"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088454541","display_name":"Willem Visser","orcid":"https://orcid.org/0000-0002-0913-3091"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Willem Visser","raw_affiliation_strings":["University of Stellenbosch, Stellenbosch, South Africa"],"affiliations":[{"raw_affiliation_string":"University of Stellenbosch, Stellenbosch, South Africa","institution_ids":["https://openalex.org/I26092322"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5086757331"],"corresponding_institution_ids":["https://openalex.org/I114395901"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.4824,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.79956897,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8061859607696533},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6459604501724243},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6281933784484863},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.5308773517608643},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.5236387252807617},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.47993379831314087},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.41128450632095337},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.37063485383987427},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.35130345821380615},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3248782753944397},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17592138051986694},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1621742844581604},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12130200862884521}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8061859607696533},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6459604501724243},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6281933784484863},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.5308773517608643},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.5236387252807617},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.47993379831314087},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.41128450632095337},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.37063485383987427},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.35130345821380615},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3248782753944397},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17592138051986694},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1621742844581604},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12130200862884521},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-319-60074-1_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-60074-1_1","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/53921","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/53921","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"GTTSE 2015","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":102,"referenced_works":["https://openalex.org/W53099289","https://openalex.org/W81140875","https://openalex.org/W88990729","https://openalex.org/W345682156","https://openalex.org/W605471654","https://openalex.org/W995630646","https://openalex.org/W1023119160","https://openalex.org/W1481528147","https://openalex.org/W1492711856","https://openalex.org/W1495953444","https://openalex.org/W1496828358","https://openalex.org/W1497571013","https://openalex.org/W1506806321","https://openalex.org/W1511956503","https://openalex.org/W1511963917","https://openalex.org/W1528660673","https://openalex.org/W1537730723","https://openalex.org/W1539326816","https://openalex.org/W1544634046","https://openalex.org/W1551315579","https://openalex.org/W1568212182","https://openalex.org/W1574005127","https://openalex.org/W1586677474","https://openalex.org/W1589239973","https://openalex.org/W1596339127","https://openalex.org/W1631091010","https://openalex.org/W1688932025","https://openalex.org/W1710734607","https://openalex.org/W1758913682","https://openalex.org/W1770936898","https://openalex.org/W1862398452","https://openalex.org/W1915915253","https://openalex.org/W1967031800","https://openalex.org/W1982365059","https://openalex.org/W1982800675","https://openalex.org/W1989703131","https://openalex.org/W1999596083","https://openalex.org/W2009489720","https://openalex.org/W2010298731","https://openalex.org/W2012477604","https://openalex.org/W2020031208","https://openalex.org/W2024355065","https://openalex.org/W2025704776","https://openalex.org/W2030224590","https://openalex.org/W2038315721","https://openalex.org/W2038997378","https://openalex.org/W2043100293","https://openalex.org/W2045656233","https://openalex.org/W2047694629","https://openalex.org/W2060573639","https://openalex.org/W2062873592","https://openalex.org/W2069300761","https://openalex.org/W2080696000","https://openalex.org/W2092467549","https://openalex.org/W2096449544","https://openalex.org/W2098245493","https://openalex.org/W2098457963","https://openalex.org/W2098597080","https://openalex.org/W2101512909","https://openalex.org/W2103012681","https://openalex.org/W2109276114","https://openalex.org/W2109892325","https://openalex.org/W2119251836","https://openalex.org/W2119567691","https://openalex.org/W2123301443","https://openalex.org/W2124153277","https://openalex.org/W2129740858","https://openalex.org/W2130514924","https://openalex.org/W2141670510","https://openalex.org/W2149906774","https://openalex.org/W2153185479","https://openalex.org/W2155049725","https://openalex.org/W2161081924","https://openalex.org/W2197338197","https://openalex.org/W2242936154","https://openalex.org/W2244080217","https://openalex.org/W2295266283","https://openalex.org/W2333144224","https://openalex.org/W2334782222","https://openalex.org/W2340735175","https://openalex.org/W2515614845","https://openalex.org/W2546922927","https://openalex.org/W2555835184","https://openalex.org/W2953089152","https://openalex.org/W3004319735","https://openalex.org/W3030098241","https://openalex.org/W3102188366","https://openalex.org/W3123857276","https://openalex.org/W4233413206","https://openalex.org/W4233556240","https://openalex.org/W4237492309","https://openalex.org/W4237768137","https://openalex.org/W4239826655","https://openalex.org/W4242377092","https://openalex.org/W4243718993","https://openalex.org/W4246166885","https://openalex.org/W4248681815","https://openalex.org/W4251391716","https://openalex.org/W4251912342","https://openalex.org/W4252889632","https://openalex.org/W4292403327","https://openalex.org/W4376999580"],"related_works":["https://openalex.org/W830096938","https://openalex.org/W2109606716","https://openalex.org/W2079753464","https://openalex.org/W2030292806","https://openalex.org/W2189202191","https://openalex.org/W2177346860","https://openalex.org/W1603360336","https://openalex.org/W1903582155","https://openalex.org/W2145856894","https://openalex.org/W2943623134"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}