编辑配置文件(在新选项卡中打开) 巴甫洛维奇,杜什科 合著者距离 作者ID: 巴甫洛维奇.dusko 发布日期: 达斯科·巴甫洛维奇;巴甫洛维奇,杜什科;巴甫洛维奇,杜什科 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 63出版物自1991年以来,包括1本书和7其他arXiv预打印 4作为编辑的贡献 合著者: 37位合著者具有33联合出版物 875位合作作者 全部的 前5名合著者 31 单作者的 4 鲍勃·科克 4 Mislove,Michael W。 三 菲利波·邦奇 三 彼得·佩珀 三 彼得·迈克尔·赛德尔 三 詹姆斯·沃雷尔。 2 JoséLuiz Fiadeiro 2 多米尼克·J·D·休斯。 2 洛佩斯,安东尼亚 2 特姆拉·巴甫洛维奇 2 道格·史密斯 2 道格拉斯·史密斯。 2 巴布亚州索波辛斯基 2 Ţuţu,伊奥努 1 萨姆森·艾布拉姆斯基 1 Ed Blakey 1 杰森·卡斯蒂格利奥内 1 阿努帕姆·达塔 1 安特·德里克 1 贝特弗里德·福泽 1 皮埃尔·甘蒂 1 罗伯托·贾科巴齐 1 乔舒亚·古特曼。 1 马丁·霍夫曼 1 约书亚·霍兰德 1 Toshiki Kataoka 1 萨瓦·A·克里斯蒂。 1 卡尔·E·兰德维尔。 1 约翰·朗奇伯里 1 凯瑟琳·梅多斯。 1 约翰·米切尔(John C.Mitchell)。 1 乔尔·欧·瓦克宁。 1 埃里克·奥利弗·帕奎特 1 沃恩·R·普拉特。 1 朱塞佩·罗索里尼 1 杰米·维卡里 1 弗拉基米尔·沃夫克。 1 穆扎米尔·亚希亚 全部的 前5名系列 4 MSCS公司。计算机科学中的数学结构 2 纯粹与应用代数杂志 2 信息与计算 2 计算机科学课堂讲稿 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 数学逻辑档案 1 数学与人工智能年鉴 1 IGPL杂志 1 理论计算机科学电子笔记 1 程序设计中的逻辑和代数方法杂志 1 可计算性理论与应用 1 成分 全部的 前5名领域 40 计算机科学(68至XX) 35 范畴理论;同调代数(18-XX) 18 数学逻辑和基础(03-XX) 7 量子理论(81-XX) 7 信息和通信理论,电路(94-XX) 4 总体主题;集合(00-XX) 2 阶、格、有序代数结构(06-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 组合数学(05-XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 \(K\)理论(19-XX) 1 功能分析(46倍X倍) 1 几何图形(51至XX) 1 微分几何(53至XX) 1 一般拓扑结构(54-XX) 1 整体分析,流形分析(58至XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 43出版物有被引用263中的次181文件 引用人▼ 年份▼ 正交基的一种新描述。 Zbl 1276.46016号 鲍勃·科克;达斯科·巴甫洛维奇;杰米·维卡里 42 2013 无总和的量子测量。 Zbl 1139.81307号 鲍勃·科克;达斯科·巴甫洛维奇 30 2008 经典和量子结构主义。 Zbl 1192.81016号 鲍勃·科克;埃里克·奥利弗·帕奎特;达斯科·巴甫洛维奇 24 2010 测试语义:连接进程和进程逻辑。 Zbl 1236.68065号 达斯科·巴甫洛维奇;Mislove,迈克尔;詹姆斯·沃雷尔。 17 2006 非确定性计算中的量子和经典结构。 Zbl 1229.68039号 达斯科·巴甫洛维奇 16 2009 动作计算中名称和抽象的分类逻辑。 Zbl 0893.03028号 巴甫洛维奇,杜什科 10 1997 单面体计算机。一: 字符串图的基本可计算性。 兹伯利1317.68054 达斯科·巴甫洛维奇 10 2013 标记马尔可夫过程的对偶性。 Zbl 1126.68460号 Mislove,迈克尔;约尔·瓦克宁;达斯科·巴甫洛维奇;詹姆斯·沃雷尔 8 2004 安全协议组成。 Zbl 1337.68065号 阿努帕姆·达塔;安特·德里克;约翰·米切尔(John C.Mitchell)。;达斯科·巴甫洛维奇 8 2003 连续体作为最后的连续体。 Zbl 1002.68092号 巴甫洛维奇,D。;普拉特,V。 7 2002 并发垃圾收集器的形式化派生。 Zbl 1286.68090号 达斯科·巴甫洛维奇;彼得·佩珀;道格拉斯·史密斯。 7 2010 信号流图的优化。 Zbl 1442.68125号 菲利波·邦奇;约书亚·霍兰德;达斯科·巴甫洛维奇;巴布亚州索波辛斯基 7 2017 地图。二: 范畴证明理论中的追图。 Zbl 0852.18008号 巴甫洛维奇,杜什科 6 1996 指定交互类别。 Zbl 0884.18008号 巴甫洛维奇,D。;艾布拉姆斯基,S。 6 1997 楚。一: Cofree等价、二重性和*-自治范畴。 Zbl 0878.18005号 巴甫洛维奇,杜什科 5 1997 分类插值:无直接图像的下降和Beck-Chevalley条件。 Zbl 0736.18005号 巴甫洛维奇,杜什科 5 1991 最后余代数上的守卫归纳。 Zbl 0917.68130号 达斯科·巴甫洛维奇 5 1998 量子计算的相关玩具模型:理解、互补和匕首混合自治类别。 Zbl 1348.81174号 达斯科·巴甫洛维奇 5 2011 密码学中的追逐图。 Zbl 1286.94081号 达斯科·巴甫洛维奇 5 2014 完善的技术和完整的抽象领域。 Zbl 1497.68107号 菲利波·邦奇;皮埃尔·甘蒂;罗伯托·贾科巴齐;达斯科·巴甫洛维奇 5 2018 关于实数的余代数。 Zbl 1094.13541号 达斯科·巴甫洛维奇;沃恩·普拉特 4 1999 量子计算中的抽象几何。 Zbl 1258.81022号 达斯科·巴甫洛维奇 4 2012 定量概念分析。 Zbl 1360.68820号 达斯科·巴甫洛维奇 4 2012 在最终余代数中丰富的过程类别。 Zbl 0978.68101号 萨瓦·克里斯蒂奇;约翰·朗奇伯里;巴甫洛维奇,杜什科 4 2001 关于小范畴及其周围的完备性和共完备性。 Zbl 0829.18001 巴甫洛维奇,杜什科 三 1995 结构和谓词。 Zbl 0794.03097号 巴甫洛维奇,杜什科 三 1991 地图。一: 相对于因子分解系统。 Zbl 0829.18002 巴甫洛维奇,杜什科 三 1995 行动者网络逻辑:两阶段约束混合方法。 Zbl 1423.68048号 JoséLuiz Fiadeiro;Ţuţu,伊奥努;洛佩斯,安东尼亚;达斯科·巴甫洛维奇 2 2019 并发和交互的分类逻辑。一: 同步进程。 Zbl 0841.03036号 巴甫洛维奇,杜什科 2 1995 不断发展的规范中的保护过渡。 Zbl 1275.68095号 达斯科·巴甫洛维奇;道格拉斯·史密斯。 2 2002 不断发展的规范工程。 Zbl 1170.68010号 达斯科·巴甫洛维奇;彼得·佩珀;道格·史密斯 2 2008 通用无概率预测。 Zbl 1384.60076号 弗拉基米尔·沃夫克;达斯科·巴甫洛维奇 2 2017 行动者网络的逻辑:约束杂交的案例研究。 Zbl 1423.68049号 何塞·费亚德罗;Ţuţu,伊奥努;洛佩斯,安东尼亚;达斯科·巴甫洛维奇 2 2018 在单体分类中追踪处于中间的人。 Zbl 1327.68165号 达斯科·巴甫洛维奇 2 2012 关于伴随函子定理的逻辑观点。 Zbl 0805.18001号 巴甫洛维奇,杜什科 1 1992 关于悖论的结构。 兹比尔0776.03005 巴甫洛维奇,杜什科 1 1992 并发收集器的冲突。 Zbl 1274.68212号 达斯科·巴甫洛维奇;彼得·佩珀;道格·史密斯 1 2003 光滑余代数:测试向量分析。 Zbl 1387.18007号 达斯科·巴甫洛维奇;贝特弗里德·福泽 1 2015 平衡和理性的语义方法。 Zbl 1239.68027号 达斯科·巴甫洛维奇 1 2009 贝叶斯认证:量化Hancke-Kuhn协议的安全性。 Zbl 1343.94077号 达斯科·巴甫洛维奇;凯瑟琳·梅多斯 1 2010 一阶参数规范的语义。 Zbl 0954.68095号 巴甫洛维奇,杜什科 1 1999 单面体计算机。III: 一种关于可计算性和复杂性的联合代数观点(扩展摘要)。 Zbl 1519.68102号 达斯科·巴甫洛维奇;穆扎米尔·亚希亚 1 2018 (模)效应代数等价于(Frobenius)反特殊代数。 Zbl 1486.03117号 达斯科·巴甫洛维奇;彼得·迈克尔·赛德尔 1 2017 行动者网络逻辑:两阶段约束混合方法。 Zbl 1423.68048号 JoséLuiz Fiadeiro;Ţuţu,伊奥努;洛佩斯,安东尼亚;达斯科·巴甫洛维奇 2 2019 完善的技术和完整的抽象领域。 Zbl 1497.68107号 菲利波·邦奇;皮埃尔·甘蒂;罗伯托·贾科巴齐;达斯科·巴甫洛维奇 5 2018 行动者网络的逻辑:约束杂交的案例研究。 Zbl 1423.68049号 何塞·费亚德罗;Ţuţu,伊奥努;洛佩斯,安东尼亚;达斯科·巴甫洛维奇 2 2018 单面体计算机。III: 一种关于可计算性和复杂性的联合代数观点(扩展摘要)。 Zbl 1519.68102号 达斯科·巴甫洛维奇;穆扎米尔·亚希亚 1 2018 信号流图的优化。 Zbl 1442.68125号 菲利波·邦奇;约书亚·霍兰德;达斯科·巴甫洛维奇;巴布亚州索波辛斯基 7 2017 通用无概率预测。 Zbl 1384.60076号 弗拉基米尔·沃夫克;达斯科·巴甫洛维奇 2 2017 (模)效应代数等价于(Frobenius)反特殊代数。 Zbl 1486.03117号 达斯科·巴甫洛维奇;彼得·迈克尔·赛德尔 1 2017 光滑余代数:测试向量分析。 Zbl 1387.18007号 达斯科·巴甫洛维奇;福泽,贝尔特弗里德 1 2015 密码学中的追逐图。 Zbl 1286.94081号 达斯科·巴甫洛维奇 5 2014 正交基的一种新描述。 Zbl 1276.46016号 鲍勃·科克;达斯科·巴甫洛维奇;杰米·维卡里 42 2013 单面体计算机。一: 字符串图的基本可计算性。 Zbl 1317.68054号 达斯科·巴甫洛维奇 10 2013 量子计算中的抽象几何。 Zbl 1258.81022号 达斯科·巴甫洛维奇 4 2012 定量概念分析。 Zbl 1360.68820号 达斯科·巴甫洛维奇 4 2012 在单体分类中追踪处于中间的人。 兹比尔1327.68165 达斯科·巴甫洛维奇 2 2012 量子计算的相关玩具模型:理解、互补和匕首混合自治类别。 Zbl 1348.81174号 达斯科·巴甫洛维奇 5 2011 经典和量子结构主义。 Zbl 1192.81016号 鲍勃·科克;埃里克·奥利弗·帕奎特;达斯科·巴甫洛维奇 24 2010 并发垃圾收集器的形式化派生。 Zbl 1286.68090号 达斯科·巴甫洛维奇;彼得·佩珀;道格拉斯·史密斯。 7 2010 贝叶斯认证:量化Hancke-Kuhn协议的安全性。 Zbl 1343.94077号 达斯科·巴甫洛维奇;凯瑟琳·梅多斯 1 2010 非确定性计算中的量子和经典结构。 Zbl 1229.68039号 达斯科·巴甫洛维奇 16 2009 平衡和理性的语义方法。 Zbl 1239.68027号 达斯科·巴甫洛维奇 1 2009 无总和的量子测量。 Zbl 1139.81307号 鲍勃·科克;达斯科·巴甫洛维奇 30 2008 不断发展的规范工程。 Zbl 1170.68010号 达斯科·巴甫洛维奇;彼得·佩珀;道格·史密斯 2 2008 测试语义:连接进程和进程逻辑。 Zbl 1236.68065号 达斯科·巴甫洛维奇;Mislove,迈克尔;詹姆斯·沃雷尔。 17 2006 标记马尔可夫过程的对偶性。 Zbl 1126.68460号 Mislove,迈克尔;约尔·瓦克宁;达斯科·巴甫洛维奇;詹姆斯·沃雷尔 8 2004 安全协议组成。 Zbl 1337.68065号 阿努帕姆·达塔;安特·德里克;约翰·米切尔(John C.Mitchell)。;达斯科·巴甫洛维奇 8 2003 并发收集器的冲突。 Zbl 1274.68212号 达斯科·巴甫洛维奇;彼得·佩珀;道格·史密斯 1 2003 连续体作为最后的连续体。 Zbl 1002.68092号 巴甫洛维奇,D。;普拉特,V。 7 2002 不断发展的规范中的保护转换。 Zbl 1275.68095号 达斯科·巴甫洛维奇;道格拉斯·史密斯。 2 2002 在最终余代数中丰富的过程类别。 Zbl 0978.68101号 萨瓦·克里斯蒂奇;约翰·朗奇伯里;巴甫洛维奇,杜什科 4 2001 关于实数的余代数。 Zbl 1094.13541号 达斯科·巴甫洛维奇;沃恩·普拉特 4 1999 一阶参数规范的语义。 Zbl 0954.68095号 巴甫洛维奇,杜什科 1 1999 最后余代数上的守卫归纳。 Zbl 0917.68130号 达斯科·巴甫洛维奇 5 1998 动作计算中名称和抽象的分类逻辑。 Zbl 0893.03028号 巴甫洛维奇,杜什科 10 1997 指定交互类别。 Zbl 0884.18008号 巴甫洛维奇,D。;艾布拉姆斯基,S。 6 1997 楚。一: Cofree等价、二重性和*-自治范畴。 Zbl 0878.18005号 巴甫洛维奇,杜什科 5 1997 地图。二: 范畴证明理论中的追赶图。 Zbl 0852.18008号 巴甫洛维奇,杜什科 6 1996 关于小范畴及其周围的完备性和协同完备性。 Zbl 0829.18001 巴甫洛维奇,杜什科 三 1995 地图。一: 相对于因子分解系统。 Zbl 0829.18002 巴甫洛维奇,杜什科 三 1995 并发和交互的分类逻辑。I: 同步进程。 Zbl 0841.03036号 巴甫洛维奇,杜什科 2 1995 关于伴随函子定理的逻辑观点。 Zbl 0805.18001号 巴甫洛维奇,杜什科 1 1992 关于悖论的结构。 Zbl 0776.03005号 巴甫洛维奇,杜什科 1 1992 分类插值:无直接图像的下降和Beck-Chevalley条件。 Zbl 0736.18005号 巴甫洛维奇,杜什科 5 1991 结构和谓词。 Zbl 0794.03097号 巴甫洛维奇,杜什科 三 1991 所有引用的出版物 前5名被引用出版物 全部的 前5名232位作者引用 16 巴甫洛维奇,杜什科 15 鲍勃·科克 13 菲利波·邦奇 10 巴布亚州索波辛斯基 9 亚历克斯·基辛格 8 斯特凡诺·戈吉奥索 8 克里斯·希恩 8 法比奥·扎纳西 7 巴特·雅各布斯 6 大卫·雅各布(David Jakob),雷特(Reutter) 5 邓肯,罗斯 5 法比奥·加杜奇 5 巴托克·克林 5 朱里安·罗特 5 杰米·维卡里 4 法布里奇奥·基诺维塞 4 巴巴拉·科尼格 4 沃尔特·托伦 三 科科特,J.罗宾B。 三 克劳迪奥·赫米达 三 马尔蒂·卡沃宁 三 劳伦斯·莫斯。 三 帕南加登,普拉卡什 三 西蒙·佩德里克斯 三 Daniela Luan Petrisan 三 罗宾·皮埃德鲁 三 卢茨·施罗德 三 多米尼克·弗登 2 奥曼·波霍拉,约翰内斯 2 纪尧姆·博伊索 2 Spencer布雷纳 2 安妮·布罗德本特 2 丹尼尔·布拉库 2 阿努帕姆·达塔 2 乔瓦尼·德·费利塞 2 安特·德里克 2 凯文·邓恩 2 比尔·爱德华兹 2 JoséLuiz Fiadeiro 2 贡查罗夫,谢尔盖·萨沃斯特·亚诺维奇 2 阿马尔·哈齐哈萨诺维奇 2 Nikoloz就职 2 胜本,Shin-ya 2 埃姆扎尔·赫马拉泽 2 Yuichi Komorida 2 克莱门斯·库普克 2 亚历山大·库尔兹 2 丹·马斯登 2 约翰·米切尔(John C.Mitchell)。 2 本杰明·马斯托 2 玛格努斯·O·米琳。 2 吴康峰 2 Koki西泽 2 埃里克·奥利弗·帕奎特 2 劳伦特·波因特 2 马里奥·罗曼 2 尼科莱塔·萨巴迪尼 2 亚当·桑德伯格·爱立信 2 阿莱西奥·桑塔马利亚 2 卡洛·玛丽亚·斯坎多洛 2 罗伯特·斯佩肯斯(Robert W.Spekkens)。 2 Priyaa Varshinee的Srinivasan 2 罗伯特·D·坦能。 2 布拉斯·托雷西拉斯·乔弗 2 Ţuţu,伊奥努 2 乌斯塔卢,塔尔莫 2 吉·维勒比尔 2 罗伯特·F·C·沃尔特斯。 2 王全龙 2 曾威廉 2 Maaike兹瓦特 1 萨姆森·艾布拉姆斯基 1 阿达梅克,吉安尼 1 柯林斯·安布罗(Collins Amburo),阿金吉(Agyingi) 1 Alcántara,Maigan S.da S。 1 大卫·安科纳 1 Aswani Kumar,Cherukuri 1 迈克尔·巴克斯 1 保罗·巴尔丹 1 霍华德·巴纳姆 1 哈什·贝哈尔 1 贝尔科娃,玛尔塔 1 理查德·布鲁特(Richard F.Blute)。 1 马塞洛·玛丽亚·邦桑格 1 卡布雷拉(Inma P.Cabrera)。 1 大卫·卡切拉 1 阿尔贝托·塞尔吉奥·卡特内奥 1 纪尧姆·塞布伦 1 菲利普·查普特 1 朱利奥·奇里贝拉 1 克劳迪娅·埃琳娜·奇里 1 丹尼尔·西卡拉 1 约瑟夫·柯林斯。 1 舒适,科尔 1 伊万·孔特雷拉斯。 1 巴勃罗·科德罗 1 布兰登·科亚 1 乔德耶·库布里奇 1 弗朗西斯科·达格尼诺 1 安托万·达尔奎斯特 …还有132位作者 全部的 前5名50篇连载文章中引用 10 理论计算机科学 8 信息与计算 7 计算机科学中的逻辑方法 5 纯粹与应用代数杂志 5 MSCS公司。计算机科学中的数学结构 4 应用的分类结构 4 程序设计中的逻辑和代数方法杂志 三 数学与人工智能年鉴 2 数学物理中的通信 2 哲学逻辑杂志 2 纯逻辑与应用逻辑年鉴 2 自动推理杂志 2 计算的形式方面 2 符号逻辑公报 2 美国医学会杂志 1 代数通讯 1 国际理论物理杂志 1 数学物理杂志 1 数学物理中的字母 1 数学进展 1 应用数学与计算 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 模糊集与系统 1 代数杂志 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 合成 1 拓扑及其应用 1 数学逻辑档案 1 数学科学杂志(纽约) 1 范畴的理论与应用 1 Documenta Mathematica公司 1 摘要与应用分析 1 武汉大学自然科学学报 1 新物理学杂志 1 国际应用数学与计算机科学杂志 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 量子信息处理 1 代数杂志及其应用 1 国际量子信息杂志 1 物理学基础 1 泛逻辑 1 非交换几何杂志 1 拓扑杂志 1 科学史与哲学研究。第二部分近代物理史与哲学研究 1 RAIRO公司。理论信息学及其应用 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 A.Razmadze数学研究所学报 1 高层建筑 全部的 前5名30个领域被引用 94 范畴理论;同调代数(18-XX) 94 计算机科学(68至XX) 60 量子理论(81-XX) 48 数学逻辑和基础(03-XX) 12 信息和通信理论,电路(94-XX) 11 结合环与代数(16-XX) 8 功能分析(46倍X倍) 7 概率论与随机过程(60-XX) 5 组合数学(05-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 阶、格、有序代数结构(06-XX) 4 非结合环和代数(17-XX) 4 统计学(62-XX) 三 群论与推广(20-XX) 三 一般拓扑结构(54-XX) 三 流形和细胞复合体(57至XX) 2 总体主题;集合(00-XX) 2 一般代数系统(08-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 算子理论(47-XX) 1 交换代数(13-XX) 1 拓扑群,李群(22日至XX日) 1 测量和集成(28-XX) 1 几何图形(51至XX) 1 微分几何(53至XX) 1 整体分析,流形分析(58至XX) 1 流体力学(76-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 1 数学教育(97-XX) 按年份列出的引文