{"title":"Graph Parsing as Graph Transformation","authors":"F. Drewes, B. Hoffmann, M. Minas","doi":"10.1007/978-3-030-51372-6_13","DOIUrl":"https://doi.org/10.1007/978-3-030-51372-6_13","url":null,"abstract":"","PeriodicalId":182384,"journal":{"name":"Graph Transformation","volume":"232 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123066996","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Graph Consistency as a Graduated Property","authors":"Jens Kosiol, D. Strüber, G. Taentzer, S. Zschaler","doi":"10.1007/978-3-030-51372-6_14","DOIUrl":"https://doi.org/10.1007/978-3-030-51372-6_14","url":null,"abstract":"","PeriodicalId":182384,"journal":{"name":"Graph Transformation","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124114373","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Sven Schneider, Lucas Sakizloglou, M. Maximova, H. Giese
{"title":"Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic","authors":"Sven Schneider, Lucas Sakizloglou, M. Maximova, H. Giese","doi":"10.1007/978-3-030-51372-6_16","DOIUrl":"https://doi.org/10.1007/978-3-030-51372-6_16","url":null,"abstract":"","PeriodicalId":182384,"journal":{"name":"Graph Transformation","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127494879","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Algebras for Tree Decomposable Graphs","authors":"R. Bruni, U. Montanari, Matteo Sammartino","doi":"10.1007/978-3-030-51372-6_12","DOIUrl":"https://doi.org/10.1007/978-3-030-51372-6_12","url":null,"abstract":"","PeriodicalId":182384,"journal":{"name":"Graph Transformation","volume":"189 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115604380","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions","authors":"Sven Schneider, J. Dyck, H. Giese","doi":"10.1007/978-3-030-51372-6_15","DOIUrl":"https://doi.org/10.1007/978-3-030-51372-6_15","url":null,"abstract":"","PeriodicalId":182384,"journal":{"name":"Graph Transformation","volume":"269 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116162796","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
H. Bruggink, B. König, Marleen Matjeka, Dennis Nolte, L. Stoltenow
{"title":"A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java","authors":"H. Bruggink, B. König, Marleen Matjeka, Dennis Nolte, L. Stoltenow","doi":"10.1007/978-3-030-51372-6_17","DOIUrl":"https://doi.org/10.1007/978-3-030-51372-6_17","url":null,"abstract":"","PeriodicalId":182384,"journal":{"name":"Graph Transformation","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115659038","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}