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

法布里西奥·蒙泰西

合著者距离
作者ID： 蒙特西·法布里西奥“Montesi，Fabrizio”最近发表的zbMATH文章
发布日期： 法布里西奥·蒙泰西
已编制索引的文档： 25出版物自2009年起
合著者： 20位合著者具有24联合出版物
339合著者
全部的 前5名

合著者

1 单作者的
11 路易斯·克鲁兹·菲利佩
7 马尔科·卡博尼
5 马可·佩雷索蒂
5 卡斯滕·舒尔曼
三 吉田信子
2 毛里齐奥Gabbrielli
2 萨韦里奥·贾洛伦佐
2 格雷弗森，伊娃
2 克劳迪奥·吉迪
2 伊万·拉内斯
2 吉安路易吉·扎瓦塔罗
1 安德鲁·赫施（Andrew K.Hirsch）。
1 Kjr，比约恩·安吉尔
1 温·科克
1 金·斯卡·拉森
1 萨姆·林德利
1 卢戈维奇（Lovro Lugović）
1 雅各布·毛罗
1 阿加塔·穆拉夫斯卡
1 菲利普·李·沃德勒
全部的 前5名

系列

1 信息学学报
1 理论计算机科学
1 自动推理杂志
1 分布式计算
1 函数编程杂志
1 计算机基础理论

领域

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

按年份列出的出版物

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

zbMATH Open中包含的引文

20出版物被引用132中的次50文件 引用人▼ 年份▼
死锁自由设计，多方异步全局编程。 Zbl 1301.68097号
马尔科·卡博尼;法布里西奥·蒙泰西
35
2013
程序性舞蹈编程。 Zbl 1489.68051号
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西
13
2017
舞蹈编程的核心模型。 Zbl 1436.68078号
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西
13
2020
构图舞蹈。 Zbl 1390.68483号
法布里西奥·蒙泰西;吉田信子
12
2013
编排，逻辑性。 Zbl 1423.68304号
马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼
10
2018
一致性概括了二元性：多方会话类型的逻辑解释。 Zbl 1392.68286号
马尔科·卡博尼;萨姆·林德利;法布里西奥·蒙泰西;卡斯滕·舒尔曼;菲利普·沃德勒
9
2016
多方会话类型作为一致性证明。 Zbl 1371.68049号
马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼;吉田信子
5
2017
编排，逻辑性。 Zbl 1417.68121号
马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼
5
2014
舞蹈提取的路径。 兹比尔1486.68111
路易斯·克鲁兹·菲利佩;Larsen，Kim S。;法布里西奥·蒙泰西
5
2017
在Coq中形成一种图灵完整的舞蹈语言。 Zbl 07699432号
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;马可·佩雷索蒂
5
2021
分解线性逻辑。 Zbl 1487.03072号
温·科克;法布里西奥·蒙泰西;马尔科·佩雷索蒂
三
2019
应用舞蹈设计。 Zbl 1508.68242号
萨维里奥·贾勒伦佐;法布里西奥·蒙泰西;毛里齐奥Gabbrielli
三
2018
关于异步和编舞。 Zbl 1433.68244号
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西
三
2017
认证编舞。 Zbl 07500641号
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;马可·佩雷索蒂
三
2021
多方会话类型作为一致性证明。 Zbl 1374.68323号
马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼;吉田信子
2
2015
功能性舞蹈编程。 Zbl 07719834号
路易斯·克鲁兹·菲利佩;格雷弗森，伊娃;卢戈维奇，洛夫罗;法布里西奥·蒙泰西;马可·佩雷索蒂
2
2022
面向服务应用程序中的动态错误处理。 Zbl 1215.68040号
克劳迪奥·吉迪;伊万·拉内斯;法布里西奥·蒙泰西;吉安路易吉·扎瓦塔罗
1
2009
这就足够了：与标准编排原语异步。 Zbl 1416.68119号
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西
1
2017
多党古典舞蹈。 Zbl 1524.68079号
马尔科·卡博尼;路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;阿加塔·穆拉夫斯卡
1
2019
经典高阶过程（短文）。 Zbl 1489.68165号
法布里西奥·蒙泰西
1
2017
功能性舞蹈编程。 Zbl 07719834号
路易斯·克鲁兹·菲利佩;格雷弗森，伊娃;卢戈维奇（Lovro Lugović）;法布里西奥·蒙泰西;马可·佩雷索蒂
2
2022
将图灵完整的舞蹈语言形式化。 Zbl 07699432号
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;马可·佩雷索蒂
5
2021
认证编舞。 Zbl 07500641号
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;马可·佩雷索蒂
三
2021
舞蹈编程的核心模型。 Zbl 1436.68078号
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西
13
2020
把线性逻辑拆开。 Zbl 1487.03072号
温·科克;法布里西奥·蒙泰西;马可·佩雷索蒂
三
2019
多党古典舞蹈。 Zbl 1524.68079号
马尔科·卡博尼;路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;阿加塔·穆拉夫斯卡
1
2019
编排，逻辑性。 Zbl 1423.68304号
马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼
10
2018
应用舞蹈设计。 Zbl 1508.68242号
萨维里奥·贾勒伦佐;法布里西奥·蒙泰西;毛里齐奥Gabbrielli
三
2018
程序性舞蹈编程。 兹比尔1489.68051
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西
13
2017
多方会话类型作为一致性证明。 Zbl 1371.68049号
马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼;吉田信子
5
2017
舞蹈提取的路径。 Zbl 1486.68111号
路易斯·克鲁兹·菲利佩;Larsen，Kim S。;法布里西奥·蒙泰西
5
2017
关于异步和编舞。 Zbl 1433.68244号
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西
三
2017
这就足够了：与标准编排原语异步。 Zbl 1416.68119号
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西
1
2017
经典高阶过程（短文）。 Zbl 1489.68165号
法布里西奥·蒙泰西
1
2017
一致性概括了二元性：多方会话类型的逻辑解释。 Zbl 1392.68286号
马尔科·卡博尼;萨姆·林德利;法布里西奥·蒙泰西;卡斯滕·舒尔曼;菲利普·沃德勒
9
2016
多方会话类型作为一致性证明。 Zbl 1374.68323号
马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼;吉田信子
2
2015
编排，逻辑性。 兹比尔1417.68121
马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼
5
2014
死锁自由设计，多方异步全局编程。 Zbl 1301.68097号
马尔科·卡博尼;法布里西奥·蒙泰西
35
2013
构图舞蹈。 Zbl 1390.68483号
法布里西奥·蒙泰西;吉田信子
12
2013
面向服务应用程序中的动态错误处理。 Zbl 1215.68040号
克劳迪奥·吉迪;伊万·拉内斯;法布里西奥·蒙泰西;吉安路易吉·扎瓦塔罗
1
2009
所有引用出版物 前5名被引用出版物
全部的 前5名

88位作者引用

12 法布里西奥·蒙泰西
7 路易斯·克鲁兹·菲利佩
5 伊万·拉内斯
4 马尔科·卡博尼
4 奥尔内拉·达达
4 马里亚纽拉州Dezani-Ciancaglini
4 钟曼，宋世堂。
4 温·科克
4 马可·佩雷索蒂
4 埃米利奥·托斯托
4 吉田信子
三 佛朗哥·巴巴内拉
三 路易斯·凯雷斯
三 卢卡·帕多瓦尼
三 佩雷斯（Jorge A.Pérez）。
三 卡斯滕·舒尔曼
三 雨果·托雷斯·维埃拉
2 伊利亚州卡斯特拉尼
2 马里奥·科普
2 吕克·爱迪克索芬
2 毛里齐奥Gabbrielli
2 加莱塔，莱特里奥
2 萨维里奥·贾勒伦佐
2 格雷弗森，伊娃
2 罗斯·霍恩
2 洛佩斯，雨果·A。
2 弗莱明·尼尔森
2 何塞·普伦萨
2 汉内·里斯·尼尔森
2 佐里卡萨瓦诺维奇
1 叶希亚·阿卜杜·阿勒拉赫曼
1 费德里科·阿西埃里
1 保罗·C·阿蒂。
1 乔治·奥德里托
1 马西莫·巴托莱蒂
1 劳拉·博奇
1 亚历山德罗·布鲁尼
1 罗伯特·卡萨迪
1 蝉蜕、阿加塔
1 卢卡·西科内
1 吉尔勒米纳·克莱杜
1 亚历克斯·科托
1 米拉·达拉·普雷达
1 费卢西奥·达米亚尼
1 洛科·德尼古拉
1 瑟伦·德博伊斯
1 乌戈·德利古罗
1 安托万·埃尔·霍卡耶姆
1 埃夫拉德，雨果
1 伊利耶斯·法尔科内
1 西蒙·福勒
1 弗朗西斯科·詹科（Francesco A.Genco）。
1 埃琳娜·贾奇诺
1 保拉·吉安尼尼
1 朱斯托利西，罗萨里奥
1 罗伯特·瓜夏莱
1 哈拉尔（Rayan Hallal）
1 罗尔夫·亨尼克
1 托马斯·希尔德布兰特。
1 安德鲁·赫施（Andrew K.Hirsch）。
1 穆罕默德·贾伯。
1 爱德华·坎伯扬
1 瑞安·卡瓦纳
1 阿巴斯·哈利勒
1 Kjær，比约恩·安吉尔
1 弗雷德里克·朗
1 金·斯卡·拉森
1 萨姆·林德利
1 阿尔贝托·卢什·拉富恩特
1 卢戈维奇（Lovro Lugović）
1 弗朗西斯科·马丁斯
1 雅各布·毛罗
1 埃尔南·梅尔格拉蒂
1 克劳迪奥·安塔雷斯·梅齐纳
1 塞巴斯蒂安·亚历山大·莫德谢姆
1 J.Garrett莫里斯
1 莫里齐奥·穆尔吉亚
1 弗兰克·芬宁
1 安托尼奥·拉瓦拉
1 戴维·桑吉奥吉
1 阿尔切斯特·斯卡拉斯
1 斯莱亚特，蒂杰斯
1 伯纳多·托尼霍
1 佩特拉·范登·博斯
1 Vascoconcelos、Vasco Thudichum
1 米尔科·维罗利
1 吉安路易吉·扎瓦塔罗
1 罗伯托·祖尼诺
全部的 前5名

10篇连载文章中引用

9 程序设计中的逻辑和代数方法杂志
7 计算机科学中的逻辑方法
三 理论计算机科学
2 信息与计算
1 信息学学报
1 自动推理杂志
1 计算的形式方面
1 MSCS公司。计算机科学中的数学结构
1 分布式计算
1 函数编程杂志

在5个字段中引用

49 计算机科学（68至XX）
11 数学逻辑和基础（03-XX）
1 运筹学、数学规划（90-XX）
1 系统论；控制（93至XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文