{"id":"https://openalex.org/W4383900347","doi":"https://doi.org/10.1007/978-3-031-38100-3_3","title":"Towards a\u00a0Taxonomy for\u00a0Reversible Computation Approaches","display_name":"Towards a\u00a0Taxonomy for\u00a0Reversible Computation Approaches","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4383900347","doi":"https://doi.org/10.1007/978-3-031-38100-3_3"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-38100-3_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-38100-3_3","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":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-04343408/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027112594","display_name":"Robert Gl\u00fcck","orcid":"https://orcid.org/0000-0001-6990-3935"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Robert Gl\u00fcck","raw_affiliation_strings":["DIKU, Department of Computer Science, University of Copenhagen, Copenhagen, Denmark","DIKU - Department of Computer Science [Copenhagen] (N\u00f8rre Campus ; Universitetsparken 5 ; DK-2100 Copenhagen \u00d8 - Denmark)"],"raw_orcid":"https://orcid.org/0000-0001-6990-3935","affiliations":[{"raw_affiliation_string":"DIKU, Department of Computer Science, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]},{"raw_affiliation_string":"DIKU - Department of Computer Science [Copenhagen] (N\u00f8rre Campus ; Universitetsparken 5 ; DK-2100 Copenhagen \u00d8 - Denmark)","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030878839","display_name":"Ivan Lanese","orcid":"https://orcid.org/0000-0003-2527-9995"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Ivan Lanese","raw_affiliation_strings":["Focus Team, University of Bologna/INRIA, Bologna, Italy","FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)","OLAS - Fondements op\u00e9rationnels, logiques et alg\u00e9briques des syst\u00e8mes logiciels (Dipartimento di Informatica - Scienza e Ingegneria (DISI) Universita' di Bologna Mura Anteo Zamboni, 7 40126 Bologna ITALY - Italy)"],"raw_orcid":"https://orcid.org/0000-0003-2527-9995","affiliations":[{"raw_affiliation_string":"Focus Team, University of Bologna/INRIA, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"OLAS - Fondements op\u00e9rationnels, logiques et alg\u00e9briques des syst\u00e8mes logiciels (Dipartimento di Informatica - Scienza e Ingegneria (DISI) Universita' di Bologna Mura Anteo Zamboni, 7 40126 Bologna ITALY - Italy)","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009589984","display_name":"Claudio Antares Mezzina","orcid":"https://orcid.org/0000-0003-1556-2623"},"institutions":[{"id":"https://openalex.org/I190397597","display_name":"University of Urbino","ror":"https://ror.org/04q4kt073","country_code":"IT","type":"education","lineage":["https://openalex.org/I190397597"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Claudio Antares Mezzina","raw_affiliation_strings":["Dipartimento di Scienze Pure e Applicate, Universit\u00e0 di Urbino, Urbino, Italy","Universit\u00e0 degli Studi di Urbino 'Carlo Bo' ( 61029 Urbino PU \u2013 IT - Italy)"],"raw_orcid":"https://orcid.org/0000-0003-1556-2623","affiliations":[{"raw_affiliation_string":"Dipartimento di Scienze Pure e Applicate, Universit\u00e0 di Urbino, Urbino, Italy","institution_ids":["https://openalex.org/I190397597"]},{"raw_affiliation_string":"Universit\u00e0 degli Studi di Urbino 'Carlo Bo' ( 61029 Urbino PU \u2013 IT - Italy)","institution_ids":["https://openalex.org/I190397597"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012935646","display_name":"Jaros\u0142aw Adam Miszczak","orcid":"https://orcid.org/0000-0001-8790-101X"},"institutions":[{"id":"https://openalex.org/I4210122744","display_name":"Institute of Theoretical and Applied Informatics","ror":"https://ror.org/037p52j25","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210122744","https://openalex.org/I99542240"]},{"id":"https://openalex.org/I99542240","display_name":"Polish Academy of Sciences","ror":"https://ror.org/01dr6c206","country_code":"PL","type":"government","lineage":["https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Jaros\u0142aw Adam Miszczak","raw_affiliation_strings":["Institute of Theoretical and Applied Informatics, Polish Academy of Sciences, Gliwice, Poland","Institute of Theoretical and Applied Informatics, Polish Academy of Sciences, Gliwice (Poland)"],"raw_orcid":"https://orcid.org/0000-0001-8790-101X","affiliations":[{"raw_affiliation_string":"Institute of Theoretical and Applied Informatics, Polish Academy of Sciences, Gliwice, Poland","institution_ids":["https://openalex.org/I4210122744","https://openalex.org/I99542240"]},{"raw_affiliation_string":"Institute of Theoretical and Applied Informatics, Polish Academy of Sciences, Gliwice (Poland)","institution_ids":["https://openalex.org/I4210122744","https://openalex.org/I99542240"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049025668","display_name":"Iain Phillips","orcid":"https://orcid.org/0000-0001-5013-5876"},"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":"Iain Phillips","raw_affiliation_strings":["Imperial College London, London, England","Imperial College London (South Kensington Campus, London SW7 2AZ - United Kingdom)"],"raw_orcid":"https://orcid.org/0000-0001-5013-5876","affiliations":[{"raw_affiliation_string":"Imperial College London, London, England","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London (South Kensington Campus, London SW7 2AZ - United Kingdom)","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075535381","display_name":"Irek Ulidowski","orcid":"https://orcid.org/0000-0002-3834-2036"},"institutions":[{"id":"https://openalex.org/I153648349","display_name":"University of Leicester","ror":"https://ror.org/04h699437","country_code":"GB","type":"education","lineage":["https://openalex.org/I153648349"]},{"id":"https://openalex.org/I686019","display_name":"AGH University of Krakow","ror":"https://ror.org/00bas1c41","country_code":"PL","type":"education","lineage":["https://openalex.org/I686019"]}],"countries":["GB","PL"],"is_corresponding":false,"raw_author_name":"Irek Ulidowski","raw_affiliation_strings":["Department of Applied Informatics, AGH, Krak\u00f3w, Poland","SCMS, University of Leicester, Leicester, England","AGH UST - AGH University of Science and Technology [Krakow, PL] (al. Mickiewicza 30, \r\n30-059 Krakow, \r\nPoland - Poland)","University of Leicester (University Rd, Leicester LE1 7RH - United Kingdom)"],"raw_orcid":"https://orcid.org/0000-0002-3834-2036","affiliations":[{"raw_affiliation_string":"Department of Applied Informatics, AGH, Krak\u00f3w, Poland","institution_ids":["https://openalex.org/I686019"]},{"raw_affiliation_string":"SCMS, University of Leicester, Leicester, England","institution_ids":["https://openalex.org/I153648349"]},{"raw_affiliation_string":"AGH UST - AGH University of Science and Technology [Krakow, PL] (al. Mickiewicza 30, \r\n30-059 Krakow, \r\nPoland - Poland)","institution_ids":["https://openalex.org/I686019"]},{"raw_affiliation_string":"University of Leicester (University Rd, Leicester LE1 7RH - United Kingdom)","institution_ids":["https://openalex.org/I153648349"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051613376","display_name":"Germ\u00e1n Vidal","orcid":"https://orcid.org/0000-0002-1857-6951"},"institutions":[{"id":"https://openalex.org/I60053951","display_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","ror":"https://ror.org/01460j859","country_code":"ES","type":"education","lineage":["https://openalex.org/I60053951"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Germ\u00e1n Vidal","raw_affiliation_strings":["MIST, VRAIN, Universitat Polit\u00e8cnica de Val\u00e8ncia, Valencia, Spain","UPV - Universitat Polit\u00e8cnica de Val\u00e8ncia = Universitad Politecnica de Valencia = Polytechnic University of Valencia (Camino de Vera, s/n 46022 Valencia - Spain)"],"raw_orcid":"https://orcid.org/0000-0002-1857-6951","affiliations":[{"raw_affiliation_string":"MIST, VRAIN, Universitat Polit\u00e8cnica de Val\u00e8ncia, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]},{"raw_affiliation_string":"UPV - Universitat Polit\u00e8cnica de Val\u00e8ncia = Universitad Politecnica de Valencia = Polytechnic University of Valencia (Camino de Vera, s/n 46022 Valencia - Spain)","institution_ids":["https://openalex.org/I60053951"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5030878839"],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6516,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67009334,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"24","last_page":"39"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","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/T10682","display_name":"Quantum Computing Algorithms and Architecture","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/T12002","display_name":"Computability, Logic, AI Algorithms","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/T12029","display_name":"DNA and Biological Computing","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8205364942550659},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6812856793403625},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.6743240356445312},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6188209056854248},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6086451411247253},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.581336498260498},{"id":"https://openalex.org/keywords/reversible-computing","display_name":"Reversible computing","score":0.5164752006530762},{"id":"https://openalex.org/keywords/model-of-computation","display_name":"Model of computation","score":0.5089232921600342},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.4721769690513611},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.47074776887893677},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.46890226006507874},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36111214756965637},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.30407336354255676},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.13577207922935486}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8205364942550659},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6812856793403625},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6743240356445312},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6188209056854248},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6086451411247253},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.581336498260498},{"id":"https://openalex.org/C20274610","wikidata":"https://www.wikidata.org/wiki/Q185410","display_name":"Reversible computing","level":4,"score":0.5164752006530762},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.5089232921600342},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.4721769690513611},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.47074776887893677},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46890226006507874},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36111214756965637},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.30407336354255676},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.13577207922935486},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-031-38100-3_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-38100-3_3","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:HAL:hal-04343408v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04343408","pdf_url":"https://inria.hal.science/hal-04343408/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"Reversible Computation - RC 2023, Jul 2023, Giessen, Germany. pp.24-39, ⟨10.1007/978-3-031-38100-3_3⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:cris.unibo.it:11585/953336","is_oa":true,"landing_page_url":"https://link.springer.com/chapter/10.1007/978-3-031-38100-3_3","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:ora.uniurb.it:11576/2725471","is_oa":false,"landing_page_url":"https://hdl.handle.net/11576/2725471","pdf_url":null,"source":{"id":"https://openalex.org/S4377196377","display_name":"CINECA IRIS Institutional Research information system (University of Urbino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I190397597","host_organization_name":"University of Urbino","host_organization_lineage":["https://openalex.org/I190397597"],"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":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/8d634237-8a1d-4911-b17e-35c712d25e51","is_oa":true,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/8d634237-8a1d-4911-b17e-35c712d25e51","pdf_url":null,"source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"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":null,"raw_type":"contributionToPeriodical"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/103945","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/103945","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":"15th International Conference on Reversible Computation (RC)","raw_type":"Conference Paper"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04343408v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04343408","pdf_url":"https://inria.hal.science/hal-04343408/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"Reversible Computation - RC 2023, Jul 2023, Giessen, Germany. pp.24-39, ⟨10.1007/978-3-031-38100-3_3⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1935349141","display_name":"Causal debugging for concurrent systems","funder_award_id":"ANR-18-CE25-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2262748287","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G375838716","display_name":null,"funder_award_id":"CUPE55F22000270001","funder_id":"https://openalex.org/F4320311030","funder_display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\""},{"id":"https://openalex.org/G4022907568","display_name":null,"funder_award_id":"E55F22000270001","funder_id":"https://openalex.org/F4320311030","funder_display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\""},{"id":"https://openalex.org/G425668148","display_name":null,"funder_award_id":".13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G4598076761","display_name":null,"funder_award_id":"CUP_E55F22000270001","funder_id":"https://openalex.org/F4320334079","funder_display_name":"Gruppo Nazionale per il Calcolo Scientifico"},{"id":"https://openalex.org/G6068599298","display_name":null,"funder_award_id":"E55F22000270001","funder_id":"https://openalex.org/F4320334079","funder_display_name":"Gruppo Nazionale per il Calcolo Scientifico"},{"id":"https://openalex.org/G6876561401","display_name":null,"funder_award_id":"ANR-18","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7600066815","display_name":"\u53e4\u4ee3\u8aac\u8a71\u306b\u304a\u3051\u308b\u8af8\u5bfa\u7e01\u8d77\u306e\u7814\u7a76","funder_award_id":"13039","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8684520763","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320334079","display_name":"Gruppo Nazionale per il Calcolo Scientifico","ror":null},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4383900347.pdf"},"referenced_works_count":85,"referenced_works":["https://openalex.org/W40444246","https://openalex.org/W569565536","https://openalex.org/W950576007","https://openalex.org/W1464356876","https://openalex.org/W1470114689","https://openalex.org/W1489427293","https://openalex.org/W1497640022","https://openalex.org/W1503979119","https://openalex.org/W1529830543","https://openalex.org/W1537589501","https://openalex.org/W1537615043","https://openalex.org/W1540873593","https://openalex.org/W1557052422","https://openalex.org/W1561232828","https://openalex.org/W1851917928","https://openalex.org/W1981276685","https://openalex.org/W1993230497","https://openalex.org/W1996025065","https://openalex.org/W1998896169","https://openalex.org/W2000492932","https://openalex.org/W2012206667","https://openalex.org/W2015392385","https://openalex.org/W2018470239","https://openalex.org/W2023439061","https://openalex.org/W2027402794","https://openalex.org/W2031433874","https://openalex.org/W2059141487","https://openalex.org/W2060933798","https://openalex.org/W2087066740","https://openalex.org/W2105259569","https://openalex.org/W2112796928","https://openalex.org/W2113084613","https://openalex.org/W2114495743","https://openalex.org/W2131390887","https://openalex.org/W2148132004","https://openalex.org/W2170151971","https://openalex.org/W2171622895","https://openalex.org/W2246201930","https://openalex.org/W2279321119","https://openalex.org/W2284037492","https://openalex.org/W2491846690","https://openalex.org/W2491933619","https://openalex.org/W2608447063","https://openalex.org/W2620179038","https://openalex.org/W2761330648","https://openalex.org/W2763395989","https://openalex.org/W2767748350","https://openalex.org/W2784037720","https://openalex.org/W2809465996","https://openalex.org/W2811406273","https://openalex.org/W2883963932","https://openalex.org/W2885613751","https://openalex.org/W2887888992","https://openalex.org/W2888402443","https://openalex.org/W2888768890","https://openalex.org/W2920083310","https://openalex.org/W2934743019","https://openalex.org/W2951567449","https://openalex.org/W2953268725","https://openalex.org/W2963900848","https://openalex.org/W2993657370","https://openalex.org/W2997748534","https://openalex.org/W3000954874","https://openalex.org/W3035051918","https://openalex.org/W3101571824","https://openalex.org/W3105104803","https://openalex.org/W3107142642","https://openalex.org/W3124949564","https://openalex.org/W3173890928","https://openalex.org/W3174846791","https://openalex.org/W3177385908","https://openalex.org/W3211509423","https://openalex.org/W4205482574","https://openalex.org/W4210645943","https://openalex.org/W4213373445","https://openalex.org/W4233347701","https://openalex.org/W4233798822","https://openalex.org/W4242597152","https://openalex.org/W4251109627","https://openalex.org/W4281395835","https://openalex.org/W4281679769","https://openalex.org/W4290960066","https://openalex.org/W4294000617","https://openalex.org/W4300045268","https://openalex.org/W4312081346"],"related_works":["https://openalex.org/W2119244842","https://openalex.org/W3160192459","https://openalex.org/W4324016496","https://openalex.org/W2215138167","https://openalex.org/W4231495498","https://openalex.org/W4312201671","https://openalex.org/W4254404873","https://openalex.org/W3188669517","https://openalex.org/W2588190917","https://openalex.org/W2056463873"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2023-07-12T00:00:00"}