编辑配置文件(在新选项卡中打开) 安托万杜兰·加塞林 合著者距离 作者ID: 杜兰加糖氨酸 发布日期: 安托万杜兰·加塞林 已编制索引的文档: 6出版物自2010年起 合著者: 6位合著者具有6联合出版物 298合著作者 全部的 前5名合著者 0 单作者的 三 彼得·哈伯梅尔 2 哈维尔·埃斯帕尔扎 2 皮埃尔·甘蒂 2 鲁帕克·马朱姆达尔 1 拉杰夫·阿鲁尔 1 阿舒托什·特里维迪 系列 1 系统设计中的形式化方法 领域 5 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用21中的次18文件 引用人▼ 年份▼ 模型检查参数化异步共享内存系统。 Zbl 1360.68584号 安托万杜兰·加塞林;哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔 7 2017 通过原始信息对数据词进行常规转换。 Zbl 1475.68151号 安托万杜兰·加塞林;彼得·哈伯梅尔 4 2016 对于有界度的结构,Ehrenfeucht-Fraíssé基本上是自动的。 Zbl 1245.03061号 安托万杜兰·加塞林;彼得·哈伯梅尔 4 2012 模型检查参数化异步共享内存系统。 Zbl 1381.68158号 安托万杜兰·加塞林;哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔 三 2015 从一元二阶可定义字符串变换到换能器。 Zbl 1366.68133号 拉杰夫·阿鲁尔;安托万杜兰·加塞林;阿舒托什·特里维迪 三 2013 模型检查参数化异步共享内存系统。 Zbl 1360.68584号 安托万杜兰·加塞林;哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔 7 2017 通过原始信息对数据词进行常规转换。 Zbl 1475.68151号 安托万杜兰·加塞林;彼得·哈伯梅尔 4 2016 模型检查参数化异步共享内存系统。 Zbl 1381.68158号 安托万杜兰·加塞林;哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔 三 2015 从一元二阶可定义字符串转换到转换器。 Zbl 1366.68133号 拉杰夫·阿鲁尔;安托万杜兰·加塞林;阿舒托什·特里维迪 三 2013 Ehrenfeucht-Fraïssé对于有界度的结构是基本自动的。 Zbl 1245.03061号 安托万杜兰·加塞林;彼得·哈伯梅尔 4 2012 所有引用的出版物 前5名被引用出版物 全部的 前5名31位作者引用 5 皮埃尔·阿莱·雷尼尔 三 彼得·奇尼 三 莱奥·埃克巴德 三 艾曼纽·菲利奥特 三 罗兰·梅耶 三 普拉卡什·塞瓦桑 2 吕克·达托伊斯 2 伊斯马·杰克 2 伊戈尔·康诺夫(Igor V.Konnov)。 2 迪特里赫·库斯克 2 安卡·穆斯科尔 2 约瑟夫·威德 1 Bose,Sougata公司 1 安托万杜兰·加塞林 1 玛丽·何塞·福廷 1 保罗·加斯丁 1 彼得·哈伯梅尔 1 霍恩,弗洛里安 1 乔纳森·科尔伯格 1 安德烈亚斯·克雷布斯 1 朱尔·库科维奇 1 玛丽亚娜·拉齐奇 1 刘嘉谋 1 马库斯·洛伊 1 文森特·佩内尔 1 加布里埃尔,小狗 1 阿诺德·桑尼尔 1 赫尔穆特·塞德尔 1 赫尔穆特·维思 1 伊戈尔·瓦卢凯维奇 1 法里德·阿布·扎伊德 全部的 前5名7篇连载文章中引用 1 计算 1 理论计算机科学 1 美国数学学会会刊 1 自动推理杂志 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 在3个字段中引用 16 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 群论与推广(20-XX) 按年份列出的引文