编辑配置文件(在新选项卡中打开) 马可·佩雷索蒂 合著者距离 作者ID: peressotti.marco公司 发布日期: 马可·佩雷索蒂 编入索引的文档: 10出版物自2015年起 合著者: 8位合著者具有10联合出版物 78位合作作者 全部的 前5名合著者 0 单作者的 5 法布里西奥·蒙泰西 4 路易斯·克鲁兹·菲利佩 三 托马斯·布伦戈斯 三 马里诺·米库兰 1 阿莱西奥·齐亚佩里尼 1 伊娃·格拉弗森 1 Kokke,温 1 卢戈维奇(Lovro Lugović) 系列 1 理论计算机科学 1 自动推理杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 领域 9 计算机科学(68至XX) 三 范畴理论;同调代数(18-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用32中的次22文件 引用人▼ 年份▼ 具有不可观测运动的余代数的行为等价性。 Zbl 1330.68195号 托马斯·布伦戈斯;马里诺·米库兰;马可·佩雷索蒂 8 2015 具有定量方面的非确定性过程的结构操作语义。 Zbl 1356.68157号 马里诺·米库兰;马可·佩雷索蒂 6 2016 在Coq中形成一种图灵完整的舞蹈语言。 Zbl 07699432号 路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;马可·佩雷索蒂 5 2021 时间自动机的统一框架。 Zbl 1392.68214号 托马斯·布伦戈斯;马可·佩雷索蒂 4 2016 认证编舞。 Zbl 07500641号 路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;马可·佩雷索蒂 三 2021 分解线性逻辑。 兹比尔1487.03072 Kokke,温;法布里西奥·蒙泰西;马可·佩雷索蒂 三 2019 功能性舞蹈编程。 兹伯利07719834 路易斯·克鲁兹·菲利佩;伊娃·格拉弗森;卢戈维奇(Lovro Lugović);法布里西奥·蒙泰西;马可·佩雷索蒂 2 2022 定时系统的行为等效性。 Zbl 1407.68331号 托马斯·布伦戈斯;马可·佩雷索蒂 1 2019 功能性舞蹈编程。 兹伯利07719834 路易斯·克鲁兹·菲利佩;伊娃·格拉弗森;卢戈维奇(Lovro Lugović);法布里西奥·蒙泰西;马可·佩雷索蒂 2 2022 在Coq中形成一种图灵完整的舞蹈语言。 Zbl 07699432号 路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;马可·佩雷索蒂 5 2021 认证编舞汇编。 Zbl 07500641号 路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;马可·佩雷索蒂 三 2021 分解线性逻辑。 Zbl 1487.03072号 Kokke,温;法布里西奥·蒙泰西;马可·佩雷索蒂 三 2019 定时系统的行为等效性。 Zbl 1407.68331号 托马斯·布伦戈斯;马可·佩雷索蒂 1 2019 具有定量方面的非确定性过程的结构操作语义。 Zbl 1356.68157号 马里诺·米库兰;马可·佩雷索蒂 6 2016 时间自动机的统一框架。 Zbl 1392.68214号 托马斯·布伦戈斯;马可·佩雷索蒂 4 2016 具有不可观测运动的余代数的行为等价性。 Zbl 1330.68195号 托马斯·布伦戈斯;马里诺·米库兰;马可·佩雷索蒂 8 2015 所有引用出版物 前5名被引用出版物 全部的 前5名35位作者引用 6 马可·佩雷索蒂 4 托马斯·布伦戈斯 4 法布里西奥·蒙泰西 三 路易斯·克鲁兹·菲利佩 三 奥尔内拉·达达 三 Kokke,温 三 马里诺·米库兰 2 菲利波·邦奇 2 伊娃·格拉弗森 1 巴博萨、路易斯·索亚雷斯 1 马可·贝尔纳多 1 瓦伦蒂娜·卡斯蒂格利奥尼 1 卢卡·西科内 1 西蒙·福勒 1 简·赫尔曼·杰弗斯 1 一郎·哈索 1 安德鲁·赫施(Andrew K.Hirsch)。 1 巴特·雅各布斯 1 钟曼,宋世堂。 1 拉诺特、拉格罗 1 萨姆·林德利 1 卢戈维奇(Lovro Lugović) 1 斯特凡·米利厄斯 1 J.Garrett莫里斯 1 内维斯、雷纳托 1 卢卡·帕多瓦尼 1 米歇尔·帕斯夸 1 Daniela Luan Petrisan 1 Damien Pous 1 朱里安·罗特 1 亚历山德拉·席尔瓦 1 西蒙·蒂尼 1 Natsuki Urabe 1 佩特拉·范登博斯 1 法比奥·扎纳西 全部的 前5名6篇连载文章中引用 7 计算机科学中的逻辑方法 4 理论计算机科学 三 程序设计中的逻辑和代数方法杂志 1 信息学报 1 自动推理杂志 1 函数编程杂志 在3个字段中引用 22 计算机科学(68至XX) 7 范畴理论;同调代数(18-XX) 6 数学逻辑和基础(03-XX) 按年份列出的引文