{"id":"https://openalex.org/W2596819160","doi":"https://doi.org/10.1007/978-3-662-54434-1_6","title":"Confluence of Graph Rewriting with Interfaces","display_name":"Confluence of Graph Rewriting with Interfaces","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2596819160","doi":"https://doi.org/10.1007/978-3-662-54434-1_6","mag":"2596819160"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-54434-1_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-54434-1_6","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/A5004609161","display_name":"Filippo Bonchi","orcid":"https://orcid.org/0000-0002-3433-723X"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Filippo Bonchi","raw_affiliation_strings":["CNRS, ENS de Lyon, Lyon, France"],"affiliations":[{"raw_affiliation_string":"CNRS, ENS de Lyon, Lyon, France","institution_ids":["https://openalex.org/I113428412","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072444101","display_name":"Fabio Gadducci","orcid":"https://orcid.org/0000-0003-0690-3051"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Fabio Gadducci","raw_affiliation_strings":["University of Pisa, Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"University of Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023841122","display_name":"Aleks Kissinger","orcid":"https://orcid.org/0000-0002-6090-9684"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Aleks Kissinger","raw_affiliation_strings":["Radboud University Nijmegen, Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114374645","display_name":"Pawe\u0142 Soboci\u0144ski","orcid":"https://orcid.org/0000-0002-7992-9685"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Pawe\u0142 Soboci\u0144ski","raw_affiliation_strings":["University of Southampton, Southampton, UK"],"affiliations":[{"raw_affiliation_string":"University of Southampton, Southampton, UK","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016173850","display_name":"Fabio Zanasi","orcid":"https://orcid.org/0000-0001-6457-1345"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Fabio Zanasi","raw_affiliation_strings":["University College London, London, UK"],"affiliations":[{"raw_affiliation_string":"University College London, London, UK","institution_ids":["https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5016173850"],"corresponding_institution_ids":["https://openalex.org/I45129253"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.4127,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.83812649,"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":"141","last_page":"169"},"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.9977999925613403,"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.9977999925613403,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9848999977111816,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9782000184059143,"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/confluence","display_name":"Confluence","score":0.9902989864349365},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.9335129857063293},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.8892176151275635},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.8386609554290771},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.7235780954360962},{"id":"https://openalex.org/keywords/normalization-property","display_name":"Normalization property","score":0.6543567180633545},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.60678631067276},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5991262793540955},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.46445250511169434},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34355247020721436},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33451133966445923},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27595025300979614},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2053663730621338}],"concepts":[{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.9902989864349365},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.9335129857063293},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8892176151275635},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.8386609554290771},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.7235780954360962},{"id":"https://openalex.org/C159333733","wikidata":"https://www.wikidata.org/wiki/Q7051809","display_name":"Normalization property","level":2,"score":0.6543567180633545},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.60678631067276},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5991262793540955},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.46445250511169434},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34355247020721436},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33451133966445923},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27595025300979614},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2053663730621338},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-662-54434-1_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-54434-1_6","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:eprints.soton.ac.uk:406231","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401019","display_name":"ePrints Soton (University of Southampton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I43439940","host_organization_name":"University of Southampton","host_organization_lineage":["https://openalex.org/I43439940"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"},{"id":"pmh:oai:arpi.unipi.it:11568/858638","is_oa":false,"landing_page_url":"http://hdl.handle.net/11568/858638","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:cris.unibo.it:11585/904967","is_oa":false,"landing_page_url":"https://hdl.handle.net/11585/904967","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:1561413","is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/1561413/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"     In: Yang, H, (ed.) Programming Languages and Systems. ESOP 2017.  (pp. pp. 141-169).  Springer: Berlin, Heidelberg.      ","raw_type":"Proceedings paper"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/173178","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/173178","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Yang, H. (ed.), Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22\u201329, 2017, Proceedings, pp. 141-169","raw_type":"Article in monograph or in proceedings"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W32293111","https://openalex.org/W110217058","https://openalex.org/W154180254","https://openalex.org/W180420728","https://openalex.org/W196782186","https://openalex.org/W244199604","https://openalex.org/W1029858661","https://openalex.org/W1482905321","https://openalex.org/W1487429213","https://openalex.org/W1543763168","https://openalex.org/W1576109326","https://openalex.org/W1606013113","https://openalex.org/W1644475622","https://openalex.org/W1656783145","https://openalex.org/W1675309158","https://openalex.org/W1787979754","https://openalex.org/W1841342726","https://openalex.org/W1965620900","https://openalex.org/W1967277738","https://openalex.org/W1973799895","https://openalex.org/W1976563762","https://openalex.org/W1981049756","https://openalex.org/W1981469834","https://openalex.org/W2003970329","https://openalex.org/W2010590963","https://openalex.org/W2012949804","https://openalex.org/W2027622095","https://openalex.org/W2031613223","https://openalex.org/W2054776476","https://openalex.org/W2057271907","https://openalex.org/W2065340550","https://openalex.org/W2075050099","https://openalex.org/W2088405398","https://openalex.org/W2106540661","https://openalex.org/W2112234929","https://openalex.org/W2119180894","https://openalex.org/W2135173989","https://openalex.org/W2136544532","https://openalex.org/W2182286275","https://openalex.org/W2208563212","https://openalex.org/W2279876460","https://openalex.org/W2507006525","https://openalex.org/W2559338475","https://openalex.org/W2734361589","https://openalex.org/W2963644874","https://openalex.org/W2963886789","https://openalex.org/W3007770320","https://openalex.org/W3099162983","https://openalex.org/W3101612166","https://openalex.org/W3103260150","https://openalex.org/W3105021321","https://openalex.org/W3105507374","https://openalex.org/W4241220941"],"related_works":["https://openalex.org/W1933757178","https://openalex.org/W2596819160","https://openalex.org/W1548618164","https://openalex.org/W2001087572","https://openalex.org/W2159901860","https://openalex.org/W4286978854","https://openalex.org/W4287322352","https://openalex.org/W3135391695","https://openalex.org/W2586020253","https://openalex.org/W1885206433"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-04-07T14:57:38.498316","created_date":"2017-03-23T00:00:00"}