Get quick answers to your questions about the article from our AI researcher chatbot
{'id': 'https://openalex.org/W1665726835', 'doi': 'https://doi.org/10.1142/9789812384720_0004', 'title': 'ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION – PART II: SINGLE PUSHOUT APPROACH AND COMPARISON WITH DOUBLE PUSHOUT APPROACH', 'display_name': 'ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION – PART II: SINGLE PUSHOUT APPROACH AND COMPARISON WITH DOUBLE PUSHOUT APPROACH', 'publication_year': 1997, 'publication_date': '1997-02-01', 'ids': {'openalex': 'https://openalex.org/W1665726835', 'doi': 'https://doi.org/10.1142/9789812384720_0004', 'mag': '1665726835'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1142/9789812384720_0004', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306464320', 'display_name': 'WORLD SCIENTIFIC eBooks', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/P4310319815', 'host_organization_name': 'World Scientific', 'host_organization_lineage': ['https://openalex.org/P4310319815'], 'host_organization_lineage_names': ['World Scientific'], 'type': 'ebook platform'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'book-chapter', 'type_crossref': 'book-chapter', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5002594574', 'display_name': 'Hartmut Ehrig', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I4577782', 'display_name': 'Technische Universität Berlin', 'ror': 'https://ror.org/03v4gjf40', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I4577782']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'H. EHRIG', 'raw_affiliation_strings': ['Technische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany'], 'affiliations': [{'raw_affiliation_string': 'Technische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany', 'institution_ids': ['https://openalex.org/I4577782']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5079512613', 'display_name': 'Reiko Heckel', 'orcid': 'https://orcid.org/0000-0003-4719-0772'}, 'institutions': [{'id': 'https://openalex.org/I4577782', 'display_name': 'Technische Universität Berlin', 'ror': 'https://ror.org/03v4gjf40', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I4577782']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'R. HECKEL', 'raw_affiliation_strings': ['Technische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany'], 'affiliations': [{'raw_affiliation_string': 'Technische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany', 'institution_ids': ['https://openalex.org/I4577782']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5022924012', 'display_name': 'Martin Korff', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I4577782', 'display_name': 'Technische Universität Berlin', 'ror': 'https://ror.org/03v4gjf40', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I4577782']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'M. KORFF', 'raw_affiliation_strings': ['Technische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany'], 'affiliations': [{'raw_affiliation_string': 'Technische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany', 'institution_ids': ['https://openalex.org/I4577782']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5088492159', 'display_name': 'M. J. S. Lowe', 'orcid': 'https://orcid.org/0000-0001-6093-1841'}, 'institutions': [{'id': 'https://openalex.org/I4577782', 'display_name': 'Technische Universität Berlin', 'ror': 'https://ror.org/03v4gjf40', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I4577782']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'M. LÖWE', 'raw_affiliation_strings': ['Technische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany'], 'affiliations': [{'raw_affiliation_string': 'Technische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany', 'institution_ids': ['https://openalex.org/I4577782']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5101471816', 'display_name': 'Leila Ribeiro', 'orcid': 'https://orcid.org/0000-0001-7039-092X'}, 'institutions': [{'id': 'https://openalex.org/I4577782', 'display_name': 'Technische Universität Berlin', 'ror': 'https://ror.org/03v4gjf40', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I4577782']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'L. RIBEIRO', 'raw_affiliation_strings': ['Technische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany'], 'affiliations': [{'raw_affiliation_string': 'Technische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany', 'institution_ids': ['https://openalex.org/I4577782']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5009079187', 'display_name': 'Annika Wagner', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I4577782', 'display_name': 'Technische Universität Berlin', 'ror': 'https://ror.org/03v4gjf40', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I4577782']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'A. WAGNER', 'raw_affiliation_strings': ['Technische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany'], 'affiliations': [{'raw_affiliation_string': 'Technische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany', 'institution_ids': ['https://openalex.org/I4577782']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5062051157', 'display_name': 'Andrea Corradini', 'orcid': 'https://orcid.org/0000-0001-6123-4175'}, 'institutions': [], 'countries': ['IT'], 'is_corresponding': False, 'raw_author_name': 'A. CORRADINI', 'raw_affiliation_strings': ['Dipartimento di Informatica, Corso Italia 40, I-56125 Pisa, Italy'], 'affiliations': [{'raw_affiliation_string': 'Dipartimento di Informatica, Corso Italia 40, I-56125 Pisa, Italy', 'institution_ids': []}]}], 'institution_assertions': [], 'countries_distinct_count': 2, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 8.02, 'has_fulltext': False, 'cited_by_count': 281, 'citation_normalized_percentile': {'value': 0.998431, 'is_in_top_1_percent': True, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 98, 'max': 99}, 'biblio': {'volume': None, 'issue': None, 'first_page': '247', 'last_page': '312'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T12292', 'display_name': 'Graph Theory and Algorithms', 'score': 0.9644, 'subfield': {'id': 'https://openalex.org/subfields/1707', 'display_name': 'Computer Vision and Pattern Recognition'}, '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/T12292', 'display_name': 'Graph Theory and Algorithms', 'score': 0.9644, 'subfield': {'id': 'https://openalex.org/subfields/1707', 'display_name': 'Computer Vision and Pattern Recognition'}, '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/T11273', 'display_name': 'Advanced Graph Neural Networks', 'score': 0.9047, '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': [], 'concepts': [{'id': 'https://openalex.org/C204241405', 'wikidata': 'https://www.wikidata.org/wiki/Q461499', 'display_name': 'Transformation (genetics)', 'level': 3, 'score': 0.66809845}, {'id': 'https://openalex.org/C9376300', 'wikidata': 'https://www.wikidata.org/wiki/Q168817', 'display_name': 'Algebraic number', 'level': 2, 'score': 0.5644258}, {'id': 'https://openalex.org/C132525143', 'wikidata': 'https://www.wikidata.org/wiki/Q141488', 'display_name': 'Graph', 'level': 2, 'score': 0.55660224}, {'id': 'https://openalex.org/C558772884', 'wikidata': 'https://www.wikidata.org/wiki/Q1508564', 'display_name': 'Graph rewriting', 'level': 3, 'score': 0.5550916}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.45589378}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.3705154}, {'id': 'https://openalex.org/C136119220', 'wikidata': 'https://www.wikidata.org/wiki/Q1000660', 'display_name': 'Algebra over a field', 'level': 2, 'score': 0.3274759}, {'id': 'https://openalex.org/C118615104', 'wikidata': 'https://www.wikidata.org/wiki/Q121416', 'display_name': 'Discrete mathematics', 'level': 1, 'score': 0.2989239}, {'id': 'https://openalex.org/C202444582', 'wikidata': 'https://www.wikidata.org/wiki/Q837863', 'display_name': 'Pure mathematics', 'level': 1, 'score': 0.2264776}, {'id': 'https://openalex.org/C185592680', 'wikidata': 'https://www.wikidata.org/wiki/Q2329', 'display_name': 'Chemistry', 'level': 0, 'score': 0.082122505}, {'id': 'https://openalex.org/C134306372', 'wikidata': 'https://www.wikidata.org/wiki/Q7754', 'display_name': 'Mathematical analysis', 'level': 1, 'score': 0.039090693}, {'id': 'https://openalex.org/C55493867', 'wikidata': 'https://www.wikidata.org/wiki/Q7094', 'display_name': 'Biochemistry', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C104317684', 'wikidata': 'https://www.wikidata.org/wiki/Q7187', 'display_name': 'Gene', 'level': 2, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1142/9789812384720_0004', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306464320', 'display_name': 'WORLD SCIENTIFIC eBooks', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/P4310319815', 'host_organization_name': 'World Scientific', 'host_organization_lineage': ['https://openalex.org/P4310319815'], 'host_organization_lineage_names': ['World Scientific'], 'type': 'ebook platform'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 0, 'referenced_works': [], 'related_works': ['https://openalex.org/W3176049953', 'https://openalex.org/W284626623', 'https://openalex.org/W2379147087', 'https://openalex.org/W2365767001', 'https://openalex.org/W2293146630', 'https://openalex.org/W2062274034', 'https://openalex.org/W2047742505', 'https://openalex.org/W2019790099', 'https://openalex.org/W2018671907', 'https://openalex.org/W2011524769'], 'abstract_inverted_index': {'Handbook': [0, 2253], 'of': [1, 151, 153, 161, 180, 219, 260, 274, 304, 344, 354, 375, 397, 409, 524, 573, 631, 649, 668, 682, 725, 776, 857, 860, 903, 920, 930, 940, 954, 969, 1000, 1011, 1040, 1109, 1133, 1162, 1211, 1234, 1264, 1374, 1413, 1488, 1563, 1653, 1708, 1722, 1760, 1819, 1862, 1864, 1887, 1937, 2000, 2015, 2063, 2067, 2088, 2149, 2175, 2186, 2242, 2254], 'Graph': [2, 7, 332, 348, 356, 403, 537, 632, 635, 711, 746, 777, 846, 886, 941, 1017, 1134, 1148, 1172, 1291, 1398, 1512, 1558, 1588, 1607, 1612, 1633, 1657, 1667, 1684, 1761, 1799, 1824, 1888, 1908, 2055, 2068, 2074, 2100, 2113, 2167, 2191, 2255, 2260], 'Grammars': [3, 404, 1018, 1559, 1629, 1796, 2075, 2256], 'and': [4, 41, 115, 163, 188, 201, 223, 235, 240, 258, 271, 307, 360, 389, 411, 424, 441, 464, 475, 491, 517, 526, 543, 561, 567, 587, 603, 611, 617, 640, 647, 655, 661, 674, 685, 696, 703, 720, 739, 756, 774, 786, 805, 826, 836, 851, 864, 879, 898, 914, 924, 934, 949, 964, 992, 1009, 1029, 1053, 1062, 1075, 1091, 1103, 1126, 1143, 1156, 1166, 1187, 1194, 1202, 1215, 1241, 1254, 1262, 1271, 1285, 1316, 1333, 1342, 1351, 1383, 1405, 1420, 1432, 1436, 1458, 1474, 1497, 1520, 1534, 1544, 1567, 1573, 1596, 1622, 1640, 1647, 1660, 1670, 1675, 1695, 1715, 1724, 1740, 1754, 1787, 1790, 1812, 1829, 1839, 1853, 1882, 1894, 1913, 1929, 1939, 1972, 1982, 1998, 2010, 2026, 2039, 2047, 2076, 2081, 2107, 2115, 2120, 2126, 2137, 2157, 2181, 2195, 2200, 2207, 2222, 2240, 2250, 2257], 'Computing': [5, 1469, 2258], 'by': [6, 1250, 1267, 1329, 1416, 1453, 1656, 1956, 1963, 1966, 1973, 2091, 2259], 'Transformation,': [8], 'pp.': [9], '247-312': [10], '(1997)': [11], 'No': [12], 'AccessALGEBRAIC': [13], 'APPROACHES': [14], 'TO': [15], 'GRAPH': [16], 'TRANSFORMATION': [17, 1844], '–': [18, 884, 1324, 1602, 1630, 1784, 1797], 'PART': [19], 'II:': [20, 1924], 'SINGLE': [21], 'PUSHOUT': [22, 28], 'APPROACH': [23], 'AND': [24], 'COMPARISON': [25], 'WITH': [26], 'DOUBLE': [27], 'APPROACHH.': [29], 'EHRIG,': [30], 'R.': [31, 55], 'HECKEL,': [32], 'M.': [33, 35, 67, 79, 2246], 'KORFF,': [34], 'LÖWE,': [36], 'L.': [37, 91, 2251], 'RIBEIRO,': [38], 'A.': [39, 42, 103, 116], 'WAGNER,': [40], 'CORRADINIH.': [43], 'EHRIGTechnische': [44], 'Universität': [45, 57, 69, 81, 93, 105], 'Berlin,': [46, 53, 58, 65, 70, 77, 82, 89, 94, 101, 106, 113], 'Fachbereich': [47, 59, 71, 83, 95, 107], '13': [48, 60, 72, 84, 96, 108], 'Informatik,': [49, 61, 73, 85, 97, 109], 'Franklinstraße': [50, 62, 74, 86, 98, 110], '28/29,': [51, 63, 75, 87, 99, 111], 'D-10587': [52, 64, 76, 88, 100, 112], 'Germany,': [54, 66, 78, 90, 102, 114], 'HECKELTechnische': [56], 'KORFFTechnische': [68], 'LÖWETechnische': [80], 'RIBEIROTechnische': [92], 'WAGNERTechnische': [104], 'CORRADINIDipartimento': [117], 'di': [118], 'Informatica,': [119], 'Corso': [120], 'Italia': [121], '40,': [122], 'I-56125': [123], 'Pisa,': [124], 'Italyhttps://doi.org/10.1142/9789812384720_0004Cited': [125], 'by:109': [126], 'PreviousNext': [127], 'AboutSectionsPDF/EPUB': [128], 'ToolsAdd': [129], 'to': [130, 134, 143, 156, 169, 185, 195, 202, 226, 255, 315, 578, 709, 1493, 1528, 1591, 1666, 1802, 1948, 2034, 2054, 2099, 2146], 'favoritesDownload': [131], 'CitationsTrack': [132], 'CitationsRecommend': [133], 'Library': [135], 'ShareShare': [136], 'onFacebookTwitterLinked': [137], 'InRedditEmail': [138], 'Abstract:': [139], 'The': [140, 455, 1325], 'algebraic': [141, 175, 229], 'approaches': [142, 321], 'graph': [144, 164, 256, 269, 377, 429, 482, 507, 692, 796, 984, 1082, 1192, 1207, 1330, 1375], 'transformation': [145, 257, 273, 508, 693, 797, 1376, 1490], 'are': [146], 'based': [147, 1080], 'on': [148, 472, 1081, 1279, 1359, 2112], 'the': [149, 181, 211, 220, 227, 231, 236, 244, 252, 272, 281, 295, 305, 308, 313, 316, 323, 645, 729, 1007, 1259, 1294, 1372, 1410, 1561, 1758, 1957, 1967, 2064, 2147], 'concept': [150], 'gluing': [152], 'graphs': [154, 162, 279], 'corresponding': [155], 'pushouts': [157], 'in': [158, 193, 207, 243, 280, 294, 322, 368, 382, 499, 529, 536, 551, 557, 625, 764, 906, 983, 1055, 1111, 1442, 1482, 1505, 1514, 1582, 1638, 1748, 1757, 1770, 1835, 1906, 1990, 2021, 2128, 2202], 'suitable': [159], 'categories': [160], 'morphisms.': [165], 'This': [166], 'allows': [167], 'one': [168], 'give': [170, 203], 'not': [171], 'only': [172], 'an': [173, 217, 484], 'explicit': [174], 'or': [176, 289], 'set': [177], 'theoretical': [178], 'description': [179], 'constructions': [182], 'but': [183], 'also': [184, 293], 'use': [186], 'concepts': [187], 'results': [189], 'from': [190, 1036], 'category': [191], 'theory': [192, 200], 'order': [194], 'build': [196], 'up': [197], 'a': [198, 301, 379, 726, 795, 1037, 1806, 2031, 2143, 2172], 'rich': [199], 'elegant': [204], 'proofs': [205], 'even': [206], 'complex': [208], 'situations.': [209], 'In': [210, 247], 'previous': [212, 324], 'chapter': [213, 249], 'we': [214, 250, 299], 'have': [215, 287], 'presented': [216], 'overview': [218], 'basic': [221], 'notions': [222], 'problems': [224, 317], 'common': [225], 'two': [228, 376], 'approaches,': [230], 'double-pushout': [232], '(DPO)': [233], 'approach': [234, 254, 1947, 2033], 'single-pushout': [237], '(SPO)': [238], 'approach,': [239, 283, 310], 'their': [241], 'solutions': [242, 314], 'DPO': [245, 296, 306], 'approach.': [246, 297], 'this': [248], 'introduce': [251], 'SPO': [253, 282, 309], 'some': [259], 'its': [261], 'main': [262], 'results.': [263], 'We': [264], 'study': [265, 381], 'application': [266], 'conditions': [267], 'for': [268, 319, 330, 346, 417, 452, 594, 664, 728, 748, 772, 799, 821, 870, 1014, 1058, 1151, 1175, 1196, 1231, 1362, 1371, 1427, 1467, 1560, 1781, 2018, 2142, 2165, 2215, 2230, 2237], 'productions': [270], 'more': [275], 'general': [276], 'structures': [277, 1079], 'than': [278], 'where': [284], 'similar': [285], 'generalizations': [286], 'been': [288], 'could': [290], 'be': [291], 'studied': [292], 'Finally,': [298], 'present': [300], 'detailed': [302], 'comparison': [303], 'especially': [311], 'concerning': [312], 'discussed': [318], 'both': [320], 'chapter.': [325], 'FiguresReferencesRelatedDetailsCited': [326], 'By': [327], '109Tool': [328], 'Support': [329], 'Functional': [331], 'Rewriting': [333, 538, 887, 1441, 1685, 1800], 'with': [334, 431, 576, 888, 944, 957, 971, 1277, 1400, 1430, 1636, 1805, 1822], 'Persistent': [335], 'Data': [336], 'Structures': [337, 498, 535, 956, 1504], '-': [338, 834, 1101], 'GrapeVineJens': [339], 'H.': [340], 'Weber26': [341], 'June': [342, 352, 414, 590, 723, 882, 996], '2022Decidability': [343], 'Resilience': [345], 'Well-Structured': [347], 'Transformation': [349, 357, 942, 1135, 1149, 1276, 1292, 1452, 1539, 1613, 1634, 1834, 1889, 2114, 2176, 2231], 'SystemsOkan': [350, 358], 'Özkan26': [351], '2022Resilience': [353], 'Well-structured': [355], 'Özkan': [359], 'Nick': [361], 'Würdemann21': [362], 'December': [363, 759, 2059], '2021': [364, 393], '|': [365, 394, 446, 469, 496, 522, 548, 622, 679, 701, 761, 811, 831, 998, 1045, 1067, 1098, 1220, 1338, 1356, 1389, 1479, 1502, 1549, 1579, 1720, 1745, 1767, 1859, 1935, 1987], 'Electronic': [366, 549, 623, 762, 1480, 1580, 1746, 1768, 1988], 'Proceedings': [367, 550, 624, 763], 'Theoretical': [369, 447, 552, 626, 765, 1483, 1583, 1749, 1771, 1991], 'Computer': [370, 448, 500, 553, 627, 766, 832, 1099, 1484, 1506, 1584, 1723, 1750, 1772, 1865, 1992], 'Science,': [371, 449, 501, 554, 628, 767, 1485, 1507, 1585, 1751, 1773, 1866, 1993], 'Vol.': [372, 399, 450, 477, 502, 531, 555, 629, 688, 705, 768, 816, 838, 1003, 1048, 1071, 1105, 1225, 1344, 1365, 1394, 1486, 1508, 1553, 1586, 1727, 1752, 1774, 1867, 1942, 1994], '350A': [373], 'tale': [374], 'models:': [378], 'case': [380], 'wireless': [383], 'sensor': [384], 'networksBlair': [385], 'Archibald,': [386], 'Géza': [387], 'Kulcsár': [388], 'Michele': [390], 'Sevegnani1': [391], 'Dec': [392], 'Formal': [395, 2086], 'Aspects': [396], 'Computing,': [398], '33,': [400], 'No.': [401, 479, 504, 690, 818, 840, 1005, 1050, 1073, 1107, 1227, 1346, 1367, 1396, 1510, 1555, 1729, 1776, 1869, 1944, 1996], '6Multiscale': [402], 'Can': [405], 'Generate': [406], 'Cayley': [407], 'Graphs': [408, 610, 1429], 'Groups': [410], 'MonoidsWinfried': [412], 'Kurth23': [413], '2020Rate': [415], 'Equations': [416], 'GraphsVincent': [418], 'Danos,': [419, 874], 'Tobias': [420, 875, 935], 'Heindel,': [421, 876], 'Ricardo': [422, 877], 'Honorato-Zimmer': [423, 878], 'Sandro': [425, 880], 'Stucki29': [426], 'September': [427, 809], '2020Algebraic': [428], 'rewriting': [430], 'controlled': [432], 'embeddingAndrea': [433], 'Corradini,': [434, 510, 713, 891, 1541], 'Dominique': [435, 511, 892], 'Duval,': [436, 512, 715, 893, 959, 1282, 1531], 'Rachid': [437, 513, 716, 894, 960, 1283, 1532], 'Echahed,': [438, 514, 717, 895, 961], 'Frédéric': [439, 515, 718, 1286, 1535], 'Prost': [440, 516, 719, 897, 963], 'Leila': [442, 518, 656, 721, 899, 965, 1741, 1914, 2082, 2196], 'Ribeiro1': [443, 519, 966, 1742, 1915, 2197], 'Jan': [444, 697, 744, 867, 917, 927, 937, 950, 952, 967, 1117, 1129, 1146, 1159, 1169, 1190, 1257, 1274, 1288, 1299, 1408, 1423, 1439, 1445, 1450, 1462, 1523, 1537, 1600, 1610, 1626, 1650, 1663, 1679, 1698, 1705, 1793, 1815, 1832, 1842, 1885, 1897, 1904, 1916, 2013, 2029, 2050, 2198, 2210, 2225, 2234], '2020': [445], '802Bio-Curation': [451], 'Cellular': [453], 'Signalling:': [454], 'KAMI': [456], 'ProjectRuss': [457], 'Harmer,': [458], 'Yves-Stan': [459], 'Le': [460], 'Cornec,': [461], 'Sebastien': [462], 'Legare': [463], 'Eugenia': [465], 'Oshurko1': [466], 'Sep': [467], '2019': [468, 521, 547], 'IEEE/ACM': [470], 'Transactions': [471], 'Computational': [473, 1454, 2065], 'Biology': [474, 1639], 'Bioinformatics,': [476], '16,': [478, 1554], '5Strategic': [480], 'port': [481], 'rewriting:': [483], 'interactive': [485], 'modelling': [486, 1198], 'frameworkMARIBEL': [487], 'FERNÁNDEZ,': [488], 'HÉLÈNE': [489], 'KIRCHNER': [490], 'BRUNO': [492], 'PINAUD2': [493], 'August': [494, 975, 1043, 1387], '2018': [495, 621], 'Mathematical': [497, 1503], '29,': [503], '5The': [505], 'PBPO': [506], 'approachAndrea': [509], 'Feb': [520, 699], 'Journal': [523, 681, 999, 1358, 1721, 1861, 1936], 'Logical': [525], 'Algebraic': [527, 710, 885, 2078, 2166], 'Methods': [528], 'Programming,': [530], '103Interactions': [532], 'between': [533, 1304], 'Causal': [534], 'SystemsIoana': [539], 'Cristescu,': [540], 'Walter': [541], 'Fontana': [542], 'Jean': [544], 'Krivine3': [545], 'January': [546], '286Counters': [556], 'Kappa:': [558], 'Semantics,': [559], 'Simulation,': [560], 'Static': [562], 'AnalysisPierre': [563], 'Boutillier,': [564], 'Ioana': [565], 'Cristescu': [566], 'Jérôme': [568], 'Feret6': [569], 'April': [570, 854, 1218, 1354, 1500, 2170, 2184], '2019Adhesive': [571], 'Subcategories': [572], 'Functor': [574], 'Categories': [575], 'Instantiation': [577], 'Partial': [579, 931], 'Triple': [580, 1823], 'GraphsJens': [581], 'Kosiol,': [582], 'Lars': [583], 'Fritsche,': [584], 'Andy': [585], 'Schürr': [586], 'Gabriele': [588, 1437], 'Taentzer25': [589], '2019Autonomic': [591], 'Management': [592], 'Approach': [593, 663, 708, 1527, 1635, 1665, 1801, 2053, 2145], 'Dynamic': [595, 1232, 1782], 'Service': [596, 1235, 1877], 'Based': [597], 'IoT': [598], 'SystemsGuillaume': [599], 'Garzone,': [600], 'Nawal': [601], 'Guermouche': [602], 'Thierry': [604], 'Monteil1': [605], 'Jun': [606], '2018Attributed': [607], 'Hierarchical': [608], 'Port': [609], 'ApplicationsNneka': [612], 'Chinelo': [613], 'Ene,': [614], 'Maribel': [615], 'Fernández': [616], 'Bruno': [618], 'Pinaud16': [619], 'February': [620, 643, 1547, 2071], '265Integration': [630], 'Constraints': [633], 'into': [634], 'GrammarsAnnegret': [636], 'Habel,': [637], 'Christian': [638, 1085, 1157], 'Sandmann': [639], 'Tilman': [641], 'Teusch7': [642], '2018On': [644], 'Essence': [646], 'Initiality': [648], 'ConflictsGuilherme': [650], 'Grochau': [651], 'Azzi,': [652, 783], 'Andrea': [653], 'Corradini': [654], 'Ribeiro29': [657], 'May': [658, 677, 1985], '2018A': [659], 'Specification': [660, 773, 1818, 2148], 'Detection': [662, 2125], 'Parallel': [665, 1568, 1632], 'Evolution': [666, 1233], 'Conflicts': [667], 'Software': [669, 683, 812, 1221, 1360, 1390, 2103], 'ArchitecturesHongzhen': [670], 'Xu,': [671], 'Wenlin': [672], 'Song,': [673], 'Zhiqiang': [675], 'Liu3': [676], '2017': [678, 700], 'International': [680, 1357, 1860], 'Engineering': [684, 1069, 2104], 'Knowledge': [686, 909, 1265, 1414], 'Engineering,': [687], '27,': [689, 1072], '03Well-structured': [691], 'systemsBarbara': [694], 'König': [695], 'Stückrath1': [698, 951], 'Information': [702, 844], 'Computation,': [704], '252The': [706], 'Pullback-Pushout': [707], 'TransformationAndrea': [712], 'Dominque': [714], 'Ribeiro21': [722], '2017Development': [724], 'Generator': [727], 'Research': [730, 835, 1102], 'ViewTakuma': [731], 'Oura,': [732], 'Koichi': [733], 'Anada,': [734], 'Takeo': [735], 'Yaku,': [736], 'Yasuhiko': [737], 'Morimoto': [738], 'Shoichi': [740], 'Nakamura': [741], 'et': [742, 790, 1094], 'al.1': [743], '2017A': [745], 'Grammar': [747], 'Modelling': [749, 1152, 1340], 'RNA': [750], 'FoldingAdane': [751], 'Letta': [752], 'Mamuye,': [753], 'Emanuela': [754], 'Merelli': [755], 'Luca': [757], 'Tesei4': [758], '2016': [760], '231Verigraph:': [769], 'A': [770, 1302, 1631, 1681, 1798, 2102, 2162], 'System': [771, 1725], 'Analysis': [775, 1562], 'GrammarsAndrei': [778], 'Costa,': [779], 'Jonas': [780], 'Bezerra,': [781], 'Guilherme': [782], 'Leonardo': [784], 'Rodrigues': [785], 'Thiago': [787], 'Rafael': [788], 'Becker': [789], 'al.13': [791], 'November': [792, 1857, 1933], '2016Spider': [793], 'Graphs:': [794], 'system': [798], 'spider': [800], 'diagramsPaolo': [801], 'Bottoni,': [802, 2178], 'Andrew': [803], 'Fish': [804], 'Francesco': [806, 1716, 2138, 2158, 2179], 'Parisi': [807], 'Presicce24': [808], '2013': [810, 997, 1044, 1066], '&': [813, 1222, 1391], 'Systems': [814, 943, 1001, 1136, 1223, 1392, 1593, 1783, 1804, 2189], 'Modeling,': [815, 1224, 1393], '14,': [817], '4Temporal': [819], 'plans': [820], 'software': [822], 'architecture': [823], 'reconfigurationSteffen': [824], 'Ziegert': [825, 1155], 'Heike': [827, 1144], 'Wehrheim2': [828], 'July': [829, 901, 1096], '2014': [830], 'Science': [833, 1100], 'Development,': [837, 1104], '30,': [839], '3-4Obscuring': [841], 'Provenance': [842], 'Confidential': [843], 'via': [845, 1137], 'TransformationJamal': [847], 'Hussein,': [848], 'Luc': [849], 'Moreau': [850], 'Vladimiro': [852], 'Sassone30': [853], '2015Graph-Based': [855], 'Optimization': [856], 'Energy': [858], 'Efficiency': [859], 'Street': [861], 'LightingAdam': [862], 'Sędziwy': [863, 913], 'Leszek': [865], 'Kotulski1': [866, 1609], '2015Moment': [868], 'Semantics': [869, 1732, 2087], 'Reversible': [871], 'Rule-Based': [872, 1290], 'SystemsVincent': [873], 'Stucki20': [881], '2015AGREE': [883], 'Controlled': [889], 'EmbeddingAndrea': [890], 'Frederic': [896, 962], 'Ribeiro17': [900], '2015Problem': [902], 'Agents': [904], 'Cooperation': [905], 'Heterogeneous': [907, 1525], 'Graph-Based': [908, 2144], 'EnvironmentLeszek': [910], 'Kotulski,': [911], 'Adam': [912, 1272, 1334, 1406, 1421, 1696], 'Barbara': [915, 1255, 1521], 'Strug1': [916, 1064, 1256, 1522], '2014Causal': [918], 'Termination': [919], 'Multi-threaded': [921, 1163], 'ProgramsAndrey': [922, 1164], 'Kupriyanov': [923, 1165], 'Bernd': [925, 1167], 'Finkbeiner1': [926, 1168], '2014On': [928], 'Pushouts': [929, 1447], 'MapsJonathan': [932], 'Hayman': [933], 'Heindel1': [936, 1449], '2014Parameterized': [938], 'Verification': [939, 1161, 1305], 'Whole': [945], 'Neighbourhood': [946], 'OperationsGiorgio': [947], 'Delzanno': [948], '2014Transformation': [953], 'Attributed': [955], 'CloningDominique': [958], '2014Categories': [968], 'Coalgebras': [970], 'Monadic': [972], 'HomomorphismsWolfram': [973], 'Kahl20': [974], '2014Inferring': [976], 'chemical': [977], 'reaction': [978], 'patterns': [979], 'using': [980, 1199], 'rule': [981], 'composition': [982], 'grammarsJakob': [985], 'L': [986], 'Andersen,': [987], 'Christoph': [988], 'Flamm,': [989], 'Daniel': [990, 1691], 'Merkle': [991], 'Peter': [993], 'F': [994], 'Stadler6': [995], 'Chemistry,': [1002], '4,': [1004], '1Towards': [1006], 'Use': [1008], 'Description': [1010], 'Proof': [1012, 1177], 'Tactics': [1013], 'Theorem': [1015], 'Proving': [1016, 1171], 'through': [1019, 1615], 'RodinLuiz': [1020], 'Carlos': [1021, 1179, 1311], 'Lemos': [1022, 1180, 1312], 'Junior,': [1023, 1181, 1313], 'Simone': [1024, 1182, 1317], 'Andre': [1025, 1318], 'da': [1026, 1184, 1319, 2247], 'Costa': [1027, 1185, 1320, 2248], 'Cavalheiro': [1028, 1186], 'Luciana': [1030, 1188, 1314], 'Foss1': [1031, 1189], 'Oct': [1032, 1205], '2013Deduction': [1033], 'as': [1034], 'Reduction,': [1035], 'Categorical': [1038, 1551], 'Point': [1039], 'ViewDominique': [1041], 'Duval13': [1042], 'Logica': [1046], 'Universalis,': [1047], '7,': [1049], '3Supporting': [1051], 'communication': [1052, 1078], 'cooperation': [1054], 'distributed': [1056], 'representation': [1057], 'adaptive': [1059], 'designL.': [1060], 'Kotulski': [1061, 1253, 1270, 1332, 1404, 1419, 1519], 'B.': [1063], 'Apr': [1065, 1244, 1477, 1577], 'Advanced': [1068], 'Informatics,': [1070], '2Modeling': [1074], 'verifying': [1076], 'dynamic': [1077], 'transformationsTobias': [1083], 'Eckardt,': [1084], 'Heinzemann,': [1086], 'Stefan': [1087], 'Henkler,': [1088], 'Martin': [1089], 'Hirsch': [1090], 'Claudia': [1092], 'Priesterjahn': [1093], 'al.2': [1095], '2011': [1097, 1219, 1858, 1934], '28,': [1106], '1Representation': [1108], 'Objects': [1110], 'Agent-Based': [1112], 'Lighting': [1113], 'Design': [1114, 1248, 1465, 1517], 'ProblemAdam': [1115], 'Sędziwy1': [1116, 1273], '2013Structural': [1118], 'Counter': [1119], 'AbstractionKshitij': [1120], 'Bansal,': [1121], 'Eric': [1122], 'Koskinen,': [1123], 'Thomas': [1124], 'Wies': [1125], 'Damien': [1127], 'Zufferey1': [1128], '2013Bounded': [1130], 'Model': [1131, 1820, 2092, 2214], 'Checking': [1132], 'SMT': [1138], 'SolvingTobias': [1139], 'Isenberg,': [1140], 'Dominik': [1141], 'Steenken': [1142], 'Wehrheim1': [1145], '2013Durative': [1147], 'Rules': [1150, 1614], 'Real-Time': [1153], 'ReconfigurationSteffen': [1154], 'Heinzemann1': [1158], '2013Causality-Based': [1160], '2013Theorem': [1170], 'Grammars:': [1173, 1301, 1589], 'Strategies': [1174], 'Discharging': [1176], 'ObligationsLuiz': [1178], 'André': [1183], '2013A': [1191], 'model': [1193], 'grammar': [1195], 'multi-scale': [1197], 'XLYongzhi': [1200, 1297], 'Ong': [1201], 'Winfried': [1203, 1648], 'Kurth1': [1204, 1649], '2012A': [1206], 'grammar-based': [1208], 'formal': [1209, 2032, 2238], 'validation': [1210], 'object-process': [1212], 'diagramsArieh': [1213], 'Bibliowicz': [1214], 'Dov': [1216], 'Dori30': [1217], '11,': [1226], '2A': [1228], 'Constraint': [1229], 'Mechanism': [1230], 'Oriented': [1236], 'SystemsBingyang': [1237], 'Zhao,': [1238], 'Yongwang': [1239], 'Zhao': [1240], 'Dianfu': [1242], 'Ma1': [1243], '2012Hypergraph': [1245], 'Distributed': [1246, 1515, 1592, 1606], 'Adaptive': [1247, 1516], 'Supported': [1249], 'Hypergraph': [1251], 'ReplicationLeszek': [1252], '2012On': [1258], 'Effective': [1260, 1411], 'Distribution': [1261, 1412], 'Maintenance': [1263], 'Represented': [1266, 1415], 'Complementary': [1268, 1417], 'GraphsLeszek': [1269, 1418], '2012Graph': [1275, 1300], 'Focus': [1278], 'Incident': [1280], 'EdgesDominique': [1281], 'Echahed': [1284, 1533], 'Prost1': [1287, 1536], '2012Multi-scale': [1289], 'Using': [1293, 1901, 2190], 'Programming': [1295, 1735], 'Language': [1296, 1780], 'Ong1': [1298], 'Comparison': [1303], 'MethodsAndre': [1306], 'Moura': [1307], 'de': [1308, 1385, 1575, 1624, 1677], 'Mello,': [1309], 'Luiz': [1310], 'Foss': [1315], 'Cavalheiro1': [1321], 'Aug': [1322], '2011GRADIS': [1323], 'multiagent': [1326], 'environment': [1327, 2236], 'supported': [1328], 'transformationsLeszek': [1331], 'Se¸dziwy1': [1335], 'Nov': [1336], '2010': [1337, 1355], 'Simulation': [1339], 'Practice': [1341], 'Theory,': [1343], '18,': [1345], '10GrGen.NETEdgar': [1347], 'Jakumeit,': [1348], 'Sebastian': [1349, 1693], 'Buchwald': [1350], 'Moritz': [1352], 'Kroll28': [1353], 'Tools': [1361], 'Technology': [1363], 'Transfer,': [1364], '12,': [1366], '3-4A': [1368], 'UML/OCL': [1369], 'framework': [1370], 'analysis': [1373], 'rulesJordi': [1377], 'Cabot,': [1378, 1617], 'Robert': [1379, 1618], 'Clarisó,': [1380, 1619], 'Esther': [1381, 1620], 'Guerra': [1382, 1621], 'Juan': [1384, 1574, 1623, 1676], 'Lara19': [1386], '2009': [1388, 1478, 1501], '9,': [1395], '3Parallel': [1397], 'Transformations': [1399, 1513, 1821], 'Double': [1401], 'Pushout': [1402, 1526], 'GrammarsLeszek': [1403], 'Sȩdziwy1': [1407, 1422], '2010On': [1409], '2010A': [1424, 1463], 'Component': [1425], 'Concept': [1426], 'Typed': [1428], 'Inheritance': [1431], 'Containment': [1433], 'StructuresStefan': [1434], 'Jurack': [1435], 'Taentzer1': [1438], '2010Graph': [1440, 1451], 'Span-CategoriesMichael': [1443], 'Löwe1': [1444], '2010Hereditary': [1446], 'ReconsideredTobias': [1448], 'Category': [1455], 'TheoryMark': [1456], 'Minas': [1457], 'Hans': [1459], 'Jürgen': [1460], 'Schneider1': [1461], 'Graph-based': [1464, 1731], 'Framework': [1466], 'Global': [1468], 'SystemsAntonio': [1470], 'Bucchiarone,': [1471], 'Greg': [1472], 'Dennis': [1473], 'Stefania': [1475], 'Gnesi1': [1476], 'Notes': [1481, 1581, 1747, 1769, 1989], '236Correctness': [1487], 'high-level': [1489], 'systems': [1491], 'relative': [1492], 'nested': [1494], 'conditionsANNEGRET': [1495], 'HABEL': [1496], 'KARL-HEINZ': [1498], 'PENNEMANN1': [1499], '19,': [1509], '2Using': [1511], 'SystemLeszek': [1518], '2009A': [1524], 'Term-Graph': [1529], 'TransformationDominique': [1530], '2009Subobject': [1538], 'SystemsAndrea': [1540], 'Frank': [1542], 'Hermann': [1543], 'Paweł': [1545], 'Sobociński20': [1546], '2008': [1548, 1578], 'Applied': [1550], 'Structures,': [1552], '3Using': [1556], 'Matrix': [1557], 'Behavioural': [1564], 'Specifications:': [1565], 'Sequential': [1566], 'IndependencePedro': [1569], 'Pablo': [1570, 1672], 'Pérez': [1571, 1673], 'Velasco': [1572, 1674], 'Lara1': [1576, 1625, 1678], '206Linear-Ordered': [1587], 'Applications': [1590, 1637], 'DesignLeila': [1594], 'Ribeiro': [1595, 2252], 'Fernando': [1597], 'Luís': [1598, 2193], 'Dotti1': [1599], '2008GRADIS': [1601], 'Multiagent': [1603], 'Environment': [1604, 2164], 'Supporting': [1605], 'TransformationsLeszek': [1608], '2008Analysing': [1611], 'OCLJordi': [1616], '2008Relational': [1627], 'Growth': [1628, 1795], 'ArchitectureOle': [1641], 'Kniemeyer,': [1642], 'Günter': [1643], 'Barczik,': [1644], 'Reinhard': [1645], 'Hemmerling': [1646], '2008Formal': [1651], 'Modeling': [1652, 2117], 'Communication': [1654], 'Protocols': [1655], 'TransformationZarrin': [1658], 'Langari': [1659], 'Richard': [1661], 'Trefler1': [1662], '2006Matrix': [1664], 'Transformation:': [1668, 2101], 'Matching': [1669], 'SequencesPedro': [1671], '2006GrGen:': [1680], 'Fast': [1682], 'SPO-Based': [1683], 'ToolRubino': [1686], 'Geiß,': [1687], 'Gernot': [1688], 'Veit': [1689], 'Batz,': [1690], 'Grund,': [1692], 'Hack': [1694], 'Szalkowski1': [1697], '2006Hans-Jörg': [1699], 'Kreowski,': [1700], 'Renate': [1701], 'Klempien-Hinrichs,': [1702, 1891], 'Sabine': [1703, 1895], 'Kuske1': [1704, 1896, 2233], '2006Graph-based': [1706], 'specification': [1707], 'access': [1709], 'control': [1710, 2243], 'policiesManuel': [1711], 'Koch,': [1712, 2133, 2153], 'L.V.': [1713], 'Mancini': [1714, 2136, 2156], 'Parisi-Presicce1': [1717], 'Jul': [1718], '2005': [1719, 1744, 1766], 'Sciences,': [1726], '71,': [1728], '1A': [1730], 'For': [1733], 'Object-oriented': [1734], 'ConstructsAna': [1736], 'Paula': [1737, 1910], 'Lüdtke': [1738, 1911], 'Ferreira': [1739, 1912], 'Mar': [1743, 1765], '122Time': [1753], 'Space': [1755], 'Issues': [1756], 'Generation': [1759], 'Transition': [1762, 2093], 'SystemsArend': [1763], 'Rensink1': [1764, 1903], '127,': [1775], '1An': [1777], 'Access': [1778, 2129, 2150], 'Control': [1779, 2130, 2151, 2228], 'Model-Driven': [1785], 'Development': [1786, 1874], 'VerificationManuel': [1788], 'Koch': [1789], 'Karl': [1791], 'Pauls1': [1792], '2005Relational': [1794], 'Dynamical': [1803, 1807], 'StructureWinfried': [1808], 'Kurth,': [1809], 'Ole': [1810], 'Kniemeyer': [1811], 'Gerhard': [1813], 'Buck-Sorlin1': [1814], '2005A': [1816], 'Graphical': [1817], 'GrammarsLars': [1825], 'Grunske,': [1826], 'Leif': [1827], 'Geiger': [1828], 'Michael': [1830], 'Lawley1': [1831], '2005Graph': [1833], 'Molecular': [1836], 'BiologyFrancesc': [1837], 'Rosselló': [1838], 'Gabriel': [1840, 2208], 'Valiente1': [1841, 2209], '2005SINGLE-PUSHOUT': [1843], 'OF': [1845, 1918, 1921], 'TOTAL': [1846], 'ALGEBRASRICARDO': [1847], 'ALBERICH': [1848, 1927], '(),': [1849, 1852], 'MERCÈ': [1850], 'LLABRÉS': [1851], 'FRANCESC': [1854], 'ROSSELLÓ': [1855, 1931], '()20': [1856], 'Foundations': [1863], '15,': [1868], '01A': [1870], 'New': [1871], 'Web': [1872, 1876, 2036], 'Application': [1873], 'Methodology:': [1875], 'CompositionZhihong': [1878], 'Ren,': [1879, 2003, 2042], 'Beihong': [1880], 'Jin': [1881], 'Jing': [1883, 2011, 2048], 'Li1': [1884, 2012, 2049], '2004Typing': [1886], 'UnitsRenate': [1890], 'Hans-Jörg': [1892], 'Kreowski': [1893, 2206], '2004Representing': [1898], 'First-Order': [1899], 'Logic': [1900], 'GraphsArend': [1902], '2004Derivations': [1905], 'Object-Oriented': [1907], 'GrammarsAna': [1909], '2004PUSHOUTS': [1917], 'PARTIAL': [1919, 1922], 'HOMOMORPHISMS': [1920], 'ALGEBRAS': [1923], 'CLOSED': [1925], 'QUOMORPHISMSR.': [1926], '()': [1928], 'F.': [1930], '()21': [1932], 'Algebra': [1938], 'Its': [1940], 'Applications,': [1941], '02,': [1943], '04A': [1945], 'graphical': [1946], 'relational': [1949], 'reasoning1': [1950], '1This': [1951], 'research': [1952], 'was': [1953], 'partially': [1954], 'funded': [1955], 'Italian': [1958], 'CNR': [1959], '(coordinated': [1960], 'project': [1961], 'log(SETA));': [1962], 'MURST': [1964], 'PGR-2000;': [1965], 'EC': [1968], 'TMR': [1969], 'Network': [1970], 'GETGRATS;': [1971], 'Esprit': [1974], 'Working': [1975], 'Group': [1976], 'APPLIGRAPH.Andrea.': [1977], 'Formisano,': [1978], 'Eugenio': [1979], 'G.': [1980], 'Omodeo': [1981], 'Marta': [1983, 2182], 'Simeoni1': [1984], '2003': [1986], '44,': [1995], '3Composition': [1997], 'Automation': [1999], 'Grid': [2001], 'ServicesZhihong': [2002], 'Jiannong': [2004, 2043], 'Cao,': [2005, 2044], 'Alvin': [2006], 'T.': [2007], 'S.': [2008], 'Chan': [2009, 2046], '2003Generation': [2014], 'Animation': [2016], 'Views': [2017], 'Petri': [2019], 'Nets': [2020], 'GenGEDClaudia': [2022], 'Ermel,': [2023], 'Roswitha': [2024], 'Bardohl': [2025], 'Hartmut': [2027], 'Ehrig1': [2028], '2003Toward': [2030], 'composite': [2035], 'service': [2037], 'construction': [2038], 'automation': [2040], 'Zhihong': [2041], 'A.T.S.': [2045], '2003A': [2051], 'Relation-Algebraic': [2052], 'Structure': [2056], 'TransformationWolfram': [2057], 'Kahl16': [2058], '2002A': [2060, 2085], 'Sight-seeing': [2061], 'Tour': [2062], 'Landscape': [2066], 'TransformationHans-Jörg': [2069], 'Kreowski14': [2070], '2002Linear': [2072], 'Ordered': [2073], 'Their': [2077], 'FoundationsUgo': [2079], 'Montanari': [2080], 'Ribeiro24': [2083], 'October': [2084, 2096, 2110, 2123], 'UML': [2089], 'Statecharts': [2090], 'SystemsDániel': [2094], 'Varró24': [2095], '2002Tutorial': [2097], 'Introduction': [2098], 'PerspectiveLuciano': [2105], 'Baresi': [2106], 'Reiko': [2108, 2220], 'Heckel24': [2109], '2002Workshop': [2111], 'Visual': [2116], 'TechniquesPaolo': [2118], 'Bottoni': [2119], 'Mark': [2121], 'Minas24': [2122], '2002Conflict': [2124], 'Resolution': [2127], 'Policy': [2131], 'SpecificationsManuel': [2132], 'Luigi': [2134, 2154], 'V.': [2135], 'Parisi-Presicce15': [2139], 'March': [2140, 2160], '2002Foundations': [2141], 'PoliciesManuel': [2152], 'Vincenzo': [2155], 'Parisi-Presicce23': [2159], '2001AGG:': [2161], 'Tool': [2163], 'TransformationGabriele': [2168], 'Taentzer18': [2169], '2003On': [2171], 'Uniform': [2173], 'Representation': [2174], 'SystemsPaolo': [2177], 'Parisi-Presicce': [2180], 'Simeoni18': [2183], '2003Specification': [2185], 'Mobile': [2187], 'Code': [2188], 'GrammarsFernando': [2192], 'Dotti': [2194], '2000Redundancy': [2199], 'Subsumption': [2201], 'High-Level': [2203], 'Replacement': [2204], 'SystemsHans-Jörg': [2205], '2000A': [2211], 'Fully': [2212], 'Abstract': [2213], 'Graph-Interpreted': [2216], 'Temporal': [2217], 'LogicFabio': [2218], 'Gadducci,': [2219], 'Heckel': [2221], 'Manuel': [2223], 'Koch1': [2224], '2000More': [2226], 'About': [2227], 'Conditions': [2229], 'UnitsSabine': [2232], '2000An': [2235], 'modeling': [2239], 'simulation': [2241], 'systemsB.': [2244], 'Copstein,': [2245], 'Mora': [2249], 'TransformationMetrics': [2261], 'History': [2262], 'PDF': [2263], 'download': [2264]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W1665726835', 'counts_by_year': [{'year': 2024, 'cited_by_count': 1}, {'year': 2023, 'cited_by_count': 5}, {'year': 2022, 'cited_by_count': 4}, {'year': 2021, 'cited_by_count': 4}, {'year': 2020, 'cited_by_count': 8}, {'year': 2019, 'cited_by_count': 11}, {'year': 2018, 'cited_by_count': 11}, {'year': 2017, 'cited_by_count': 5}, {'year': 2016, 'cited_by_count': 3}, {'year': 2015, 'cited_by_count': 7}, {'year': 2014, 'cited_by_count': 17}, {'year': 2013, 'cited_by_count': 11}, {'year': 2012, 'cited_by_count': 16}], 'updated_date': '2024-12-13T19:06:29.535967', 'created_date': '2016-06-24'}