Graph Transformation最新文献

筛选
英文 中文
Graph Parsing as Graph Transformation 作为图形转换的图形解析
Graph Transformation Pub Date : 2020-05-31 DOI: 10.1007/978-3-030-51372-6_13
F. Drewes, B. Hoffmann, M. Minas
{"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}
引用次数: 1
Computing Embeddings of Directed Bigraphs 计算有向图的嵌入
Graph Transformation Pub Date : 2020-05-31 DOI: 10.1007/978-3-030-51372-6_3
Alessio Chiapperini, Marino Miculan, Marco Peressotti
{"title":"Computing Embeddings of Directed Bigraphs","authors":"Alessio Chiapperini, Marino Miculan, Marco Peressotti","doi":"10.1007/978-3-030-51372-6_3","DOIUrl":"https://doi.org/10.1007/978-3-030-51372-6_3","url":null,"abstract":"","PeriodicalId":182384,"journal":{"name":"Graph Transformation","volume":"23 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":"114516830","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}
引用次数: 2
Single Pushout Rewriting in Comprehensive Systems 综合系统中的单推出重写
Graph Transformation Pub Date : 2020-05-31 DOI: 10.1007/978-3-030-51372-6_6
H. König, Patrick Stünkel
{"title":"Single Pushout Rewriting in Comprehensive Systems","authors":"H. König, Patrick Stünkel","doi":"10.1007/978-3-030-51372-6_6","DOIUrl":"https://doi.org/10.1007/978-3-030-51372-6_6","url":null,"abstract":"","PeriodicalId":182384,"journal":{"name":"Graph Transformation","volume":"88 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":"132309909","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}
引用次数: 1
Graph Consistency as a Graduated Property 作为分级属性的图一致性
Graph Transformation Pub Date : 2020-05-31 DOI: 10.1007/978-3-030-51372-6_14
Jens Kosiol, D. Strüber, G. Taentzer, S. Zschaler
{"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}
引用次数: 9
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic 度量时间图逻辑的乐观与悲观动态分析
Graph Transformation Pub Date : 2020-05-31 DOI: 10.1007/978-3-030-51372-6_16
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}
引用次数: 6
Algebras for Tree Decomposable Graphs 树可分解图的代数
Graph Transformation Pub Date : 2020-05-31 DOI: 10.1007/978-3-030-51372-6_12
R. Bruni, U. Montanari, Matteo Sammartino
{"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}
引用次数: 0
Conditional Bigraphs 条件Bigraphs
Graph Transformation Pub Date : 2020-05-31 DOI: 10.1007/978-3-030-51372-6_1
B. Archibald, M. Calder, Michele Sevegnani
{"title":"Conditional Bigraphs","authors":"B. Archibald, M. Calder, Michele Sevegnani","doi":"10.1007/978-3-030-51372-6_1","DOIUrl":"https://doi.org/10.1007/978-3-030-51372-6_1","url":null,"abstract":"","PeriodicalId":182384,"journal":{"name":"Graph Transformation","volume":"204 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":"115725851","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}
引用次数: 8
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions 基于嵌套属性图条件的属性图变换系统不变量的形式化验证
Graph Transformation Pub Date : 2020-05-31 DOI: 10.1007/978-3-030-51372-6_15
Sven Schneider, J. Dyck, H. Giese
{"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}
引用次数: 6
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java 一个灵活且易于使用的库,用于快速开发Java中的图形工具
Graph Transformation Pub Date : 2020-05-31 DOI: 10.1007/978-3-030-51372-6_17
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}
引用次数: 0
Unfolding Symbolic Attributed Graph Grammars 展开符号属性图语法
Graph Transformation Pub Date : 2020-05-31 DOI: 10.1007/978-3-030-51372-6_5
Maryam Ghaffari Saadat, R. Heckel, F. Orejas
{"title":"Unfolding Symbolic Attributed Graph Grammars","authors":"Maryam Ghaffari Saadat, R. Heckel, F. Orejas","doi":"10.1007/978-3-030-51372-6_5","DOIUrl":"https://doi.org/10.1007/978-3-030-51372-6_5","url":null,"abstract":"","PeriodicalId":182384,"journal":{"name":"Graph Transformation","volume":"1 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":"121255374","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}
引用次数: 1
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信