缺少摘要。
- 关于不动点检查的单面视图保罗·巴尔丹,理查德·艾格特,芭芭拉·科尼格0001,蒂莫·马特,托马索·帕多安.3-21 [美国国防部]
- 用于图变换的线性时间时序逻辑的描述与验证法比奥·加杜奇,安德烈亚·拉雷托,大卫·特罗塔.22-42 [美国国防部]
- 找到通往罗马的正确道路:面向效果的图形转换延斯·科西奥,丹尼尔·斯特吕贝尔0001,加布里埃尔·坦泽尔,斯特芬·兹谢勒.43-63 [美国国防部]
- 沿导数移动导数可以保护脊椎汉斯·约格·克鲁斯基,萨宾·库斯克,亚伦·莱伊,阿尔乔沙·温得霍斯特.64-80 [美国国防部]
- 用加权子图计数终止图变换系统罗伊·奥弗贝克,约格·恩德鲁利斯.81-101 [美国国防部]
- 模糊预升是拟拓扑阿洛伊斯·罗塞特,罗伊·奥弗贝克,约格·恩德鲁利斯.102-122 [美国国防部]
- 机械化DPO理论:导数的唯一性和Church-Rosser定理罗伯特·索尔德纳,Detlef丰满.123-142 [美国国防部]
- 键合图的形式化、抽象和精化理查德·巴纳赫,约翰·W·鲍(John W.Baugh Jr.)。.145-162 [美国国防部]
- 基于规则的图形查询求解过程多米尼克·杜瓦尔,拉希德·埃哈希德,普罗斯特(Frédéric Prost).163-183 [美国国防部]
- 使用高阶捷径规则进行高级一致性恢复拉尔斯·弗里奇,延斯·科西奥,阿德里安·莫勒,安迪·舒尔.184-203 [美国国防部]
- 基于图变换系统的BPMN形式化与分析蒂姆·克雷特,阿德里安·拉特,哈拉尔德·科尼格,Yngve Lamo公司.204-222 [美国国防部]
- 计算大型图的k-互模拟:比较与效率分析詹尼克·劳,大卫·理查德比,安斯加·谢普.223-242 [美国国防部]
- 基于图感染的优势特征值-特征向量对估计开元杨0005,李霞,Y.C.Tay先生.243-260 [美国国防部]
- GT语言:一种以图形为第一类数据的函数语言金萨诺,Kazunori Ueda公司.263-277 [美国国防部]
- 一本活生生的图形变换专著尼古拉斯·贝尔,Russ Harmer公司.281-291 [美国国防部]
- 图神经网络的图重写亚当·马乔奇克,瑞科·赫克尔.292-301 [美国国防部]