{"id":"https://openalex.org/W1803593036","doi":"https://doi.org/10.1007/978-3-642-13678-8_1","title":"Probabilistic Semantics and Program Analysis","display_name":"Probabilistic Semantics and Program Analysis","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1803593036","doi":"https://doi.org/10.1007/978-3-642-13678-8_1","mag":"1803593036"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-13678-8_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-13678-8_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/A5034703008","display_name":"Alessandra Di Pierro","orcid":"https://orcid.org/0000-0003-4173-7941"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Alessandra Di Pierro","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Verona, Ca\u2019 Vignal 2 - Strada le Grazie 15, 37134, Verona, Italy","University of Verona, Ca\u2019 Vignal 2 - Strada le Grazie 15, 37134, Verona, Italy","University of Verona, Ca' Vignal 2 - Strada le Grazie 15, 37134, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Verona, Ca\u2019 Vignal 2 - Strada le Grazie 15, 37134, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"University of Verona, Ca\u2019 Vignal 2 - Strada le Grazie 15, 37134, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"University of Verona, Ca' Vignal 2 - Strada le Grazie 15, 37134, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013709529","display_name":"Chris Hankin","orcid":"https://orcid.org/0000-0001-9149-8577"},"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":"Chris Hankin","raw_affiliation_strings":["Imperial College London, 180 Queen\u2019s Gate, London, SW7 2AZ, United Kingdom","Imperial College London, 180 Queen's Gate, London, SW7 2AZ, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Imperial College London, 180 Queen\u2019s Gate, London, SW7 2AZ, United Kingdom","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London, 180 Queen's Gate, London, SW7 2AZ, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018783929","display_name":"Herbert Wiklicky","orcid":null},"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":"Herbert Wiklicky","raw_affiliation_strings":["Department of Computing, Imperial College London, Huxley Building, 180 Queen\u2019s Gate, SW7 2BZ, London, UK","Imperial College London, 180 Queen\u2019s Gate, London, SW7 2AZ, United Kingdom","Imperial College London, 180 Queen's Gate, London, SW7 2AZ, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Department of Computing, Imperial College London, Huxley Building, 180 Queen\u2019s Gate, SW7 2BZ, London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London, 180 Queen\u2019s Gate, London, SW7 2AZ, United Kingdom","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London, 180 Queen's Gate, London, SW7 2AZ, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5034703008"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.1328,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.79658421,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computer-science","display_name":"Computer science","score":0.8497750759124756},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6782209873199463},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6143397688865662},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5520480275154114},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.43943536281585693},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3330274820327759},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3213876187801361}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8497750759124756},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6782209873199463},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6143397688865662},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5520480275154114},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.43943536281585693},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3330274820327759},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3213876187801361}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-642-13678-8_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-13678-8_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:CiteSeerX.psu:10.1.1.398.6492","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.6492","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.doc.ic.ac.uk/~herbert/papers/bertinoro10.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.6700000166893005}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W755194005","https://openalex.org/W1494550316","https://openalex.org/W1515864031","https://openalex.org/W1553894716","https://openalex.org/W1588709134","https://openalex.org/W1855771754","https://openalex.org/W1933954171","https://openalex.org/W1966533106","https://openalex.org/W1976625337","https://openalex.org/W1989095004","https://openalex.org/W1989635597","https://openalex.org/W2008609084","https://openalex.org/W2014764321","https://openalex.org/W2022806724","https://openalex.org/W2043100293","https://openalex.org/W2080727337","https://openalex.org/W2081810835","https://openalex.org/W2093397547","https://openalex.org/W2157153384","https://openalex.org/W2165469059","https://openalex.org/W2219800593","https://openalex.org/W2333830766","https://openalex.org/W2481266161","https://openalex.org/W2493677228","https://openalex.org/W2751555667","https://openalex.org/W2752779325","https://openalex.org/W2796564118","https://openalex.org/W2903005364","https://openalex.org/W3028943997","https://openalex.org/W3146896874","https://openalex.org/W3215785164","https://openalex.org/W4205350034","https://openalex.org/W4244375800","https://openalex.org/W4244513251","https://openalex.org/W4250082745","https://openalex.org/W4294341672","https://openalex.org/W4300885858","https://openalex.org/W4302328504"],"related_works":["https://openalex.org/W2160196023","https://openalex.org/W2245685274","https://openalex.org/W1482532369","https://openalex.org/W2188386601","https://openalex.org/W3042312155","https://openalex.org/W2788308474","https://openalex.org/W2100934637","https://openalex.org/W3021003119","https://openalex.org/W3037420009","https://openalex.org/W3007870257"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}