{"id":"https://openalex.org/W4379981213","doi":"https://doi.org/10.1007/978-3-031-35355-0_3","title":"Certified Compilation of\u00a0Choreographies with\u00a0hacc","display_name":"Certified Compilation of\u00a0Choreographies with\u00a0hacc","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4379981213","doi":"https://doi.org/10.1007/978-3-031-35355-0_3"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-35355-0_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-35355-0_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-35355-0_3.pdf","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":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-35355-0_3.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082561369","display_name":"Lu\u0131\u0301s Cruz-Filipe","orcid":"https://orcid.org/0000-0002-7866-7484"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Lu\u00eds Cruz-Filipe","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Southern Denmark, Odense, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083323562","display_name":"Lovro Lugovi\u0107","orcid":"https://orcid.org/0000-0001-9684-9567"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Lovro Lugovi\u0107","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Southern Denmark, Odense, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000566520","display_name":"Fabrizio Montesi","orcid":"https://orcid.org/0000-0003-4666-901X"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Fabrizio Montesi","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Southern Denmark, Odense, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5082561369"],"corresponding_institution_ids":["https://openalex.org/I177969490"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.0557,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76386601,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"29","last_page":"36"},"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.9994999766349792,"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.9994999766349792,"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/T11424","display_name":"Security and Verification in Computing","score":0.9972000122070312,"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.9901000261306763,"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/computer-science","display_name":"Computer science","score":0.8979438543319702},{"id":"https://openalex.org/keywords/toolchain","display_name":"Toolchain","score":0.8760734796524048},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7969868183135986},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7663816213607788},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6698935031890869},{"id":"https://openalex.org/keywords/choreography","display_name":"Choreography","score":0.6388313174247742},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6053243279457092},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6004633903503418},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.49448609352111816},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4593063294887543},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.19518160820007324}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8979438543319702},{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.8760734796524048},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7969868183135986},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7663816213607788},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6698935031890869},{"id":"https://openalex.org/C183920142","wikidata":"https://www.wikidata.org/wiki/Q180856","display_name":"Choreography","level":3,"score":0.6388313174247742},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6053243279457092},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6004633903503418},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.49448609352111816},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4593063294887543},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.19518160820007324},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C147446459","wikidata":"https://www.wikidata.org/wiki/Q11639","display_name":"Dance","level":2,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-35355-0_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-35355-0_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-35355-0_3.pdf","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:sdu.dk:openaire_cris_publications/77bf66d3-8e09-485d-9aec-b61ffbbc71d6","is_oa":true,"landing_page_url":"https://portal.findresearcher.sdu.dk/da/publications/77bf66d3-8e09-485d-9aec-b61ffbbc71d6","pdf_url":"https://arxiv.org/pdf/2303.03972.pdf","source":{"id":"https://openalex.org/S4306400423","display_name":"University of Southern Denmark Research Portal (University of Southern Denmark)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177969490","host_organization_name":"University of Southern Denmark","host_organization_lineage":["https://openalex.org/I177969490"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cruz-Filipe, L, Lugovi\u0107, L & Montesi, F 2023, Certified Compilation of\u00a0Choreographies with\u00a0hacc. in M Huisman & A Ravara (eds), Formal Techniques for Distributed Objects, Components, and Systems. Springer Science+Business Media, Lecture Notes in Computer Science, vol. 13910 LNCS, pp. 29-36, 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, 19/06/2023. https://doi.org/10.1007/978-3-031-35355-0_3","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-04731932v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04731932","pdf_url":"https://inria.hal.science/hal-04731932/document","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"43th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2023, Lisbon, Portugal. pp.29-36, ⟨10.1007/978-3-031-35355-0_3⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-35355-0_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-35355-0_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-35355-0_3.pdf","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"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.6100000143051147,"display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G6911123063","display_name":null,"funder_award_id":"29518","funder_id":"https://openalex.org/F4320310490","funder_display_name":"Villum Fonden"}],"funders":[{"id":"https://openalex.org/F4320310490","display_name":"Villum Fonden","ror":"https://ror.org/007ww2d15"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4379981213.pdf","grobid_xml":"https://content.openalex.org/works/W4379981213.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W122332163","https://openalex.org/W2014904806","https://openalex.org/W2114877704","https://openalex.org/W2899726318","https://openalex.org/W2962520317","https://openalex.org/W3132401016","https://openalex.org/W3173862082","https://openalex.org/W3198885441","https://openalex.org/W4206553077","https://openalex.org/W4252649323","https://openalex.org/W4297632500","https://openalex.org/W4376105341","https://openalex.org/W6966304203"],"related_works":["https://openalex.org/W2013037783","https://openalex.org/W2909413202","https://openalex.org/W4385243142","https://openalex.org/W1999008563","https://openalex.org/W2561644314","https://openalex.org/W2912135124","https://openalex.org/W2794118724","https://openalex.org/W4206450104","https://openalex.org/W2256611834","https://openalex.org/W4281808401"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}