HYPEREDGE REPLACEMENT GRAPH GRAMMARS

Name: Work Video:
Duration: 3 min 30 s
Frank Drewes; Hans‐Jörg Kreowski; Annegret Habel
{'id': 'https://openalex.org/W127565347', 'doi': 'https://doi.org/10.1142/9789812384720_0002', 'title': 'HYPEREDGE REPLACEMENT GRAPH GRAMMARS', 'display_name': 'HYPEREDGE REPLACEMENT GRAPH GRAMMARS', 'publication_year': 1997, 'publication_date': '1997-02-01', 'ids': {'openalex': 'https://openalex.org/W127565347', 'doi': 'https://doi.org/10.1142/9789812384720_0002', 'mag': '127565347'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1142/9789812384720_0002', '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/A5002462356', 'display_name': 'Frank Drewes', 'orcid': 'https://orcid.org/0000-0001-7349-7693'}, 'institutions': [{'id': 'https://openalex.org/I180437899', 'display_name': 'University of Bremen', 'ror': 'https://ror.org/04ers2y35', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I180437899']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'F. DREWES', 'raw_affiliation_strings': ['Universität Bremen, Fachbereich 3, D–28334 Bremen, Germany'], 'affiliations': [{'raw_affiliation_string': 'Universität Bremen, Fachbereich 3, D–28334 Bremen, Germany', 'institution_ids': ['https://openalex.org/I180437899']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5042029979', 'display_name': 'Hans‐Jörg Kreowski', 'orcid': 'https://orcid.org/0000-0003-0578-5882'}, 'institutions': [{'id': 'https://openalex.org/I180437899', 'display_name': 'University of Bremen', 'ror': 'https://ror.org/04ers2y35', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I180437899']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'H.-J. KREOWSKI', 'raw_affiliation_strings': ['Universität Bremen, Fachbereich 3, D–28334 Bremen, Germany'], 'affiliations': [{'raw_affiliation_string': 'Universität Bremen, Fachbereich 3, D–28334 Bremen, Germany', 'institution_ids': ['https://openalex.org/I180437899']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5066151118', 'display_name': 'Annegret Habel', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I155765044', 'display_name': 'University of Hildesheim', 'ror': 'https://ror.org/02f9det96', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I155765044']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'A. HABEL', 'raw_affiliation_strings': ['Universität Hildesheim, D–31141 Hildesheim, Germany'], 'affiliations': [{'raw_affiliation_string': 'Universität Hildesheim, D–31141 Hildesheim, Germany', 'institution_ids': ['https://openalex.org/I155765044']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 2, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 11.258, 'has_fulltext': False, 'cited_by_count': 259, 'citation_normalized_percentile': {'value': 0.994012, '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': '95', 'last_page': '162'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11450', 'display_name': 'Model-Driven Software Engineering Techniques', 'score': 0.9908, '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'}}, 'topics': [{'id': 'https://openalex.org/T11450', 'display_name': 'Model-Driven Software Engineering Techniques', 'score': 0.9908, '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/T10374', 'display_name': 'Advanced Graph Theory Research', 'score': 0.9906, '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/T11269', 'display_name': 'Algorithms and Data Compression', 'score': 0.9899, '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/C53893814', 'wikidata': 'https://www.wikidata.org/wiki/Q7378909', 'display_name': 'Rule-based machine translation', 'level': 2, 'score': 0.6472584}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.5346678}, {'id': 'https://openalex.org/C132525143', 'wikidata': 'https://www.wikidata.org/wiki/Q141488', 'display_name': 'Graph', 'level': 2, 'score': 0.48945892}, {'id': 'https://openalex.org/C204321447', 'wikidata': 'https://www.wikidata.org/wiki/Q30642', 'display_name': 'Natural language processing', 'level': 1, 'score': 0.30249012}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.23961148}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1142/9789812384720_0002', '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': 74, 'referenced_works': ['https://openalex.org/W1447436028', 'https://openalex.org/W1481186424', 'https://openalex.org/W1483334519', 'https://openalex.org/W1507049957', 'https://openalex.org/W1512428151', 'https://openalex.org/W1516036773', 'https://openalex.org/W1534696515', 'https://openalex.org/W1535615528', 'https://openalex.org/W1540584810', 'https://openalex.org/W1556512469', 'https://openalex.org/W1556693404', 'https://openalex.org/W1561561939', 'https://openalex.org/W1563892973', 'https://openalex.org/W1569635563', 'https://openalex.org/W1576087595', 'https://openalex.org/W1592511760', 'https://openalex.org/W1598694679', 'https://openalex.org/W1600820878', 'https://openalex.org/W1601456718', 'https://openalex.org/W1604397276', 'https://openalex.org/W1608320983', 'https://openalex.org/W1683191055', 'https://openalex.org/W1817451992', 'https://openalex.org/W1968017594', 'https://openalex.org/W1976710646', 'https://openalex.org/W1984359106', 'https://openalex.org/W1987709131', 'https://openalex.org/W1990098162', 'https://openalex.org/W1992040352', 'https://openalex.org/W1994556169', 'https://openalex.org/W1994887153', 'https://openalex.org/W2000118875', 'https://openalex.org/W2002048494', 'https://openalex.org/W2002089154', 'https://openalex.org/W2004996495', 'https://openalex.org/W2011039300', 'https://openalex.org/W2011884447', 'https://openalex.org/W2012843178', 'https://openalex.org/W2013967419', 'https://openalex.org/W2016113382', 'https://openalex.org/W2025214096', 'https://openalex.org/W2028357390', 'https://openalex.org/W2029471547', 'https://openalex.org/W2040035445', 'https://openalex.org/W2041034381', 'https://openalex.org/W2041437718', 'https://openalex.org/W2041988689', 'https://openalex.org/W2056647002', 'https://openalex.org/W2059171004', 'https://openalex.org/W2060300993', 'https://openalex.org/W2061289584', 'https://openalex.org/W2063063505', 'https://openalex.org/W2064796716', 'https://openalex.org/W2068755149', 'https://openalex.org/W2071570031', 'https://openalex.org/W2077865366', 'https://openalex.org/W2081414924', 'https://openalex.org/W2082729478', 'https://openalex.org/W2083312088', 'https://openalex.org/W2087945397', 'https://openalex.org/W2088602194', 'https://openalex.org/W2088793163', 'https://openalex.org/W2096529162', 'https://openalex.org/W2116477319', 'https://openalex.org/W2118117473', 'https://openalex.org/W2128517960', 'https://openalex.org/W2152195025', 'https://openalex.org/W2157390113', 'https://openalex.org/W2243887335', 'https://openalex.org/W2911887602', 'https://openalex.org/W2913924563', 'https://openalex.org/W3037477934', 'https://openalex.org/W61953054', 'https://openalex.org/W8360613'], 'related_works': ['https://openalex.org/W4391913857', 'https://openalex.org/W4391375266', 'https://openalex.org/W2748952813', 'https://openalex.org/W2530322880', 'https://openalex.org/W2390279801', 'https://openalex.org/W2382290278', 'https://openalex.org/W2376932109', 'https://openalex.org/W2358668433', 'https://openalex.org/W2350741829', 'https://openalex.org/W2001405890'], 'abstract_inverted_index': {'Handbook': [0, 1606], 'of': [1, 66, 101, 104, 131, 146, 148, 155, 159, 170, 181, 195, 239, 256, 303, 316, 376, 507, 574, 606, 641, 660, 672, 677, 693, 710, 712, 742, 784, 874, 885, 1006, 1031, 1134, 1224, 1268, 1293, 1301, 1323, 1337, 1376, 1394, 1487, 1506, 1517, 1544, 1597, 1607], 'Graph': [2, 7, 133, 274, 311, 356, 417, 538, 561, 608, 661, 675, 1015, 1061, 1175, 1228, 1263, 1269, 1310, 1349, 1364, 1395, 1445, 1455, 1469, 1536, 1608, 1613], 'Grammars': [3, 539, 559, 595, 846, 996, 1126, 1162, 1311, 1609], 'and': [4, 20, 38, 77, 109, 138, 157, 163, 172, 188, 220, 241, 247, 281, 296, 305, 324, 374, 388, 393, 412, 427, 497, 523, 540, 549, 568, 581, 610, 616, 626, 639, 648, 666, 683, 701, 730, 745, 764, 777, 792, 807, 818, 825, 834, 847, 853, 861, 866, 890, 911, 926, 943, 957, 973, 981, 1009, 1019, 1024, 1037, 1055, 1070, 1104, 1142, 1155, 1170, 1179, 1189, 1203, 1232, 1252, 1275, 1285, 1291, 1303, 1312, 1315, 1321, 1344, 1371, 1380, 1399, 1421, 1430, 1436, 1440, 1460, 1472, 1499, 1523, 1529, 1540, 1552, 1559, 1574, 1582, 1592, 1601, 1610], 'Computing': [5, 1611], 'by': [6, 121, 467, 556, 622, 1388, 1467, 1508, 1588, 1612], 'Transformation,': [8], 'pp.': [9], '95-162': [10], '(1997)': [11], 'No': [12], 'AccessHYPEREDGE': [13], 'REPLACEMENT': [14], 'GRAPH': [15], 'GRAMMARSF.': [16], 'DREWES,': [17], 'H.-J.': [18, 30], 'KREOWSKI,': [19], 'A.': [21, 39, 493, 1317], 'HABELF.': [22], 'DREWESUniversität': [23], 'Bremen,': [24, 28, 32, 36], 'Fachbereich': [25, 33], '3,': [26, 34], 'D–28334': [27, 35], 'Germany,': [29, 37], 'KREOWSKIUniversität': [31], 'HABELUniversität': [40], 'Hildesheim,': [41, 43], 'D–31141': [42], 'Germanyhttps://doi.org/10.1142/9789812384720_0002Cited': [44], 'by:91': [45], '(Source:': [46], 'Crossref)': [47], 'PreviousNext': [48], 'AboutSectionsPDF/EPUB': [49], 'ToolsAdd': [50], 'to': [51, 55, 75, 92, 560, 596, 657, 1131, 1363, 1447, 1514, 1567, 1579], 'favoritesDownload': [52], 'CitationsTrack': [53], 'CitationsRecommend': [54], 'Library': [56], 'ShareShare': [57], 'onFacebookTwitterLinked': [58], 'InRedditEmail': [59], 'Abstract:': [60], 'In': [61, 80], 'this': [62], 'survey': [63], 'the': [64, 102, 113, 196, 314, 637, 658, 916, 1078, 1132, 1389, 1504, 1549], 'concept': [65], 'hyperedge': [67, 82, 105, 831, 1509], 'replacement': [68, 83], 'is': [69], 'presented': [70], 'as': [71, 88, 691, 997, 1045, 1427], 'an': [72], 'elementary': [73], 'approach': [74], 'graph': [76, 84, 210, 287, 859, 1528, 1531], 'hypergraph': [78, 1330], 'generation.': [79], 'particular,': [81], 'grammars': [85, 860, 972], 'are': [86, 116], 'discussed': [87], 'a': [89, 98, 254, 790, 793, 1046, 1324, 1428, 1545], '(hyper)graph-grammatical': [90], 'counterpart': [91], 'context-free': [93], 'string': [94], 'grammars.': [95], 'To': [96], 'cover': [97], 'large': [99], 'part': [100], 'theory': [103], 'replacement,': [106], 'structural': [107], 'properties': [108], 'decision': [110], 'problems,': [111], 'including': [112], 'membership': [114], 'problem,': [115], 'addressed.': [117], 'FiguresReferencesRelatedDetailsCited': [118], 'By': [119], '91Cited': [120], 'lists': [122], 'all': [123], 'citing': [124], 'articles': [125], 'based': [126, 273, 770, 1328], 'on': [127, 198, 253, 577, 740, 1227, 1329], 'Crossref': [128], 'citation.Tree-Based': [129], 'Generation': [130, 659, 1133], 'Restricted': [132], 'LanguagesHenrik': [134, 644], 'Björklund,': [135, 137, 645, 804], 'Johanna': [136, 646], 'Petter': [139, 649, 808], 'Ericson24': [140], 'November': [141], '2023': [142, 167, 192], '|': [143, 168, 193, 225, 262, 301, 329, 344, 364, 433, 448, 473, 504, 528, 586, 737, 782, 839, 871, 895, 986, 1004, 1083, 1109, 1237, 1299, 1335, 1404], 'International': [144, 505, 872], 'Journal': [145, 169, 302, 506, 783, 873, 1005, 1300], 'Foundations': [147], 'Computer': [149, 229, 267, 331, 349, 369, 453, 478, 746, 875, 900, 988, 1087, 1114, 1242, 1302, 1338, 1409], 'Science,': [150, 230, 268, 350, 370, 454, 479, 901, 989, 1088, 1115, 1243, 1410], 'Vol.': [151, 177, 201, 231, 269, 307, 333, 351, 371, 436, 455, 480, 510, 531, 589, 748, 786, 842, 877, 902, 990, 1011, 1089, 1116, 1244, 1306, 1340, 1411], '35,': [152], 'No.': [153, 203, 233, 309, 335, 512, 533, 591, 750, 788, 844, 879, 992, 1013, 1091, 1118, 1308, 1342, 1413], '01n02Unification': [154], 'drags': [156], 'confluence': [158], 'drag': [160], 'rewritingJean-Pierre': [161], 'Jouannaud': [162], 'Fernando': [164], 'Orejas1': [165], 'Feb': [166], 'Logical': [171], 'Algebraic': [173], 'Methods': [174], 'in': [175, 206, 228, 265, 347, 354, 367, 451, 476, 883, 898, 1051, 1086, 1112, 1185, 1240, 1355, 1407], 'Programming,': [176, 509, 1339], '131A': [178], 'Robust': [179], 'Theory': [180], 'Series': [182], 'Parallel': [183, 485, 508, 607, 752], 'GraphsRajeev': [184], 'Alur,': [185], 'Caleb': [186], 'Stanford': [187], 'Christopher': [189], 'Watson11': [190], 'January': [191], 'Proceedings': [194, 264, 346, 366, 450, 475, 897], 'ACM': [197], 'Programming': [199, 486, 754, 1449], 'Languages,': [200], '7,': [202], 'POPLPreserving': [204], 'consistency': [205], 'geometric': [207], 'modeling': [208], 'with': [209, 290, 536, 632, 717, 1094, 1099, 1150, 1163, 1217, 1417, 1450], 'transformationsAgnès': [211], 'Arnould,': [212], 'Hakim': [213], 'Belhaouari,': [214], 'Thomas': [215, 386, 854, 1593], 'Bellet,': [216], 'Pascale': [217], 'Le': [218], 'Gall': [219], 'Romain': [221], 'Pascual18': [222], 'October': [223, 1352, 1360, 1374], '2022': [224], 'Mathematical': [226, 1084], 'Structures': [227, 1085, 1587], '32,': [232], '3Acyclic': [234], 'Contextual': [235, 405], 'Hyperedge': [236, 337, 380, 406, 442, 593, 598, 800, 998, 1415, 1568, 1580, 1589], 'Replacement:': [237], 'Decidability': [238, 1260], 'Acyclicity': [240], 'Generative': [242], 'PowerFrank': [243], 'Drewes,': [244, 409, 976, 1063, 1196, 1457, 1520], 'Berthold': [245, 410, 835, 977, 1064, 1197, 1458], 'Hoffmann': [246, 411, 1398, 1459], 'Mark': [248, 413, 982, 1056, 1068, 1201, 1400, 1541, 1560, 1575], 'Minas26': [249], 'June': [250, 391, 399, 415, 461, 502, 669, 829, 1081, 1502, 1512, 1526, 1534], '2022Grammars': [251], 'Based': [252, 1226], 'Logic': [255, 304, 1547, 1578], 'Hypergraph': [257, 395, 1125, 1135, 1161, 1282, 1564], 'LanguagesTikhon': [258], 'Pshenitsyn21': [259], 'December': [260, 446, 471, 584, 602, 780, 856, 893, 1002], '2021': [261, 300, 343, 363, 432], 'Electronic': [263, 345, 365, 449, 474, 896, 1110, 1238, 1405], 'Theoretical': [266, 348, 368, 452, 477, 899, 987, 1113, 1241, 1408], '350A': [270], 'meta': [271], 'rule': [272], 'Grammar': [275, 312], 'formalism': [276, 289], 'for': [277, 313, 379, 403, 441, 516, 799, 920, 932, 964, 1017, 1048, 1077, 1148, 1249, 1346, 1433, 1480, 1548, 1563], 'Spatial': [278, 317, 1546], 'GraphYufeng': [279], 'Liu': [280, 295], 'Fan': [282, 297], 'Yang1': [283], 'Nov': [284, 1297, 1402], '2021EGG+:': [285], 'A': [286, 419, 482, 654, 775, 1128, 1247, 1366], 'grammar': [288], 'uncertain': [291], 'structure': [292], 'processing': [293], 'mechanismYufeng': [294], 'Yang3': [298], 'September': [299], 'Computation,': [306], '31,': [308], '7Coordinate': [310], 'Specification': [315], 'GraphsYufeng': [318], 'Liu,': [319, 565], 'Xiaoqin': [320], 'Zeng,': [321], 'Kang': [322, 569], 'Zhang': [323], 'Yang': [325], 'Zou15': [326], 'April': [327, 1453], '2020': [328, 447], 'The': [330], 'Journal,': [332], '64,': [334], '5Parallel': [336], 'Replacement': [338, 381, 407, 443, 594, 599, 801, 999, 1416, 1569, 1581], 'String': [339, 1280], 'LanguagesGraham': [340], 'Campbell8': [341], 'February': [342, 362, 552, 619, 810, 1443], '334Parallel': [352], 'Independence': [353], 'Attributed': [355], 'RewritingThierry': [357], 'Boy': [358], 'de': [359], 'la': [360], 'Tour8': [361], '334Automated': [372], 'Checking': [373], 'Completion': [375, 1565], 'Backward': [377], 'Confluence': [378], 'GrammarsIra': [382], 'Fesefeldt,': [383], 'Christoph': [384], 'Matheja,': [385, 850], 'Noll': [387], 'Johannes': [389], 'Schulte18': [390], '2021Powerful': [392], 'NP-Complete:': [394], 'Lambek': [396], 'GrammarsTikhon': [397, 444, 459], 'Pshenitsyn18': [398], '2021Rule-Based': [400], 'Top-Down': [401], 'Parsing': [402, 798], 'Acyclic': [404], 'GrammarsFrank': [408, 967, 1195], 'Minas18': [414], '2021Deep': [416], 'Generators:': [418], 'SurveyFaezeh': [420], 'Faez,': [421], 'Yassaman': [422], 'Ommi,': [423], 'Mahdieh': [424], 'Soleymani': [425], 'Baghshah': [426], 'Hamid': [428], 'R.': [429], 'Rabiee1': [430], 'Jan': [431, 735, 914, 946, 960, 969, 1028, 1041, 1058, 1074, 1123, 1145, 1158, 1173, 1182, 1192, 1207, 1214, 1220, 1257, 1266, 1278, 1288, 1319, 1475, 1484], 'IEEE': [434], 'Access,': [435], '9Weak': [437], 'Greibach': [438], 'Normal': [439], 'Form': [440], 'Pshenitsyn3': [445], '330Hypergraph': [456], 'Basic': [457, 1356], 'Categorial': [458, 995], 'Pshenitsyn23': [460], '2020Speeding': [462], 'up': [463], 'Generalized': [464], 'PSR': [465], 'Parsers': [466], 'Memoization': [468], 'TechniquesMark': [469], 'Minas20': [470], '2019': [472, 503, 527], '309VPPE:': [481], 'Novel': [483, 655], 'Visual': [484, 1254], 'EnvironmentJosé': [487], 'L.': [488], 'Quiroz-Fabián,': [489], 'Graciela': [490], 'Román-Alonso,': [491], 'Miguel': [492], 'Castro-García,': [494], 'Jorge': [495], 'Buenabad-Chávez': [496], 'Azzedine': [498], 'Boukerche': [499], 'et': [500, 733], 'al.11': [501], '47,': [511], '5-6Ordered': [513], 'Tree': [514, 715], 'Decomposition': [515], 'HRG': [517], 'Rule': [518], 'ExtractionDaniel': [519], 'Gildea,': [520], 'Giorgio': [521], 'Satta': [522], 'Xiaochang': [524], 'Peng1': [525], 'Jun': [526], 'Computational': [529], 'Linguistics,': [530], '45,': [532], '2Model': [534], 'Transformation': [535, 609, 812, 817, 1176, 1184, 1216, 1229, 1270, 1396, 1426, 1446, 1481], 'Triple': [537], 'Non-terminal': [541], 'SymbolsWilliam': [542], 'da': [543], 'Silva,': [544], 'Max': [545], 'Bureck,': [546], 'Ina': [547], 'Schieferdecker': [548], 'Christian': [550], 'Hein2': [551], '2019Generating': [553], 'Tractable': [554], 'Designs': [555], 'Transforming': [557], 'Shape': [558], 'GrammarsXiao-Yu': [562], 'Wang,': [563, 923], 'Yu-Feng': [564], 'Jie': [566], 'Li': [567], 'Zhang13': [570], 'August': [571, 635, 1424], '2018Reachability': [572], 'analysis': [573], 'reversal-bounded': [575], 'automata': [576], 'series–parallel': [578], 'graphsRayna': [579], 'Dimitrova': [580], 'Rupak': [582], 'Majumdar18': [583], '2016': [585], 'Acta': [587, 840], 'Informatica,': [588, 841], '55,': [590], '2From': [592], 'Decidable': [597], 'GamesChristoph': [600], 'Peuser6': [601], '2018A': [603], 'Simple': [604], 'Notion': [605], 'Its': [611], 'PerspectivesHans-Jörg': [612], 'Kreowski,': [613, 663, 820, 1209], 'Sabine': [614, 664, 821, 1212, 1276], 'Kuske': [615, 665], 'Aaron': [617, 667, 823], 'Lye7': [618], '2018Graph': [620], 'Surfing': [621], 'Reaction': [623], 'SystemsHans-Jörg': [624], 'Kreowski': [625, 1141, 1274, 1498, 1522], 'Grzegorz': [627], 'Rozenberg29': [628], 'May': [629, 651, 1107, 1463], '2018Tree-to-Graph': [630], 'Transductions': [631], 'ScopeJohanna': [633], 'Björklund5': [634], '2018On': [636], 'Regularity': [638], 'Learnability': [640], 'Ordered': [642, 713], 'DAG': [643, 802], 'Björklund': [647], 'Ericson28': [650], '2017Fusion': [652], 'Grammars:': [653], 'Approach': [656, 1130], 'LanguagesHans-Jörg': [662], 'Lye21': [668], '2017Distributional': [670], 'Learning': [671], 'Regular': [673], 'Formal': [674, 1431], 'System': [676, 1304, 1434], 'Bounded': [678], 'DegreeTakayoshi': [679], 'Shoudai,': [680], 'Satoshi': [681, 728], 'Matsumoto': [682], 'Yusuke': [684, 726], 'Suzuki16': [685], 'July': [686], '2017Computing': [687], 'Continuous-Time': [688], 'Markov': [689], 'Chains': [690], 'Transformers': [692], 'Unbounded': [694], 'ObservablesVincent': [695], 'Danos,': [696], 'Tobias': [697], 'Heindel,': [698], 'Ilias': [699], 'Garnier': [700], 'Jakob': [702], 'Grue': [703], 'Simonsen16': [704], 'March': [705, 837], '2017Polynomial': [706], 'Time': [707], 'Inductive': [708], 'Inference': [709], 'Languages': [711, 1465], 'Term': [714], 'Patterns': [716], 'Height-Constrained': [718], 'Variables': [719], 'from': [720], 'Positive': [721], 'DataTakayoshi': [722], 'SHOUDAI,': [723], 'Kazuhide': [724], 'AIKOH,': [725], 'SUZUKI,': [727], 'MATSUMOTO': [729], 'Tetsuhiro': [731], 'MIYAHARA': [732], 'al.1': [734], '2017': [736, 781], 'IEICE': [738], 'Transactions': [739], 'Fundamentals': [741], 'Electronics,': [743], 'Communications': [744], 'Sciences,': [747, 1305], 'E100.A,': [749], '3Hiding': [751], 'MPI': [753], 'behind': [755], 'Graphical': [756], 'Workflow': [757], 'SpecificationsJ.L.': [758], 'Quiroz-Fabian,': [759], 'G.': [760], 'Roman-Alonso,': [761], 'M.A.': [762], 'Castro-Garcia': [763], 'M.': [765], 'Aguilar-Cornejo1': [766], 'Dec': [767, 1235], '2016Graph': [768, 811], 'transformation': [769], 'simulation': [771], 'model': [772], 'generationY': [773], 'Huang,': [774], 'Verbraeck': [776], 'M': [778], 'Seck19': [779], 'Simulation,': [785], '10,': [787], '4Between': [789], 'Rock': [791], 'Hard': [794], 'Place': [795], '–': [796, 904, 1127, 1246], 'Uniform': [797], 'GrammarsHenrik': [803], 'Frank': [805], 'Drewes': [806, 833], 'Ericson26': [809], 'Meets': [813], 'Reversible': [814], 'Circuits:': [815], 'Model': [816, 1437], 'OptimizationHans-Jörg': [819], 'Kuske,': [822], 'Lye': [824], 'Caro': [826], 'von': [827], 'Totth22': [828], '2016Contextual': [830], 'replacementFrank': [832, 1510], 'Hoffmann29': [836], '2015': [838], '52,': [843], '6Tree-Like': [845], 'Separation': [848, 1577], 'LogicChristoph': [849], 'Christina': [851, 912], 'Jansen': [852], 'Noll9': [855], '2015Function': [857], 'simulation,': [858], 'colouringsAmir': [862], 'Daneshgar,': [863], 'Alireza': [864], 'Rahimi': [865], 'Siamak': [867], 'Taati1': [868], 'Jul': [869, 984], '2013': [870], 'Mathematics,': [876], '90,': [878], '7Enforcing': [880], 'Architectural': [881], 'Styles': [882], 'Presence': [884], 'Unexpected': [886], 'Distributed': [887], 'ReconfigurationsKyriakos': [888], 'Poyias': [889], 'Emilio': [891], 'Tuosto14': [892], '2012': [894], '104Juggrnaut': [903], 'An': [905], 'Abstract': [906, 994], 'JVMJonathan': [907], 'Heinen,': [908], 'Henrik': [909], 'Barthels': [910], 'Jansen1': [913], '2012Constructing': [915], 'graphical': [917], 'reasoning': [918], 'process': [919], 'proposition': [921], 'logicYi': [922], 'Han': [924], 'Ding': [925], 'DongSheng': [927], 'Xiang1': [928], 'Aug': [929, 1333], '2011Hierarchical': [930], 'Models': [931, 1044], 'Service-Oriented': [933], 'SystemsRoberto': [934, 1177], 'Bruni,': [935, 1021, 1034], 'Andrea': [936], 'Corradini,': [937], 'Fabio': [938, 955, 1022, 1035, 1102, 1153], 'Gadducci,': [939], 'Alberto': [940, 1025, 1038, 1553], 'Lluch': [941, 1026, 1039, 1554], 'Lafuente': [942], 'Ugo': [944, 1105, 1156], 'Montanari1': [945, 1106, 1157], '2011Adhesivity': [947], 'Is': [948], 'Not': [949], 'Enough:': [950], 'Local': [951], 'Church-Rosser': [952], 'RevisitedPaolo': [953], 'Baldan,': [954, 1101, 1152], 'Gadducci': [956, 1023, 1036, 1103, 1154, 1551, 1600], 'Pawel': [958], 'Sobociński1': [959], '2011Selected': [961], 'Decision': [962], 'Problems': [963], 'Square-Refinement': [965], 'Collage': [966], 'Drewes1': [968], '2011Adaptive': [970], 'star': [971], 'their': [974], 'languagesFrank': [975, 1519], 'Hoffmann,': [978, 1065, 1198], 'Dirk': [979, 1066, 1199], 'Janssens': [980], 'Minas1': [983, 1057, 1256, 1332, 1401], '2010': [985], '411,': [991], '34-36Second-Order': [993], 'GrammarsMakoto': [1000], 'Kanazawa18': [1001], '2009': [1003], 'Logic,': [1007], 'Language': [1008], 'Information,': [1010], '19,': [1012], '2A': [1014], 'Syntax': [1016], 'Processes': [1018], 'ServicesRoberto': [1020], 'Lafuente1': [1027, 1040], '2010An': [1029], 'Algebra': [1030], 'Hierarchical': [1032], 'GraphsRoberto': [1033], '2010Business': [1042], 'Process': [1043], 'Showcase': [1047], 'Syntax-Based': [1049], 'Assistance': [1050], 'Diagram': [1052], 'EditorsSteffen': [1053], 'Mazanek': [1054, 1539, 1558], '2009Shaped': [1059], 'Generic': [1060], 'TransformationFrank': [1062, 1456], 'Janssens,': [1067, 1200], 'Minas': [1069, 1202], 'Niels': [1071, 1204], 'Van': [1072, 1205], 'Eetvelde1': [1073, 1206], '2008Graph': [1075], 'rewriting': [1076], 'π-calculusFABIO': [1079], 'GADDUCCI1': [1080], '2007': [1082, 1108], '17,': [1090], '3Modelling': [1092], 'Calculi': [1093], 'Name': [1095, 1418], 'Mobility': [1096], 'using': [1097], 'Graphs': [1098, 1149, 1379], 'EquivalencesPaolo': [1100, 1151], 'Notes': [1111, 1239, 1406], '176,': [1117], '1Implementing': [1119], 'Conformiq': [1120], 'QtronicAntti': [1121], 'Huima1': [1122], '2007Contextual': [1124], 'New': [1129], 'LanguagesAdrian-Horia': [1136], 'Dediu,': [1137], 'Renate': [1138, 1210], 'Klempien-Hinrichs,': [1139, 1211, 1272, 1496], 'Hans-Jörg': [1140, 1273, 1497, 1521], 'Benedek': [1143], 'Nagy1': [1144], '2006Concurrent': [1146], 'Rewriting': [1147], '2006String': [1159], 'Generating': [1160, 1253, 1281], 'Word': [1164], 'Order': [1165], 'RestrictionsMartin': [1166], 'Riedl,': [1167], 'Sebastian': [1168, 1473], 'Seifert': [1169, 1284], 'Ingrid': [1171, 1286], 'Fischer1': [1172, 1287], '2006Dynamic': [1174], 'Bruni': [1178], 'Hernán': [1180], 'Melgratti1': [1181], '2006Graph': [1183, 1215], 'Constant': [1186], 'TimeMike': [1187], 'Dodds': [1188], 'Detlef': [1190, 1461], 'Plump1': [1191], '2006Adaptive': [1193], 'Star': [1194], '2006Hans-Jörg': [1208], 'Kuske1': [1213, 1277, 1483], 'VariablesBerthold': [1218], 'Hoffmann1': [1219], '2005An': [1221], 'Operational': [1222], 'Semantics': [1223], 'CommUnity': [1225], 'SystemsAndrea': [1230], 'Corradini': [1231], 'Dan': [1233, 1420], 'Hirsch1': [1234], '2004': [1236], '109VisualDiaGen': [1245], 'Tool': [1248], 'Visually': [1250], 'Specifying': [1251], 'EditorsMark': [1255], '2004Compositional': [1258], 'Verification:': [1259], 'Issues': [1261], 'Using': [1262], 'SubstitutionsOlivier': [1264], 'Ly1': [1265, 1296], '2004Typing': [1267], 'UnitsRenate': [1271], '2004Parsing': [1279], 'GrammarsSebastian': [1283], '2004Automatic': [1289], 'graphs': [1290], 'D0L-sequences': [1292], 'finite': [1294], 'graphsOlivier': [1295], '2003': [1298], '67,': [1307], '3NCE': [1309], 'Clique-WidthAlexander': [1313], 'Glikson': [1314], 'Johann': [1316], 'Makowsky1': [1318], '2003Concepts': [1320], 'realization': [1322], 'diagram': [1325], 'editor': [1326], 'generator': [1327], 'transformationMark': [1331], '2002': [1334], 'Science': [1336], '44,': [1341], '2Abstraction': [1343], 'Control': [1345, 1478], 'Shapely': [1347], 'Nested': [1348, 1378], 'TransformationBerthold': [1350], 'Hoffmann24': [1351], '2002Hyperedge': [1353], 'Substitution': [1354], 'Atom-Replacement': [1357], 'LanguagesRenate': [1358], 'Klempien-Hinrichs24': [1359], '2002Tutorial': [1361], 'Introduction': [1362], 'Transformation:': [1365], 'Software': [1367], 'Engineering': [1368], 'PerspectiveLuciano': [1369], 'Baresi': [1370], 'Reiko': [1372, 1441], 'Heckel24': [1373], '2002Transformation': [1375], 'Shaped': [1377], 'Diagrams1': [1381], '1This': [1382], 'work': [1383], 'has': [1384], 'been': [1385], 'partially': [1386], 'supported': [1387], 'ESPRIT': [1390], 'Working': [1391], 'Group': [1392], 'Applications': [1393], '(Appligraph).Berthold': [1397], '2001': [1403], '59,': [1412], '4Synchronized': [1414], 'MobilityHirsch': [1419], 'Montanari': [1422], 'Ugo22': [1423], '2001Graph': [1425], 'Conceptual': [1429], 'Framework': [1432], 'Modeling': [1435], 'EvolutionGregor': [1438], 'Engels': [1439], 'Heckel18': [1442], '2002From': [1444], 'Rule-Based': [1448], 'DiagramsBerthold': [1451], 'Hoffmann18': [1452], '2003Hierarchical': [1454], 'Plump19': [1462], '2000Tree': [1464], 'Generated': [1466], 'Context-Free': [1468], 'GrammarsJoost': [1470], 'Engelfriet': [1471], 'Maneth1': [1474], '2000More': [1476], 'About': [1477], 'Conditions': [1479], 'UnitsSabine': [1482], '2000Correct': [1485], 'translation': [1486], 'mutually': [1488], 'recursive': [1489], 'function': [1490], 'systems': [1491], 'into': [1492], 'TOL': [1493], 'collage': [1494, 1518], 'grammarsRenate': [1495], 'Stefan': [1500], 'Taubenberger3': [1501], '2003On': [1503], 'generation': [1505], 'trees': [1507], 'Drewes17': [1511], '2005Criteria': [1513], 'disprove': [1515], 'context-freeness': [1516], 'Denis': [1524], 'Lapoire21': [1525], '2005Concurrent': [1527], 'term': [1530], 'rewritingA.': [1532], 'Corradini2': [1533], '2005Functional-Logic': [1535], 'Parser': [1537, 1556], 'CombinatorsSteffen': [1538, 1557], 'MinasGraphical': [1542], 'Encoding': [1543], 'π-CalculusFabio': [1550], 'LafuenteGraph': [1555], 'MinasAn': [1561], 'Algorithm': [1562], 'According': [1566], 'GrammarsSteffen': [1570], 'Mazanek,': [1571], 'Sonja': [1572], 'Maier': [1573], 'MinasFrom': [1576], 'BackMike': [1583], 'DoddsAbstracting': [1584], 'Complex': [1585], 'Data': [1586], 'ReplacementStefan': [1590], 'Rieger': [1591], 'NollA': [1594], 'Decentralized': [1595], 'Implementation': [1596], 'Mobile': [1598], 'AmbientsFabio': [1599], 'Giacoma': [1602], 'Valentina': [1603], 'Monreale': [1604], 'Recommended': [1605], 'TransformationMetrics': [1614], 'History': [1615], 'PDF': [1616], 'download': [1617]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W127565347', 'counts_by_year': [{'year': 2024, 'cited_by_count': 2}, {'year': 2023, 'cited_by_count': 10}, {'year': 2022, 'cited_by_count': 6}, {'year': 2021, 'cited_by_count': 13}, {'year': 2020, 'cited_by_count': 13}, {'year': 2019, 'cited_by_count': 19}, {'year': 2018, 'cited_by_count': 15}, {'year': 2017, 'cited_by_count': 18}, {'year': 2016, 'cited_by_count': 9}, {'year': 2015, 'cited_by_count': 11}, {'year': 2014, 'cited_by_count': 6}, {'year': 2013, 'cited_by_count': 7}, {'year': 2012, 'cited_by_count': 11}], 'updated_date': '2024-12-17T15:33:38.996705', 'created_date': '2016-06-24'}
Publication Information

Basic Information

Access and Citation

AI Researcher Chatbot

Primary Location

Authors

Topics

Keywords

Related Works
