×

找到14个文档（结果1-14）

最新 引文 相关性
斯文·施奈德;莱恩·兰伯斯

评估图形条件的多样性。 （英语） Zbl 1492.68074号

Gadducci，Fabio（编辑）等人，《图形变换》。2021年6月24日至25日，第14届国际会议，ICGT 2021，作为STAF 2021虚拟活动的一部分举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12741, 122-141 (2021).
MSC公司：2012年第68季度 03B70号 68纳米30 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Schneider}和\textit{L.Lambers}，莱克特。注释计算。科学。12741、122--141（2021；Zbl 1492.68074）
全文： 内政部
延斯·科索尔;丹尼尔·斯特吕贝尔;加布里埃尔·坦泽尔;斯泰芬·兹夏勒

图形一致性作为分级属性。保持一致性并改进图形转换。 （英语） Zbl 1502.68154号

Gadducci，Fabio（编辑）等人，《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议，ICGT 2020，作为STAF 2020的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12150, 239-256 (2020).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Kosiol}等人，Lect。注释计算。科学。12150239--256（2020年；Zbl 1502.68154）
全文： 内政部 arXiv公司
尼古拉斯·贝尔;瑞科·赫克尔;玛丽亚姆·加法里·萨达特

用于规则合成的图形重叠的高效计算：理论和Z3原型。 （英语） Zbl 07456054号

Hoffmann，Berthold（ed.）等人，第十一届图形计算模型国际研讨会论文集，GCM 2020，在线车间，2020年6月24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）330126-144（2020）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{N.Behr}等人，《电子》。程序。西奥。计算。科学。（EPTCS）330126--144（2020；Zbl 07456054）
全文： arXiv公司 链接
安德里亚·科拉迪尼;玛丽亚姆·加法里·萨达特;瑞科·赫克尔

使用互补在安全图语法中编码增量NAC。 （英语） Zbl 07456052号

Hoffmann，Berthold（ed.）等人，第十一届图形计算模型国际研讨会论文集，GCM 2020，在线研讨会，2020年6月24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）330、88-107（2020）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，《电子》。程序。西奥。计算。科学。（EPTCS）330、88--107（2020；Zbl 07456052）
全文： arXiv公司 链接
克里斯蒂安·桑德曼

图形修复及其在元建模中的应用。 （英语） Zbl 07456048号

Hoffmann，Berthold（ed.）等人，第十一届图形计算模型国际研讨会论文集，GCM 2020，在线车间，2020年6月24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）330、13-34（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Sandmann}，电子。程序。西奥。计算。科学。（EPTCS）330，13-34（2020；Zbl 07456048）
全文： arXiv公司 链接
埃丝特·格拉（编辑）;费尔南多·奥雷贾斯（编辑）

第十二届图形变换国际会议专刊前言。 （英语） Zbl 1452.68009号

J.日志。阿尔盖布。方法计划。 115，文章ID 100576，2 p.（2020）.
MSC公司：68-06 2012年第68季度 68兰特 68立方英尺 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{E.Guerra}（编辑）和\textit{F.Orejas}（主编），J.Log。阿尔盖布。方法计划。115，文章ID 100576，2 p.（2020；Zbl 1452.68009）
全文： 内政部
内布拉斯加州纳赛尔;延斯·科索尔;托尔斯滕·阿伦特;加布里埃尔·坦泽尔

为模型转换规则构造优化的约束保持应用条件。 （英语） Zbl 1451.68140号

J.日志。阿尔盖布。方法计划。 114，文章ID 100564，31 p.（2020）.
MSC公司：2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Nassar}等人，J.Log。阿尔盖布。方法计划。114，文章ID 100564，31 p.（2020；Zbl 1451.68140）
全文： 内政部
克里斯蒂安·桑德曼;阿内格丽特·哈贝尔

基于规则的图形修复。 （英语） Zbl 07453090号

Echahed，Rachid（ed.）等人，《第十届图形计算模型国际研讨会论文集》，GCM 2019，荷兰埃因霍温，2019年7月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）309、87-104（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Sandmann}和\textit{A.Habel}，电子。程序。西奥。计算。科学。（EPTCS）309，87-104（2019；Zbl 07453090）
全文： arXiv公司 链接
瑞科·赫克尔;莱恩·兰伯斯;玛丽亚姆·加法里·萨达特

图形转换系统分析：本地与基于翻译的技术。 （英语） Zbl 07453086号

Echahed，Rachid（ed.）等人，第十届图形计算模型国际研讨会论文集，GCM 2019，荷兰埃因霍温，2019年7月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）309，1-22（2019）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Heckel}等人，《电子》。程序。西奥。计算。科学。（EPTCS）309，1--22（2019；Zbl 07453086）
全文： arXiv公司 链接
阿尔门德罗斯·希门尼斯，Jesús M。;路易斯·伊里巴恩;洛佩斯·费尔南德斯;安吉尔·莫拉塞古拉

PTL：一种基于逻辑编程的模型转换语言。 （英语） Zbl 1351.68047号

J.日志。阿尔盖布。方法计划。 85，第2期，332-366（2016）.
MSC公司：68甲15 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Almendros-Jiménez}等人，J.Log。阿尔盖布。方法计划。85，第2号，332--366（2016；Zbl 1351.68047）
全文： 内政部
亨德里克·拉德克;托尔斯滕·阿伦特;简·斯特芬·贝克尔;阿内格丽特·哈贝尔;加布里埃尔·坦泽尔

将基本OCL不变量转换为专注于集合运算的嵌套图约束。 （英语） Zbl 1321.68203号

Parisi-Prescce，Francesco（编辑）等人，《图形变换》。2015年7月21日至23日，作为2015年STAF的一部分，在意大利拉奎拉举行了第八届国际会议，ICGT 2015。诉讼程序。查姆：施普林格（ISBN 978-3-319-21144-2/pbk；978-3-3169-21145-9/电子书）。计算机科学讲义9151155-170（2015）。
MSC公司：68纳米30 2012年第68季度 68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛H.Radke｝等人，Lect。注释计算。科学。9151155-170（2015年；Zbl 1321.68203）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件