编辑配置文件(在新选项卡中打开) 巴纳比·D·马丁。 合著者距离 作者ID: 马丁·巴拿比-d 发布日期: 巴纳比·马丁;巴纳比·D·马丁。 编入索引的文档: 93出版物自1950年以来,包括6附加arXiv预打印 1名编辑贡献 合著者: 48位合著者具有82联合出版物 1235联合作者 全部的 前5名合著者 5 单作者的 34 丹尼尔·保卢斯马 24 西亚尼·史密斯 12 丹切夫、斯特凡·斯托亚诺夫 12 Van Leeuwen、Erik Jan 11 弗洛伦特·马德琳。 10 曼纽尔·博迪尔斯基 8 Petr A.Golovach。 5 马修·约翰逊 5 安托万·莫特特 5 朱克(Dmitriy N.Zhuk)。 4 克里斯托夫·布劳斯 4 苏卡尼亚·潘迪 4 迈克尔·平斯克 4 安德拉斯·蓬格拉茨 3 彼得·琼森 3 Larose,Benoit公司 3 佩塔·马尔科维奇 3 朱拉吉·斯塔乔 3 米查·罗纳 2 盖坦·伯蒂 2 博克,简 2 维克托·达尔摩 2 佩塔·达皮奇 2 尼古拉·加莱西 2 乔治·W·D·。 2 克里斯蒂安·格拉(Christian Glaßer) 2 J.D.希卢姆斯。 2 尼古拉·杰德利契科娃 2 沃尔特·科恩 2 利迪克,伯纳德 2 乔斯·马丁 2 Jelle J.奥斯特芬。 2 安东尼·斯图尔特 2 德克·特哈尔 1 比勒雷,D。 1 詹姆斯·博布罗(James E.Bobrow)。 1 Bodlaender,Hans L。 1 西蒙·波娃 1 陈,胡比 1 陈、陶璐 1 阿兰·德吉奥瓦尼 1 马丁·希尔斯 1 A.Jeanmaire。 1 简·卡拉 1 金正根(Kim,Junggon) 1 马塞洛·马米诺 1 弗罗林·马内亚 1 帕斯卡·奥切姆 1 朴正宇(Frank Chongwoo Park) 1 贾斯汀·皮尔逊 1 朱塞佩·普里梅罗 1 佛朗哥·雷蒙迪 1 罗德斯,马克 1 塞马尼什诺娃 1 Siggers,Mark H。 1 索尔,G。 1 斯泽德,斯特凡 1 斯坦尼斯拉夫·伊文 全部的 前5名系列 7 理论计算机科学 3 离散应用数学 3 ACM计算逻辑事务 3 计算机科学中的逻辑方法 2 信息处理信件 2 流体力学杂志 2 SIAM计算机杂志 2 纯逻辑与应用逻辑年鉴 2 算法 2 计算复杂性 2 美国医学会杂志 1 信息学报 1 国际非线性力学杂志 1 组合理论杂志。B系列 1 计算机与系统科学杂志 1 信息与计算 1 机器人系统杂志 1 SIAM离散数学杂志 1 国际代数与计算杂志 1 组合数学电子杂志 1 限制条件 1 计算系统理论 1 物理回顾,II。系列 1 生理学,Neue Folge 1 计算机科学课堂讲稿 1 可计算性 1 ACM计算理论汇刊 全部的 前5名领域 74 计算机科学(68至XX) 31 数学逻辑和基础(03-XX) 23 组合数学(05-XX) 11 一般代数系统(08-XX) 3 阶、格、有序代数结构(06-XX) 3 流体力学(76-XX) 3 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 群论与推广(20-XX) 1 粒子和系统力学(70-XX) 1 经典热力学,传热(80-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 66出版物有被引用285中的次163文件 引用人▼ 年份▼ 满射同态问题的复杂性——综述。 Zbl 1246.05104号 曼纽尔·博迪尔斯基;简·卡拉;巴纳比·马丁 34 2012 非连通割和(2K_2)-划分的计算复杂性。 Zbl 1307.05128号 巴纳比·马丁;丹尼尔·保卢斯马 19 2015 无限方格的堆积色数在13到15之间。 Zbl 1361.05051号 巴纳比·马丁;佛朗哥·雷蒙迪;陈、陶璐;乔斯·马丁 16 2017 关于约束满足的泛代数方法的范围。 Zbl 1308.68062号 曼纽尔·博迪尔斯基;马丁·希尔斯;巴纳比·马丁 15 2012 具有后继整数的约束满足问题。 Zbl 1440.68111号 曼纽尔·博迪尔斯基;巴纳比·马丁;安托万·莫特特 14 2015 齐次图约简的约束满足问题。 Zbl 1430.68121号 曼纽尔·博迪尔斯基;巴纳比·马丁;迈克尔·平斯克;安德拉斯·蓬格拉茨 12 2019 有界直径的着色\(H\)-自由图。 Zbl 07561658号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 11 2019 参数化证明复杂性。 兹比尔1252.68151 斯特凡·丹切夫;巴纳比·马丁;斯泽德,斯特凡 9 2011 Sherali-Adams证明系统的严格等级下限。 Zbl 1168.03043号 斯特凡·丹切夫;巴纳比·马丁;罗德斯,马克 8 2009 走向量化H染色的三分法。 Zbl 1145.68436号 巴纳比·马丁;佛罗伦萨马德琳 8 2006 无H图的注入着色。 Zbl 07493522号 博克,简;尼古拉·杰德利契科娃;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 8 2021 离散时间约束满足问题。 Zbl 1425.68135号 曼纽尔·博迪尔斯基;巴纳比·马丁;安托万·莫特特 7 2018 具有发热和温度相关粘度的幂律流体粘滞流动的一些分析解。 Zbl 0166.21702号 Martin,B。 7 1967 没有等式的正一阶逻辑的复杂性。 Zbl 1351.68119号 佛罗伦萨马德琳;巴纳比·马丁 6 2012 无圈、星和内射着色:无H图的复杂性图。 Zbl 07651161号 博克,简;尼古拉·杰德利契科娃;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 6 2020 使用代数公式量化约束的复杂性。 Zbl 1441.68087号 卡塔里娜·卡瓦略;巴纳比·马丁;德米特里·朱克 5 2017 从复杂性到代数,再到有向图类、可折叠性和PGP。 Zbl 1401.68115号 卡塔里娜·卡瓦略;佛罗伦萨马德琳;巴纳比·马丁 5 2015 计数量词的约束满足。 Zbl 1392.68206号 巴纳比·马丁;佛罗伦萨马德琳;朱拉吉·斯塔乔 5 2015 模型参数化的一阶模型检验问题。 Zbl 1142.68439号 巴纳比·马丁 5 2008 非循环、星形和内射着色:限定直径。 Zbl 07538588号 克里斯托夫·布劳斯;彼得·戈洛维奇;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 5 2021 部分反射森林的QCSP。 兹比尔1401.68124 巴纳比·马丁 4 2011 距离约束满足问题。 兹比尔1287.68068 曼纽尔·博迪尔斯基;维克托·达尔摩;巴纳比·马丁;迈克尔·平斯克 4 2010 寻找顶点满射图同态。 Zbl 1253.68149号 Petr A.Golovach。;利迪克,伯纳德;巴纳比·马丁;丹尼尔·保卢斯马 4 2012 无(H\)图的不交路和连通子图。 Zbl 07437224号 沃尔特·科恩;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;van Leeuwen、Erik Jan 4 2022 在没有小循环的情况下,有界直径的着色图。 Zbl 1489.05056号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 4 2022 非循环、星形和内射着色:限定直径。 兹比尔1491.05074 克里斯托夫·布劳斯;彼得·戈洛维奇;巴纳比·马丁;帕斯卡·奥切姆;丹尼尔·保卢斯马;西亚尼·史密斯 4 2022 浮雕(H\)着色:新硬度结果。 Zbl 1425.05055号 Petr A.Golovach。;马修·约翰逊;巴纳比·马丁;丹尼尔·保卢斯马;安东尼·斯图尔特 3 2019 围绕Skolem算法的电路可满足性和约束满足性。 Zbl 1380.68221号 克里斯蒂安·格拉(Christian Glaßer);彼得·琼森;巴纳比·马丁 3 2017 无H图的诱导不交路和连通子图。 Zbl 07682425号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;van Leeuwen、Erik Jan 3 2022 相对化使矛盾更难解决。 Zbl 1277.68093号 斯特凡·丹切夫;巴纳比·马丁 3 2014 部分反射循环上的QCSP——可牵引性的波浪线。 Zbl 1381.68099号 佛罗伦萨马德琳;巴纳比·马丁 3 2013 符合物理标准的最佳机器人运动。 Zbl 1065.70006号 Bobrow,J.E。;Martin,B。;索尔,G。;王,E.C。;F.C.公园。;金正根(Kim,Junggon) 3 2001 QCSP怪兽和陈猜想的消亡。 Zbl 07298233号 德米特里·朱克;巴纳比·马丁 3 2020 在没有小循环的情况下,有界直径的着色图。 Zbl 07667143号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 3 2021 Surjective公司H(H)-在自反有向图上着色。 Zbl 1485.68191号 Larose,贝诺?t;巴纳比·马丁;丹尼尔·保卢斯马 2 2018 齐次图约简的约束满足问题。 Zbl 1388.68102号 曼纽尔·博迪尔斯基;巴纳比·马丁;迈克尔·平斯克;安德拉斯·蓬格拉茨 2 2016 无爪图形中的断开切割。 Zbl 1450.05073号 巴纳比·马丁;丹尼尔·保卢斯马;van Leeuwen、Erik Jan 2 2020 距离约束满足问题。 Zbl 1336.68116号 曼纽尔·博迪尔斯基;维克托·达尔摩;巴纳比·马丁;安托万·莫特特;迈克尔·平斯克 2 2016 量化约束和遏制问题。 Zbl 1448.68248号 陈,胡比;弗洛伦特·马德琳。;巴纳比·马丁 2 2015 围绕Skolem算法的电路可满足性和约束满足性。 兹比尔1475.68123 克里斯蒂安·格拉(Christian Glaßer);彼得·琼森;巴纳比·马丁 2 2016 切割平面和参数切割宽度。 Zbl 1268.03080号 斯特凡·丹切夫;巴纳比·马丁 2 2009 三维铁磁体的统计。 Zbl 0041.58901号 特哈尔,D。;Martin,B。 2 1950 2017年量化约束。 Zbl 1482.68168号 巴纳比·马丁 2 2017 平面Poiseuille流中的有限振幅中性扰动。 Zbl 0363.76030号 乔治·W·D·。;J.D.希卢姆斯。;Martin,B。 2 1974 寻找顶点满射图同态。 Zbl 1360.68511号 Petr A.Golovach。;利迪克,伯纳德;巴纳比·马丁;丹尼尔·保卢斯马 2 2012 计数量词的约束满足。 Zbl 1360.68514号 佛罗伦萨马德琳;巴纳比·马丁;朱拉吉·斯塔乔 2 2012 困难的问题很快就会变得很容易。 Zbl 07444827号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 2 2022 无H图的诱导不交路很少。 Zbl 1527.05104号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;van Leeuwen、Erik Jan 2 2023 自反有向图上的满射H-染色。 Zbl 1485.68190号 Larose,贝诺?t;巴纳比·马丁;丹尼尔·保卢斯马 1 2019 关于反射性锦标赛的QCSP。 Zbl 07740913号 Larose,贝诺?t;佩塔·马尔科维奇;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;斯坦尼斯拉夫·伊文 1 2021 在等式语言中计算量词的复杂性。 Zbl 1476.68113号 巴纳比·马丁;安德拉斯·蓬格拉茨;米查·罗纳 1 2016 计数量词的约束满足。二、。 兹比尔1407.68230 巴纳比·马丁;朱拉吉·斯塔乔 1 2014 半完全有向图上的QCSP。 Zbl 1401.68118号 佩塔·达皮奇;佩塔·马尔科维奇;巴纳比·马丁 1 2014 带边界连接的参数化分辨率。 Zbl 1381.68096号 斯特凡·丹切夫;巴纳比·马丁 1 2013 关于模型检查问题的复杂性。 Zbl 1393.68078号 弗洛伦特·马德琳。;巴纳比·D·马丁。 1 2018 基于解析的命题证明系统中可处理性的限制。 Zbl 1286.03159号 斯特凡·丹切夫;巴纳比·马丁 1 2010 没有等式的正一阶逻辑的复杂性。二: 四要素案例。 Zbl 1287.68065号 巴纳比·马丁;乔斯·马丁 1 2010 半完全有向图上的量化约束满足问题。 Zbl 1367.68115号 Đapić,Petar;佩塔·马尔科维奇;巴纳比·马丁 1 2017 浮雕(H\)着色:新硬度结果。 Zbl 1489.68192号 Petr A.Golovach。;马修·约翰逊;巴纳比·马丁;丹尼尔·保卢斯马;安东尼·斯图尔特 1 2017 有限交换群上的一阶查询。 Zbl 1373.68254号 西蒙·波娃;巴纳比·马丁 1 2015 基于解析的命题证明系统中可处理性的限制。 Zbl 1251.03070号 斯特凡·丹切夫;巴纳比·马丁 1 2012 析取线性丢番图约束的复杂性。 Zbl 1512.68112号 曼纽尔·博迪尔斯基;巴纳比·马丁;马塞洛·马米诺;安托万·莫特特 1 2018 无爪图形中的断开切割。 Zbl 1524.05256号 巴纳比·马丁;丹尼尔·保卢斯马;van Leeuwen、Erik Jan 1 2018 无(H\)图的不交路和连通子图。 Zbl 07495038号 沃尔特·科恩;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;van Leeuwen、Erik Jan 1 2021 (L(p,q))边标记的复杂性。 Zbl 07556570号 盖坦·伯蒂;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 1 2022 有界直径的分区\(H\)-自由图。 Zbl 07575095号 克里斯托夫·布劳斯;彼得·戈洛维奇;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 1 2022 无H图的诱导不交路很少。 Zbl 1527.05104号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;van Leeuwen、Erik Jan 2 2023 无(H\)图的不交路和连通子图。 Zbl 07437224号 沃尔特·科恩;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;van Leeuwen、Erik Jan 4 2022 在没有小循环的情况下,有界直径的着色图。 Zbl 1489.05056号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 4 2022 非循环、星形和内射着色:限定直径。 兹比尔1491.05074 克里斯托夫·布劳斯;彼得·戈洛维奇;巴纳比·马丁;帕斯卡·奥切姆;丹尼尔·保卢斯马;西亚尼·史密斯 4 2022 无H图的诱导不交路和连通子图。 Zbl 07682425号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;van Leeuwen、Erik Jan 3 2022 困难的问题很快就会变得很容易。 Zbl 07444827号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 2 2022 (L(p,q))边标记的复杂性。 Zbl 07556570号 盖坦·伯蒂;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 1 2022 有界直径的分区\(H\)-自由图。 Zbl 07575095号 克里斯托夫·布劳斯;彼得·戈洛维奇;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 1 2022 无H图的注入着色。 Zbl 07493522号 博克,简;尼古拉·杰德利契科娃;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 8 2021 非循环、星形和内射着色:限定直径。 Zbl 07538588号 克里斯托夫·布劳斯;彼得·戈洛维奇;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 5 2021 在没有小循环的情况下,有界直径的着色图。 Zbl 07667143号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 3 2021 关于反射性锦标赛的QCSP。 Zbl 07740913号 Larose,贝诺?t;佩塔·马尔科维奇;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;斯坦尼斯拉夫·伊文 1 2021 无(H\)图的不交路和连通子图。 Zbl 07495038号 沃尔特·科恩;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;van Leeuwen、Erik Jan 1 2021 无圈、星和内射着色:无H图的复杂性图。 Zbl 07651161号 博克,简;尼古拉·杰德利契科娃;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 6 2020 QCSP怪兽和陈猜想的消亡。 Zbl 07298233号 德米特里·朱克;巴纳比·马丁 3 2020 无爪图形中的断开切割。 Zbl 1450.05073号 巴纳比·马丁;丹尼尔·保卢斯马;van Leeuwen、Erik Jan 2 2020 齐次图约简的约束满足问题。 Zbl 1430.68121号 曼纽尔·博迪尔斯基;巴纳比·马丁;迈克尔·平斯克;安德拉斯·蓬格拉茨 12 2019 有界直径的着色\(H\)-自由图。 Zbl 07561658号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 11 2019 浮雕(H\)着色:新硬度结果。 Zbl 1425.05055号 Petr A.Golovach。;马修·约翰逊;巴纳比·马丁;丹尼尔·保卢斯马;安东尼·斯图尔特 3 2019 自反有向图上的满射H-染色。 Zbl 1485.68190号 Larose,贝诺?t;巴纳比·马丁;丹尼尔·保卢斯马 1 2019 离散时间约束满足问题。 Zbl 1425.68135号 曼纽尔·博迪尔斯基;巴纳比·马丁;安托万·莫特特 7 2018 Surjective公司H(H)-在自反有向图上着色。 Zbl 1485.68191号 Larose,贝诺?t;巴纳比·马丁;丹尼尔·保卢斯马 2 2018 关于模型检查问题的复杂性。 Zbl 1393.68078号 弗洛伦特·马德琳。;巴纳比·D·马丁。 1 2018 析取线性丢番图约束的复杂性。 Zbl 1512.68112号 曼纽尔·博迪尔斯基;巴纳比·马丁;马塞洛·马米诺;安托万·莫特特 1 2018 无爪图形中的断开切割。 Zbl 1524.05256号 巴纳比·马丁;丹尼尔·保卢斯马;van Leeuwen、Erik Jan 1 2018 无限方格的堆积色数在13到15之间。 Zbl 1361.05051号 巴纳比·马丁;佛朗哥·雷蒙迪;陈、陶璐;乔斯·马丁 16 2017 使用代数公式量化约束的复杂性。 Zbl 1441.68087号 卡塔里娜·卡瓦略;巴纳比·马丁;德米特里·朱克 5 2017 围绕Skolem算法的电路可满足性和约束满足性。 Zbl 1380.68221号 克里斯蒂安·格拉(Christian Glaßer);彼得·琼森;巴纳比·马丁 3 2017 2017年量化约束。 Zbl 1482.68168号 巴纳比·马丁 2 2017 半完全有向图上的量化约束满足问题。 Zbl 1367.68115号 Đapić,Petar;佩塔·马尔科维奇;巴纳比·马丁 1 2017 浮雕(H\)着色:新硬度结果。 Zbl 1489.68192号 Petr A.Golovach。;马修·约翰逊;巴纳比·马丁;丹尼尔·保卢斯马;安东尼·斯图尔特 1 2017 齐次图约简的约束满足问题。 Zbl 1388.68102号 曼纽尔·博迪尔斯基;巴纳比·马丁;迈克尔·平斯克;安德拉斯·蓬格拉茨 2 2016 距离约束满足问题。 Zbl 1336.68116号 曼纽尔·博迪尔斯基;维克托·达尔摩;巴纳比·马丁;安托万·莫特特;迈克尔·平斯克 2 2016 围绕Skolem算法的电路可满足性和约束满足性。 兹比尔1475.68123 克里斯蒂安·格拉(Christian Glaßer);彼得·琼森;巴纳比·马丁 2 2016 在等式语言中计算量词的复杂性。 Zbl 1476.68113号 巴纳比·马丁;安德拉斯·蓬格拉茨;米查·罗纳 1 2016 非连通割和(2K_2)-划分的计算复杂性。 Zbl 1307.05128号 巴纳比·马丁;丹尼尔·保卢斯马 19 2015 具有后继整数的约束满足问题。 Zbl 1440.68111号 曼纽尔·博迪尔斯基;巴纳比·马丁;安托万·莫特特 14 2015 从复杂性到代数,再到有向图类、可折叠性和PGP。 Zbl 1401.68115号 卡塔里娜·卡瓦略;佛罗伦萨马德琳;巴纳比·马丁 5 2015 计数量词的约束满足。 Zbl 1392.68206号 巴纳比·马丁;佛罗伦萨马德琳;朱拉吉·斯塔乔 5 2015 量化约束和遏制问题。 Zbl 1448.68248号 陈,胡比;弗洛伦特·马德琳。;巴纳比·马丁 2 2015 有限交换群上的一阶查询。 Zbl 1373.68254号 西蒙·波娃;巴纳比·马丁 1 2015 相对化使矛盾更难解决。 Zbl 1277.68093号 斯特凡·丹切夫;巴纳比·马丁 3 2014 计数量词的约束满足。二、。 兹比尔1407.68230 巴纳比·马丁;朱拉吉·斯塔乔 1 2014 半完全有向图上的QCSP。 Zbl 1401.68118号 佩塔·达皮奇;佩塔·马尔科维奇;巴纳比·马丁 1 2014 部分反射循环上的QCSP——可牵引性的波浪线。 Zbl 1381.68099号 佛罗伦萨马德琳;巴纳比·马丁 3 2013 带边界连接的参数化分辨率。 Zbl 1381.68096号 斯特凡·丹切夫;巴纳比·马丁 1 2013 满射同态问题的复杂性——综述。 Zbl 1246.05104号 曼纽尔·博迪尔斯基;简·卡拉;巴纳比·马丁 34 2012 关于约束满足的泛代数方法的范围。 Zbl 1308.68062号 曼纽尔·博迪尔斯基;马丁·希尔斯;巴纳比·马丁 15 2012 没有等式的正一阶逻辑的复杂性。 Zbl 1351.68119号 佛罗伦萨马德琳;巴纳比·马丁 6 2012 寻找顶点满射图同态。 Zbl 1253.68149号 Petr A.Golovach。;利迪克,伯纳德;巴纳比·马丁;丹尼尔·保卢斯马 4 2012 寻找顶点满射图同态。 Zbl 1360.68511号 Petr A.Golovach。;利迪克,伯纳德;巴纳比·马丁;丹尼尔·保卢斯马 2 2012 计数量词的约束满足。 Zbl 1360.68514号 佛罗伦萨马德琳;巴纳比·马丁;朱拉吉·斯塔乔 2 2012 基于解析的命题证明系统中可处理性的限制。 Zbl 1251.03070号 斯特凡·丹切夫;巴纳比·马丁 1 2012 参数化证明复杂性。 兹比尔1252.68151 斯特凡·丹切夫;巴纳比·马丁;斯泽德,斯特凡 9 2011 部分反射森林的QCSP。 兹比尔1401.68124 巴纳比·马丁 4 2011 距离约束满足问题。 兹比尔1287.68068 曼纽尔·博迪尔斯基;维克托·达尔摩;巴纳比·马丁;迈克尔·平斯克 4 2010 基于解析的命题证明系统中可处理性的限制。 Zbl 1286.03159号 斯特凡·丹切夫;巴纳比·马丁 1 2010 没有等式的正一阶逻辑的复杂性。二: 四要素案例。 Zbl 1287.68065号 巴纳比·马丁;乔斯·马丁 1 2010 Sherali-Adams证明系统的严格等级下限。 Zbl 1168.03043号 斯特凡·丹切夫;巴纳比·马丁;罗德斯,马克 8 2009 切割平面和参数切割宽度。 Zbl 1268.03080号 斯特凡·丹切夫;巴纳比·马丁 2 2009 模型参数化的一阶模型检验问题。 Zbl 1142.68439号 巴纳比·马丁 5 2008 走向量化H染色的三分法。 Zbl 1145.68436号 巴纳比·马丁;佛罗伦萨马德琳 8 2006 符合物理标准的最佳机器人运动。 Zbl 1065.70006号 Bobrow,J.E。;Martin,B。;索尔,G。;王,E.C。;F.C.公园。;金正根(Kim,Junggon) 3 2001 平面Poiseuille流中的有限振幅中性扰动。 Zbl 0363.76030号 乔治·W·D·。;J.D.希卢姆斯。;Martin,B。 2 1974 具有发热和温度相关粘度的幂律流体粘滞流动的一些分析解。 Zbl 0166.21702号 Martin,B。 7 1967 三维铁磁体的统计。 Zbl 0041.58901号 特哈尔,D。;Martin,B。 2 1950 所有引用出版物 前5名被引用出版物 全部的 前5名被201位作者引用 43 巴纳比·D·马丁。 28 丹尼尔·保卢斯马 22 曼纽尔·博迪尔斯基 15 西亚尼·史密斯 10 迈克尔·平斯克 8 博什特詹·布雷萨尔 8 Van Leeuwen、Erik Jan 7 马西莫·劳里亚 7 安托万·莫特特 7 斯坦尼斯拉夫·伊文 6 雅斯米娜·费姆 6 Petr A.Golovach。 5 彼得·琼森 5 桑迪·克拉夫扎尔 5 弗洛伦特·马德琳。 5 Prafullkumar的故事 5 朱克(Dmitriy N.Zhuk)。 4 陈,胡比 4 丹切夫、斯特凡·斯托亚诺夫 4 剂量,提图斯 4 克里斯蒂安·格拉(Christian Glaßer) 4 马修·约翰逊 4 马塞洛·马米诺 4 雅各布诺德斯特伦 4 安德拉斯·蓬格拉茨 3 西里亚克·安东尼 3 奥拉夫·拜尔斯多夫 3 克里斯托夫·布劳斯 3 尼古拉·加莱西 3 道格拉斯·F·拉尔。 3 帕韦·鲁斯基 2 安吉莉丝卡 2 阿尔伯特·阿塞里亚斯 2 多米尼克·巴特 2 利波·巴托 2 莫里茨·贝克 2 Mike Behrisch先生 2 盖坦·伯蒂 2 安德烈·布拉托夫(Andrei A.Bulatov)。 2 玛丽亚·丘德诺夫斯基 2 苏珊娜·德·雷泽德(Susanna F.de Rezende)。 2 尼古拉斯·加斯蒂诺 2 皮埃尔·吉利伯特 2 约翰内斯·格雷纳 2 Přemysl霍卢布 2 黄、申伟 2 朱利叶斯 2 马金·马雷克·卡明斯基 2 沃尔特·科恩 2 西蒙·克努尔 2 迈克尔·孔帕彻 2 丹尼尔·科尔泽 2 R·克里蒂卡。 2 Larose,Benoit公司 2 利迪克,伯纳德 2 格雷戈·马特尔 2 梅尔,或者 2 拉里萨·米克勒 2 Phabro F.S.莫拉。 2 佐兰·尼科洛斯基 2 米罗斯拉夫·奥沙克 2 雅库布·奥普沙尔 2 罗伯特·罗伯雷 2 雅库布·里德瓦尔 2 伊格纳西·绍 2 萨科特·索拉布 2 医学硕士Shalu。 2 苏菲·特蕾莎·斯皮克尔 2 安东尼·斯图尔特 2 马克·特尼奥 2 约翰·塔珀 2 迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 2 奥利维埃·托格尼 2 伊迪丝·米雷亚·巴尔加斯 2 亚历山大·维塞尔 2 Yoshiko Wakabayashi 2 米查·罗纳 2 钟明贤 1 蒙塞夫·阿巴斯 1 弗兰兹·巴德 1 克里斯托夫·伯克霍尔茨 1 埃兹·佐拜尔·比丁 1 Bodlaender,Hans L。 1 伯塔兰·博多 1 博克,简 1 波纳米,马蒂 1 费迪南德·伯纳 1 乔舒亚·布拉肯西克 1 尼克·布雷特尔 1 维克托·坎波斯。 1 洛伦佐·齐亚多 1 康拉德·卡齐米尔兹·达布罗夫斯基 1 维克托·达尔摩 1 维克托·达尔摩 1 佩塔·达皮奇 1 de Sousa Filho,吉尔伯托·法里亚斯 1 Dȩbsk,Michał 1 多斯桑托斯、维尼希斯·费尔南德斯 1 卡尔·费格利 1 马塞洛·芬格 …还有101位作者 全部的 前5名41篇连载文章中引用 16 理论计算机科学 12 离散应用数学 7 SIAM计算机杂志 6 算法 5 信息处理信件 5 ACM计算逻辑事务 5 计算机科学中的逻辑方法 4 离散数学 4 信息与计算 4 SIAM离散数学杂志 4 计算系统理论 3 代数普遍性 3 计算机与系统科学杂志 3 Aequationes数学 3 计算复杂性 3 组合数学电子杂志 3 讨论数学。图论 2 纯逻辑与应用逻辑年鉴 2 国际代数与计算杂志 2 限制条件 2 组合优化期刊 2 数学逻辑杂志 1 信息学报 1 澳大利亚数学学会公报 1 以色列数学杂志 1 《伦敦数学学会通报》 1 组合理论杂志。系列A 1 符号逻辑杂志 1 美国数学学会汇刊 1 欧洲组合数学杂志 1 组合数学 1 订单 1 自动推理杂志 1 数学论坛 1 数学逻辑季刊(MLQ) 1 Filomat公司 1 人工智能研究杂志 1 群论杂志 1 Oberwolfach报告 1 对离散数学的贡献 1 优化信函 全部的 前5名在16个字段中引用 113 计算机科学(68至XX) 58 数学逻辑和基础(03-XX) 56 组合数学(05-XX) 25 一般代数系统(08-XX) 9 运筹学、数学规划(90-XX) 6 群论与推广(20-XX) 5 阶、格、有序代数结构(06-XX) 3 交换代数(13-XX) 2 拓扑群、李群(22日至XX日) 1 总体主题;集合(00-XX) 1 场论和多项式(12-XX) 1 代数几何(14-XX) 1 几何图形(51至XX) 1 一般拓扑结构(54至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文