编辑配置文件(在新选项卡中打开) 达米安·祖弗里 合著者距离 作者ID: 祖费雷·达米恩 发布日期: 达米安·祖弗里 已编制索引的文档: 9出版物自2010年以来 1作为编辑的贡献 合著者: 13合著者具有10联合出版物 536合著作者 全部的 前5名合著者 0 单作者的 4 托马斯·亨辛格(Thomas A.Henzinger)。 三 托马斯·怀斯 2 塞萨拉·德拉戈伊 2 费利克斯·斯图兹 1 克什蒂吉·班萨尔 1 德克·拜尔 1 克里希南德·查特吉 1 高思春 1 埃里克·科斯金 1 马达瓦恩·穆昆德 1 马丁·安德烈亚斯·诺瓦克 1 赫尔穆特·维思 1 约瑟夫·威德 系列 1 计算机科学课堂讲稿 1 理论生物学杂志 字段 9 计算机科学(68-XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用52中的次44文件 引用人▼ 年份▼ 用于验证一致性算法的基于逻辑的框架。 Zbl 1428.68371号 塞扎拉·奥盖医生;托马斯·亨辛格(Thomas A.Henzinger)。;赫尔穆特·维思;约瑟夫·威德;达米安·祖弗里 12 2014 深度边界过程的正向分析。 Zbl 1284.68419号 托马斯·怀斯;达米安·祖弗里;托马斯·亨辛格(Thomas A.Henzinger)。 11 2010 PSync(同步):一种用于容错分布式算法的部分同步语言。 Zbl 1347.68036号 塞扎拉·奥盖医生;托马斯·亨辛格(Thomas A.Henzinger)。;达米安·祖弗里 10 2016 结构良好的转换系统的理想抽象。 Zbl 1326.68205号 达米安·祖弗里;托马斯·怀斯;托马斯·亨辛格(Thomas A.Henzinger)。 7 2012 不同学习者群体的进化博弈动力学。 Zbl 1397.91062号 克里希南德·查特吉;达米安·祖弗里;马丁·诺瓦克。 5 2012 实域上非线性理论中的插值函数。 Zbl 1420.68187号 高思春;达米安·祖弗里 三 2016 异步多方会话类型中的通用投影。 Zbl 07730637号 鲁帕克·马朱姆达尔;马达瓦恩·穆昆德;费利克斯·斯图兹;达米安·祖弗里 2 2021 结构计数器抽象。 Zbl 1381.68194号 克什蒂吉·班萨尔;埃里克·科斯金;托马斯·怀斯;达米安·祖弗里 2 2013 在异步多方会话类型中泛化投影。 Zbl 07730637号 鲁帕克·马朱姆达尔;马达瓦恩·穆昆德;费利克斯·斯图兹;达米安·祖弗里 2 2021 PSync(同步):一种用于容错分布式算法的部分同步语言。 Zbl 1347.68036号 塞扎拉·奥盖医生;托马斯·亨辛格(Thomas A.Henzinger)。;达米安·祖弗里 10 2016 实域上非线性理论中的插值函数。 Zbl 1420.68187号 高思春;达米安·祖弗里 三 2016 用于验证一致性算法的基于逻辑的框架。 Zbl 1428.68371号 塞扎拉·奥盖医生;托马斯·亨辛格(Thomas A.Henzinger)。;赫尔穆特·维思;约瑟夫·威德;达米安·祖弗里 12 2014 结构计数器抽象。 Zbl 1381.68194号 克什蒂吉·班萨尔;埃里克·科斯金;托马斯·怀斯;达米安·祖弗里 2 2013 结构良好的转换系统的理想抽象。 兹比尔1326.68205 达米安·祖弗里;托马斯·怀斯;托马斯·亨辛格(Thomas A.Henzinger)。 7 2012 不同学习者群体的进化博弈动力学。 Zbl 1397.91062号 克里希南德·查特吉;达米安·祖弗里;马丁·诺瓦克。 5 2012 深度边界过程的正向分析。 Zbl 1284.68419号 托马斯·怀斯;达米安·祖弗里;托马斯·亨辛格(Thomas A.Henzinger)。 11 2010 所有引用出版物 前5名被引用出版物 全部的 前5名84位作者引用 7 伊戈尔·康诺夫(Igor V.Konnov)。 7 约瑟夫·威德 4 奥雷利·胡罗 4 菲利普·奎因内克 三 迈克尔·布隆丁 三 阿兰·芬克尔 三 西尔维奥·吉拉尔迪 三 玛丽亚娜·拉齐奇 三 埃琳娜·帕加尼 三 亚当·什米 2 弗朗西斯科·阿尔贝蒂 2 伊曼纽尔·D’Osualdo 2 阿诺德·德拉吉塞维奇。 2 让·古鲍特·拉雷克 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 罗兰·梅耶 2 沙兹·卡迪尔 2 普拉卡什·塞瓦桑 2 伊利娜·斯托尔科夫斯卡 2 费利克斯·斯图兹 2 赫尔穆特·维思 2 达米安·祖弗里 1 安、杰 1 安徒生、克里斯托弗·贾斯特·阿恩达尔 1 埃里克·巴杜埃尔 1 Balasubramanian,A.R。 1 罗德里克·布洛姆 1 陈明帅 1 佛罗伦萨雪佛龙 1 彼得·奇尼 1 马克西米利亚诺·克里斯蒂亚 1 沃伊切赫,切尔文斯基 1 维杰·迪尔瓦 1 布鲁诺·杜特雷 1 高、孟 1 阿尔蒂·古普塔 1 克里斯托夫·哈斯 1 一郎·哈索 1 洛依茨海露 1 汉斯·休特尔 1 德扬·约瓦诺维奇 1 卡隆,葡萄园 1 卡普尔,迪帕克 1 基多、肯戈 1 小岛贤介 1 巴巴拉·科尼格 1 伯恩哈德·克拉格尔 1 尤里·库科韦茨 1 伊勒姆·W·库尼亚。 1 萨沃米尔·拉索塔 1 刘志光 1 Martos Salgado,玛丽亚 1 皮埃尔·麦肯齐 1 克里斯托夫·莫尔万 1 塞巴斯蒂安·穆斯卡拉 1 库马尔·纳拉扬。 1 Yuki西田 1 马丁·安德烈亚斯·诺瓦克 1 菲利普·奥特马特 1 塔卡马萨·奥库多诺 1 Ong,C.-H.卢克 1 奥利弗·豪泽 1 米沙·佩雷佩利萨 1 柯斯汀·彼得斯 1 诗人希·赫夫特 1 费尔南多·罗莎·维拉尔多 1 吉安弗兰科·罗西 1 伊利亚·谢尔盖 1 马塞洛·索萨。 1 卢卡·斯帕拉齐 1 弗朗西斯科·斯佩尼 1 一月,Stückrath 1 Kohei Suenaga公司 1 泰瑟·图利 1 阿恩·特拉尔森 1 伊戈尔·瓦卢基维奇 1 王健 1 王文婷 1 托马斯·怀斯 1 吉田、Nobuko 1 詹伯华 1 詹乃军 1 张慧 1 弗洛里安·祖勒格 全部的 前5名13篇连载文章中引用 三 信息与计算 2 自动推理杂志 2 系统设计中的形式化方法 2 计算机科学中的逻辑方法 2 理论生物学杂志 1 信息学报 1 数学生物学杂志 1 计算 1 MSCS公司。计算机科学中的数学结构 1 国际应用科学与工程分叉与混沌杂志 1 函数编程杂志 1 动力学及相关模型 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 39 计算机科学(68-XX) 8 数学逻辑和基础(03-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 生物学和其他自然科学(92-XX) 1 代数几何(14-XX) 1 偏微分方程(35-XX) 1 一般拓扑结构(54至XX) 按年份列出的引文