×
编辑配置文件（在新选项卡中打开）

伯拉克·埃基奇

合著者距离
作者ID： 埃基西·布拉克“Ekici，Burak”最近发表的zbMATH文章
发布日期： 伯拉克·埃基奇
编入索引的文档： 6出版物自2016年起
合著者： 12位合著者具有4联合出版物
337合著者
全部的 前5名

合著者

2 单作者的
2 塞萨里·卡利西克
1 克拉克·W·巴雷特。
1 库卡斯·扎伊卡
1 Jean-Guillaume杜马
1 多米尼克·杜瓦尔
1 凯兹，盖伊
1 香塔尔·凯勒
1 阿兰·梅布苏特
1 Damien Pous
1 珍妮·克劳德·雷纳德
1 安德鲁·雷诺兹
1 塞萨尔·蒂内利

系列

1 土耳其数学杂志
1 离散数学和理论计算机科学。DMTCS公司
1 计算机科学中的数学

领域

6 计算机科学（68至XX）
三 数学逻辑和基础（03-XX）
2 范畴理论；同调代数（18-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

1出版物有被引用11中的次11文件 引用人▼ 年份▼
SMTCoq：用于将SMT解算器集成到Coq中的插件。 Zbl 1494.68285号
伯拉克·埃基奇;阿兰·梅布苏特;塞萨尔·蒂内利;香塔尔·凯勒;凯兹，盖伊;安德鲁·雷诺兹;克拉克·巴雷特
11
2017
SMTCoq：用于将SMT解算器集成到Coq中的插件。 Zbl 1494.68285号
伯拉克·埃基奇;阿兰·梅布苏特;塞萨尔·蒂内利;香塔尔·凯勒;凯兹，盖伊;安德鲁·雷诺兹;克拉克·巴雷特
11
2017
所有引用出版物 前5名被引用出版物
全部的 前5名

33位作者引用

4 克拉克·W·巴雷特。
4 艾娜·尼梅茨
4 马蒂亚斯·普雷纳
4 安德鲁·雷诺兹
4 塞萨尔·蒂内利
三 尤尼·佐哈尔
2 Hans-Jörg舒尔
1 塞皮德·阿萨迪
1 哈尼尔·巴博萨
1 Bertholon，Guillaume纪尧姆
1 陈，冉
1 哈娜·乔克勒
1 西里尔·科恩
1 库卡斯·扎伊卡
1 马丁·德沙奈斯
1 甚至门多萨，卡琳
1 马蒂亚斯·弗勒里
1 帕斯卡·方丹
1 Heule，Marijn J.H。
1 安蒂·E·J·海瓦·里宁。
1 基里恩·克莱默
1 汉娜·拉奇尼特
1 珍妮·雅克·利维
1 埃里克·马丁·多雷尔
1 玛格努斯·奥·米林。
1 安德烈斯·诺兹利
1 亚历克斯·奥兹德米尔
1 皮埃尔·鲁克斯
1 娜塔莎·莎莉吉娜
1 Tan，Yong Kiam先生
1 Laurent Théry
1 阿琼·维斯瓦纳坦
1 斯科特·维特里

2篇连载文章中引用

1 自动推理杂志
1 系统设计中的形式化方法

在2个字段中引用

11 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）

按年份列出的引文