编辑配置文件(在新选项卡中打开) Mio、Matteo 合著者距离 作者ID: 米奥·马特奥 发布日期: Mio、Matteo 外部链接: MGP公司 已编制索引的文档: 21出版物自2011年起 1名编辑贡献 合著者: 9合著者具有17联合出版物 186位合著者 全部的 前5名合著者 5 单作者的 7 米查勒夫斯基(Michalewski)、亨利克(Henryk) 三 克里斯托夫·卢卡斯 三 亚历克斯·K·辛普森。 三 Micha Skrzypczak 2 托马斯·戈加茨 2 拉杜·马达尔 1 Mikołaj博扬奇克 1 拉尔夫·马提斯 1 瓦莱里亚·维格努德利 系列 5 计算机科学中的逻辑方法 1 信息与计算 1 计算机基础理论 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名领域 17 数学逻辑和基础(03-XX) 16 计算机科学(68至XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 测量和集成(28-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用109中的次59文件 引用人▼ 年份▼ 上预期双相似性和Łukasiewicz\(\mu\)-演算。 Zbl 1405.68218号 Mio、Matteo 14 2014 Łukasiewicz \(\mu\)-微积分。 Zbl 1380.68281号 Mio、Matteo;亚历克斯·辛普森 13 2017 概率演算的博弈语义和指称语义的等价性。 Zbl 1238.68082号 Mio、Matteo 10 2012 具有独立乘积的概率模态演算。 Zbl 1261.03083号 Mio、Matteo 9 2012 基于Riesz空间的概率逻辑。 Zbl 1442.03010号 罗伯特·福伯;拉杜·马达尔;Mio、Matteo 8 2020 不确定性和概率的单数和定量方程理论。 Zbl 07559484号 Mio、Matteo;瓦莱里亚·维格努德利 7 2020 概率并发过程组合验证的证明系统。 Zbl 1260.68273号 Mio、Matteo;亚历克斯·辛普森 6 2013 测量游戏树语言的属性。 Zbl 1425.68202号 托马斯·戈加茨;米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo;Micha Skrzypczak 6 2014 关于计算正则树集的概率的问题。 Zbl 1366.68147号 米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo 5 2015 具有独立乘积的概率模态演算。 Zbl 1326.68202号 Mio、Matteo 4 2011 走向概率计算的结构证明理论。 Zbl 1524.03017号 克里斯托夫·卢卡斯;Mio、Matteo 4 2019 Łukasiewicz \(\mu\)-微积分。 Zbl 1462.68114号 Mio、Matteo;亚历克斯·辛普森 4 2013 带有阈值运算符的Riesz模态逻辑。 Zbl 1453.03017号 Mio、Matteo 4 2018 带有度量和类别量词的一元二阶逻辑。 Zbl 1459.03054号 Mio、Matteo;Micha Skrzypczak;米查勒夫斯基(Michalewski)、亨利克(Henryk) 三 2018 测量规则树集的属性。 Zbl 1376.68092号 托马斯·戈加茨;米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo;Micha Skrzypczak 三 2017 一元二阶逻辑中的量词。 Zbl 1476.03049号 米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo 三 2016 一元二阶逻辑中的贝尔范畴量词。 Zbl 1443.03007号 米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo 三 2015 马尔可夫过程的Riesz模态逻辑。 Zbl 1452.03082号 Mio、Matteo;罗伯特·福伯;拉杜·马达尔 2 2017 关于次零自动机的正则空性问题。 Zbl 1433.68198号 米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo;Mikołaj博扬奇克 1 2016 基于Riesz空间的概率逻辑。 Zbl 1442.03010号 罗伯特·福伯;拉杜·马达尔;Mio、Matteo 8 2020 不确定性和概率的单数和定量方程理论。 Zbl 07559484号 Mio、Matteo;瓦莱里亚·维格努德利 7 2020 概率演算的结构证明理论。 Zbl 1524.03017号 克里斯托夫·卢卡斯;Mio、Matteo 4 2019 带有阈值运算符的Riesz模态逻辑。 Zbl 1453.03017号 Mio、Matteo 4 2018 带有度量和类别量词的一元二阶逻辑。 Zbl 1459.03054号 Mio、Matteo;Micha Skrzypczak;米查勒夫斯基(Michalewski)、亨利克(Henryk) 三 2018 Łukasiewicz \(\mu\)-微积分。 Zbl 1380.68281号 Mio、Matteo;亚历克斯·辛普森 13 2017 测量规则树集的属性。 Zbl 1376.68092号 托马斯·戈加茨;米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo;Micha Skrzypczak 三 2017 马尔可夫过程的Riesz模态逻辑。 Zbl 1452.03082号 Mio、Matteo;罗伯特·福伯;拉杜·马达尔 2 2017 一元二阶逻辑中的量词。 Zbl 1476.03049号 米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo 三 2016 关于次零自动机的正则空性问题。 Zbl 1433.68198号 米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo;Mikołaj博扬奇克 1 2016 关于计算正则树集的概率的问题。 Zbl 1366.68147号 米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo 5 2015 一元二阶逻辑中的贝尔范畴量词。 Zbl 1443.03007号 米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo 三 2015 上预期双相似性和Łukasiewicz\(\mu\)-演算。 Zbl 1405.68218号 Mio、Matteo 14 2014 测量游戏树语言的属性。 Zbl 1425.68202号 托马斯·戈加茨;米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo;Micha Skrzypczak 6 2014 一种用于概率并发过程的组合验证的证明系统。 Zbl 1260.68273号 Mio、Matteo;亚历克斯·辛普森 6 2013 Łukasiewicz \(\mu\)-微积分。 Zbl 1462.68114号 Mio、Matteo;亚历克斯·辛普森 4 2013 概率演算的博弈语义和指称语义的等价性。 Zbl 1238.68082号 Mio、Matteo 10 2012 具有独立乘积的概率模态演算。 Zbl 1261.03083号 Mio、Matteo 9 2012 具有独立乘积的概率模态演算。 Zbl 1326.68202号 Mio、Matteo 4 2011 所有引用的出版物 前5名被引用出版物 全部的 前5名93位作者引用 9 Mio、Matteo 6 米查勒夫斯基(Michalewski)、亨利克(Henryk) 6 西蒙·蒂尼 5 菲利波·邦奇 5 Micha Skrzypczak 4 金·古德斯特兰·拉森 4 拉杜·马达尔 4 安娜·索科洛娃 三 乔治·巴奇 三 乔瓦尼·巴奇 三 奥利维·芬克尔 三 拉诺特、拉格罗 三 卢茨·施罗德 2 梅丽莎·安东内利 2 瓦伦蒂娜·卡斯蒂格利奥尼 2 乌戈·达尔拉戈 2 Daniel E.Gebler。 2 托马斯·戈加茨 2 巴巴拉·科尼格 2 多米尼克·勒科姆 2 克里斯托夫·卢卡斯 2 保罗·皮斯通 2 尼尔·皮特曼 2 Przybyłko,马钦 2 亚历山德拉·席尔瓦 2 亚历克斯·K·辛普森。 2 唐启毅 2 弗兰克·范·布鲁格尔 2 瓦莱里亚·维格努德利 2 威尔德,保罗 1 克里斯特尔·拜尔 1 保罗·巴尔丹 1 马西莫·巴托莱蒂 1 海宁·巴索尔德 1 古拉姆·贝扎尼什维利 1 Mikołaj博扬奇克 1 朱利安·查尔斯·布拉德菲尔德 1 托马斯·布伦戈斯 1 卢卡·卡莱 1 Carayol,阿诺 1 奥利维尔·卡尔顿 1 克劳迪娅·考利 1 菲利波·卡瓦拉里 1 克里希南德·查特吉 1 劳雷·达沃 1 卢卡·德·阿尔法罗 1 安东尼奥·迪·诺拉 1 丹尼萨·迪亚科内斯库 1 安纳托利赫·德武雷·恩斯基 1 约尔格恩德鲁利斯 1 塞巴斯蒂安·恩奎斯特 1 库沙·埃特萨米 1 乌里·法伦贝格 1 Forejt,Vojtěch公司 1 波林·福尼尔 1 雨果·金伯特 1 安德烈·戈林 1 布鲁诺·吉隆 1 Helle Hvid Hansen先生 1 丹尼尔·豪斯曼 1 小林直树 1 简·Křetínsk 1 Kwiatkowska,Marta Z。 1 拉彭塔,塞拉菲纳 1 Legay、Axel 1 阿利奥姆·洛佩兹 1 伊曼纽尔·马丁诺夫 1 马西莫·梅里奥 1 乔治·梅特卡夫 1 Yo Mitani 1 帕特里克·J·莫兰迪。 1 莫里齐奥·穆尔吉亚 1 托马索·帕多安 1 文森特·佩内尔 1 马可·佩雷索蒂 1 Daniela Luan Petrisan 1 罗摩克里希南。 1 阿洛依斯·罗塞特 1 阿莱西奥·桑塔马利亚 1 劳拉·施努里格 1 塞凡·法特梅 1 奥利维尔·塞雷 1 皮埃尔·西蒙奈特 1 卢卡·斯帕达 1 A.V.Sreejith。 1 阿利斯泰尔·斯图尔特 1 路易斯·马里·特劳努埃兹 1 津田,武士 1 维尼马,伊德 1 伊戈尔·瓦卢凯维奇 1 哈拉尔德·沃切克 1 米哈利斯·亚纳卡基斯 1 罗贝罗·祖尼诺 全部的 前5名11篇连载文章中引用 16 计算机科学中的逻辑方法 5 理论计算机科学 三 信息与计算 2 符号逻辑杂志 2 MSCS公司。计算机科学中的数学结构 2 软计算 1 计算机与系统科学杂志 1 纯逻辑与应用逻辑年鉴 1 国际计算机科学基础杂志 1 RAIRO公司。理论信息学及其应用 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 49 计算机科学(68至XX) 33 数学逻辑和基础(03-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 阶、格、有序代数结构(06-XX) 三 范畴理论;同调代数(18-XX) 三 概率论与随机过程(60-XX) 2 测量和集成(28-XX) 1 一般拓扑结构(54-XX) 按年份列出的引文