{"id":"https://openalex.org/W2620363064","doi":"https://doi.org/10.1007/978-3-319-62075-6_17","title":"A Verified Algorithm Enumerating Event Structures","display_name":"A Verified Algorithm Enumerating Event Structures","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2620363064","doi":"https://doi.org/10.1007/978-3-319-62075-6_17","mag":"2620363064"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-62075-6_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-62075-6_17","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":"conference-paper","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/A5004629504","display_name":"Juliana Bowles","orcid":"https://orcid.org/0000-0002-5918-9114"},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Juliana Bowles","raw_affiliation_strings":["School of Computer Science, University of St Andrews, Jack Cole Building, North Haugh, St Andrews, KY, 16 9SX, UK","School\u00a0of\u00a0Computer\u00a0Science, University\u00a0of\u00a0St\u00a0Andrews, Jack Cole Building, North Haugh, St Andrews, KY, 16 9SX, UK"],"raw_orcid":"https://orcid.org/0000-0002-5918-9114","affiliations":[{"raw_affiliation_string":"School of Computer Science, University of St Andrews, Jack Cole Building, North Haugh, St Andrews, KY, 16 9SX, UK","institution_ids":["https://openalex.org/I16835326"]},{"raw_affiliation_string":"School\u00a0of\u00a0Computer\u00a0Science, University\u00a0of\u00a0St\u00a0Andrews, Jack Cole Building, North Haugh, St Andrews, KY, 16 9SX, UK","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013198849","display_name":"Marco B. Caminati","orcid":"https://orcid.org/0000-0002-4529-5442"},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Marco B. Caminati","raw_affiliation_strings":["School of Computer Science, University of St Andrews, Jack Cole Building, North Haugh, St Andrews, KY, 16 9SX, UK","School\u00a0of\u00a0Computer\u00a0Science, University\u00a0of\u00a0St\u00a0Andrews, Jack Cole Building, North Haugh, St Andrews, KY, 16 9SX, UK"],"raw_orcid":"https://orcid.org/0000-0002-4529-5442","affiliations":[{"raw_affiliation_string":"School of Computer Science, University of St Andrews, Jack Cole Building, North Haugh, St Andrews, KY, 16 9SX, UK","institution_ids":["https://openalex.org/I16835326"]},{"raw_affiliation_string":"School\u00a0of\u00a0Computer\u00a0Science, University\u00a0of\u00a0St\u00a0Andrews, Jack Cole Building, North Haugh, St Andrews, KY, 16 9SX, UK","institution_ids":["https://openalex.org/I16835326"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013198849"],"corresponding_institution_ids":["https://openalex.org/I16835326"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.4153,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.61655755,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"239","last_page":"254"},"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.9995999932289124,"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.9995999932289124,"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.9987000226974487,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9962999820709229,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.7574423551559448},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6680999398231506},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6610280275344849},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6322956681251526},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5830967426300049},{"id":"https://openalex.org/keywords/hol","display_name":"HOL","score":0.5127214193344116},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.49111029505729675},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.469551146030426},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45813798904418945},{"id":"https://openalex.org/keywords/event-structure","display_name":"Event structure","score":0.45389294624328613},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43186941742897034},{"id":"https://openalex.org/keywords/partially-ordered-set","display_name":"Partially ordered set","score":0.4116983711719513},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34089136123657227},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1407727301120758}],"concepts":[{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.7574423551559448},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6680999398231506},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6610280275344849},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6322956681251526},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5830967426300049},{"id":"https://openalex.org/C17435882","wikidata":"https://www.wikidata.org/wiki/Q17030435","display_name":"HOL","level":2,"score":0.5127214193344116},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.49111029505729675},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.469551146030426},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45813798904418945},{"id":"https://openalex.org/C2777810175","wikidata":"https://www.wikidata.org/wiki/Q5416730","display_name":"Event structure","level":2,"score":0.45389294624328613},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43186941742897034},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.4116983711719513},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34089136123657227},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1407727301120758},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-319-62075-6_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-62075-6_17","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:research-repository.st-andrews.ac.uk:10023/11248","is_oa":false,"landing_page_url":"https://hdl.handle.net/10023/11248","pdf_url":null,"source":{"id":"https://openalex.org/S4306400230","display_name":"St Andrews Research Repository (St Andrews Research Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I16835326","host_organization_name":"University of St Andrews","host_organization_lineage":["https://openalex.org/I16835326"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference item"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8080429589","display_name":null,"funder_award_id":"EP/M014290/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W71334836","https://openalex.org/W1591386603","https://openalex.org/W1614792014","https://openalex.org/W1871548459","https://openalex.org/W1970326465","https://openalex.org/W1985467790","https://openalex.org/W2018883342","https://openalex.org/W2044883442","https://openalex.org/W2059840483","https://openalex.org/W2101715011","https://openalex.org/W2110920860","https://openalex.org/W2126209209","https://openalex.org/W2155438960","https://openalex.org/W2173961470","https://openalex.org/W2179340374","https://openalex.org/W2528673780","https://openalex.org/W2912931674","https://openalex.org/W2913280239","https://openalex.org/W2952513609","https://openalex.org/W4233702006","https://openalex.org/W6688091054"],"related_works":["https://openalex.org/W1557509894","https://openalex.org/W1481981273","https://openalex.org/W2154150569","https://openalex.org/W1979014902","https://openalex.org/W1980850065","https://openalex.org/W1608885512","https://openalex.org/W127523156","https://openalex.org/W2140659535","https://openalex.org/W2556421358","https://openalex.org/W2158838596"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}