编辑配置文件(在新选项卡中打开) 马尔科·卡博尼 合著者距离 作者ID: 碳。马尔科 发布日期: 马尔科·卡博尼 编入索引的文档: 26出版物自2002年起 4作为编辑的贡献 合著者: 31位合著者具有30联合出版物 575位合作作者 全部的 前5名合著者 0 单作者的 10 吉田、Nobuko 7 法布里西奥·蒙泰西 6 本田、高黑 6 卡斯滕·舒尔曼 4 马里奥·布拉维蒂 4 吉安路易吉·扎瓦塔罗 2 瑟伦·德博伊斯 2 约书亚·D·古特曼。 2 托马斯·希尔德布兰特。 2 伊万·拉内斯 2 朱利安·兰格 2 塞尔吉奥·马菲斯 2 安娜·索科洛娃 1 西蒙,布利兹 1 亚历山德罗·布鲁尼 1 罗伯托·布鲁尼 1 路易斯·克鲁兹·菲利佩 1 罗萨里奥·朱斯托利西 1 萨姆·林德利 1 阿尔贝托·卢什·拉富恩特 1 雨果·A·洛佩兹。 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 阿加塔·穆拉夫斯卡 1 尼尔森,莫根斯 1 约阿希姆·帕罗 1 Jean-Marc小个子 1 弗拉迪米罗·萨松 1 亚历山德拉·席尔瓦 1 亚历山德鲁·席尔瓦 1 斯莱亚特,蒂杰斯 1 菲利普·李·沃德勒 1 马蒂亚斯·威德利奇 全部的 前5名系列 2 理论计算机科学电子论文集(EPTCS) 1 信息学报 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 分布式计算 1 北欧计算机杂志 1 美国医学会杂志 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 计算机科学科学年鉴 领域 30 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 4 总体主题;集合(00-XX) 三 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用389中的次218文件 引用人▼ 年份▼ 多方异步会话类型。 Zbl 1295.68150号 本田、高黑;吉田、Nobuko;马尔科·卡博尼 107 2008 以结构化通信为中心的web服务编程。 Zbl 1187.68064号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 54 2007 多方异步会话类型。 Zbl 1426.68047号 本田、高黑;吉田、Nobuko;马可·卡博尼 52 2016 死锁自由设计,多方异步全局编程。 Zbl 1301.68097号 马尔科·卡博尼;法布里西奥·蒙泰西 35 2013 论(pi)-演算中多进制同步的表达能力。 Zbl 1062.68077号 马尔科·卡博尼;塞尔吉奥·马菲斯 32 2003 会话类型中的结构化交互异常。 Zbl 1160.68459号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 15 2008 异步会话子类型的不可说明性。 Zbl 1376.68098号 马里奥·布拉维蒂;马尔科·卡博尼;吉安路易吉·扎瓦塔罗 15 2017 编排,逻辑性。 Zbl 1423.68304号 马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼 10 2018 一致性概括了二元性:多方会话类型的逻辑解释。 Zbl 1392.68286号 马尔科·卡博尼;萨姆·林德利;法布里西奥·蒙泰西;卡斯滕·舒尔曼;菲利普·沃德勒 9 2016 基于会话类型的全局交互计算。 Zbl 1277.68171号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 9 2007 异步会话子类型的可判定性和不可判定性之间的边界。 Zbl 1388.68024号 马里奥·布拉维蒂;马尔科·卡博尼;吉安路易吉·扎瓦塔罗 9 2018 web服务中结构化通信进度的图形方法。 Zbl 1455.68119号 马尔科·卡博尼;瑟伦·德博伊斯 8 2010 信任管理的微积分。 Zbl 1117.68446号 马尔科·卡博尼;尼尔森,莫根斯;弗拉迪米罗·萨松 5 2004 编排,逻辑性。 Zbl 1417.68121号 马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼 5 2014 多方会话类型作为一致性证明。 Zbl 1371.68049号 马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼;吉田、Nobuko 5 2017 异步会话子类型的完善算法。 Zbl 07649946号 马里奥·布拉维蒂;马可·卡博尼;朱利安·兰格;吉田、Nobuko;吉安路易吉·扎瓦塔罗 4 2019 异步会话子类型的完善算法及其实现。 Zbl 1509.68184号 马里奥·布拉维蒂;马尔科·卡博尼;朱利安·兰格;吉田、Nobuko;吉安路易吉·扎瓦塔罗 4 2021 论(pi)-演算中多进制同步的表达能力。 Zbl 1270.68208号 马尔科·卡博尼;塞尔吉奥·马菲斯 4 2002 以交流为中心的方案拟订的理论方面。 Zbl 1279.68050号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 三 2008 多方会话类型作为一致性证明。 Zbl 1374.68323号 马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼;吉田、Nobuko 2 2015 用安全的盒子和妥协的原则编排。 Zbl 1454.68073号 马尔科·卡博尼;乔舒亚·古特曼 1 2009 多党古典舞蹈。 Zbl 1524.68079号 马尔科·卡博尼;路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;阿加塔·穆拉夫斯卡 1 2019 异步会话子类型的完善算法及其实现。 Zbl 1509.68184号 马里奥·布拉维蒂;马尔科·卡博尼;朱利安·兰格;吉田、Nobuko;吉安路易吉·扎瓦塔罗 4 2021 异步会话子类型的完善算法。 Zbl 07649946号 马里奥·布拉维蒂;马尔科·卡博尼;朱利安·兰格;吉田、Nobuko;吉安路易吉·扎瓦塔罗 4 2019 多党古典舞蹈。 Zbl 1524.68079号 马尔科·卡博尼;路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;阿加塔·穆拉夫斯卡 1 2019 编排,逻辑性。 Zbl 1423.68304号 马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼 10 2018 关于异步会话子类型的可判定性和不可判定性之间的边界。 Zbl 1388.68024号 马里奥·布拉维蒂;马尔科·卡博尼;吉安路易吉·扎瓦塔罗 9 2018 异步会话子类型的不确定性。 Zbl 1376.68098号 马里奥·布拉维蒂;马尔科·卡博尼;吉安路易吉·扎瓦塔罗 15 2017 多方会话类型作为一致性证明。 Zbl 1371.68049号 马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼;吉田、Nobuko 5 2017 多方异步会话类型。 Zbl 1426.68047号 本田、高黑;吉田、Nobuko;马尔科·卡博尼 52 2016 一致性概括了二元性:多方会话类型的逻辑解释。 Zbl 1392.68286号 马尔科·卡博尼;萨姆·林德利;法布里西奥·蒙泰西;卡斯滕·舒尔曼;菲利普·沃德勒 9 2016 多方会话类型作为一致性证明。 Zbl 1374.68323号 马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼;吉田、Nobuko 2 2015 从逻辑上讲,编排。 Zbl 1417.68121号 马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼 5 2014 死锁自由设计,多方异步全局编程。 Zbl 1301.68097号 马尔科·卡博尼;法布里西奥·蒙泰西 35 2013 web服务中结构化通信进度的图形方法。 Zbl 1455.68119号 马尔科·卡博尼;瑟伦·德博伊斯 8 2010 用安全的盒子和妥协的原则编排。 Zbl 1454.68073号 马尔科·卡博尼;约书亚·古特曼 1 2009 多方异步会话类型。 Zbl 1295.68150号 本田、高黑;吉田、Nobuko;马尔科·卡博尼 107 2008 会话类型中的结构化交互异常。 Zbl 1160.68459号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 15 2008 以通信为中心的编程的理论方面。 Zbl 1279.68050号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 三 2008 以通信为中心的结构化web服务编程。 Zbl 1187.68064号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 54 2007 基于会话类型的全局交互演算。 Zbl 1277.68171号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 9 2007 信任管理的微积分。 Zbl 1117.68446号 马尔科·卡博尼;尼尔森,莫根斯;弗拉迪米罗·萨松 5 2004 论(pi)-演算中多进制同步的表达能力。 兹比尔1062.68077 马尔科·卡博尼;塞尔吉奥·马菲斯 32 2003 论(pi)-演算中多进制同步的表达能力。 Zbl 1270.68208号 马尔科·卡博尼;塞尔吉奥·马菲斯 4 2002 所有引用出版物 前5名被引用出版物 全部的 前5名283位作者引用 24 吉田、Nobuko 20 马里亚纽拉州Dezani-Ciancaglini 14 佩雷斯(Jorge A.Pérez)。 12 法布里西奥·蒙泰西 12 埃米利奥·托斯托 9 马尔科·卡博尼 8 马里奥·布拉维蒂 8 伊利亚卡斯特拉尼 8 卢卡·帕多瓦尼 8 吉安路易吉·扎瓦塔罗 7 路易斯·克鲁兹·菲利佩 7 雨果·托雷斯·维埃拉 6 佛朗哥·巴巴内拉 6 马西莫·巴托莱蒂 6 路易斯·凯雷斯 6 马里奥·科普 6 奥尔内拉·达达 6 保拉·吉安尼尼 6 罗伯特·瓜夏莱 6 伊万·拉内斯 6 伯纳多·托尼霍 6 Vascoconcelos、Vasco Thudichum 5 劳拉·博奇 5 罗伯托·布鲁尼 5 乌戈·德利古罗 5 吉安·路易吉,法拉利 5 丹尼尔·戈拉 5 朱利安·兰格 5 弗兰克,普芬宁 5 阿尔切斯特·斯卡拉斯 5 弗朗西斯科·蒂埃齐 4 萨拉·卡佩基 4 格雷戈里奥·迪亚兹 4 埃琳娜·贾奇诺 4 托马斯·希尔德布兰特。 4 钟曼,宋世堂。 4 Kokke,温 4 约万卡·潘托维奇 4 马可·佩雷索蒂 4 罗萨里奥·普格利泽 4 罗伯托·祖尼诺 三 大卫·巴兹勒 三 玛丽亚·艾米利亚·坎布罗内罗 三 加布里埃尔·乔巴努 三 洛科·德尼古拉 三 西尔维娅·吉勒赞 三 罗尔夫·亨尼克 三 本田、高黑 三 罗斯·霍恩 三 斯迪安·利贝奇 三 塞尔吉奥·马菲斯 三 埃尔南·梅尔格拉蒂 三 克劳迪奥·安塔雷斯·梅齐纳 三 安德烈亚·莫迪多 三 迪米特里斯·莫斯特鲁斯 三 毛里齐奥·穆尔吉亚 三 柯斯汀·彼得斯 三 若泽·普罗恩萨 三 卡斯滕·舒尔曼 三 丹尼尔·斯特罗洛 三 彼得·蒂曼。 三 瓦伦蒂安·瓦莱罗 三 克里斯蒂安·维萨里 2 贝尔纳多·阿尔梅达。 2 阿曼,博格丹 2 萨米克·巴苏 2 杰斯珀·本特森 2 博迪,恰拉 2 琳达·布罗多 2 特夫菲克·布尔坦 2 纳迪亚·布西 2 菲利佩·卡萨尔 2 蒂齐亚娜·西莫利 2 亚历克斯·科托 2 达斯,安库什 2 迪加诺,皮尔保罗 2 罗曼·德曼根 2 Cinzia迪朱斯托 2 索菲亚·克洛伊·德罗索波卢 2 吕克·爱迪克索芬 2 何塞·路易斯·费亚代罗 2 阿德里安·弗兰卡兰扎 2 毛里齐奥·加布里埃利 2 盖列塔,莱特里奥 2 菲利普·安·加德纳 2 萨维里奥·贾勒伦佐 2 托马斯·吉文·威尔森 2 伊娃·格拉弗森 2 汉斯·休特尔 2 斯维特拉纳·雅克西奇 2 Legay、Axel 2 安托尼亚州洛佩斯 2 雨果·A·洛佩兹。 2 米歇尔·洛雷蒂 2 杰拉尔德·吕特根 2 赫梅内吉尔达·马西阿 2 乌韦州内斯特曼 2 鲁米亚纳内科娃 2 弗莱明·尼尔森 2 约阿希姆·帕罗 …还有183位作者 全部的 前5名20篇连载文章中引用 37 程序设计中的逻辑和代数方法杂志 17 理论计算机科学 15 计算机科学中的逻辑方法 12 信息与计算 9 逻辑与代数程序设计杂志 8 MSCS公司。计算机科学中的数学结构 7 计算的形式方面 6 信息学报 4 计算机程序设计科学 三 自动推理杂志 2 符号计算杂志 2 分布式计算 2 系统设计中的形式化方法 2 函数编程杂志 1 信息处理信件 1 模糊集与系统 1 信息科学 1 约束条件 1 ACM计算逻辑事务 1 应用逻辑杂志 全部的 前5名在7个字段中引用 216 计算机科学(68至XX) 36 数学逻辑和基础(03-XX) 4 生物学和其他自然科学(92-XX) 2 运筹学、数学规划(90-XX) 2 系统论;控制(93至XX) 2 信息与通信理论、电路(94-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文