保罗·马特乌斯
人员信息
附属: 葡萄牙里斯本大学
其他同名人员
保罗·门特斯 0002 (又名:Paulo Mateus Mendes、Paulo M.Mendes) -明尼苏达大学工业电子系 保罗·马特乌斯·莫拉·达席尔瓦
优化列表
2020年–今天
2024 [公元52年] 郝丽 , 邱道文 , 勒洛 , 保罗·马特乌斯 :
广义Simon问题的精确分布式量子算法。 信息学学报 61 ( 2 ) : 131-159 ( 2024 ) [公元51年] 玛丽亚诺·莱姆斯 , 里卡多·法莱罗 , 保罗·马特乌斯 , 尼古拉·邦科维奇 , 安德烈·索托 :
决定论控制量子图灵机中的量子Kolmogorov复杂性和量子关联。 量子 8 : 1230 ( 2024 ) 2023 [约50] 李刚-肖 , 邱道文 , 勒洛 , 保罗·马特乌斯 :
分布式Shor算法。 量子信息计算。 23 ( 1&2 ) : 27-44 ( 2023 ) [公元49年] 马里奥·席尔瓦 , 里卡多·法莱罗 , 保罗·马特乌斯 , 埃曼纽尔·赞布里尼·克鲁塞罗 :
一种相干见证游戏及其在半设备相关量子密钥分配中的应用。 量子 7 : 1090 ( 2023 ) [公元31年] 阿曼多·平托 , 曼纽尔·桑托斯 , 努诺·A·席尔瓦 , 纳尔逊·穆加 , 保罗·马特乌斯 :
从CV-QKD中获得的用于安全多方计算的遗忘密钥。 ICTON公司 2023 : 1-4 [公元30年] 努诺·A·席尔瓦 , 莫里西奥·费雷拉 , 安德烈·卡瓦略 , 安德烈·索托 , 尼古拉·邦科维奇 , 保罗·马特乌斯 , 安托尼奥·特谢拉 , 阿曼多·平托 :
一种用于分发量子随机数的网络服务器。 ICTON公司 2023 : 1-4 [i20] 玛丽亚诺·莱姆斯 , 里卡多·法莱罗 , 保罗·马特乌斯 , 尼古拉·邦科维奇 , 安德烈·索托 :
决定论控制量子图灵机中的量子Kolmogorov复杂性和量子关联。 CoRR公司 abs/2305.14252 ( 2023 ) 2022 [公元48年] 曼纽尔·桑托斯 , 安娜·C·戈麦斯 , 阿曼多·平托 , 保罗·马特乌斯 :
基于量子技术的系统发育树私有计算。 IEEE接入 10 : 38065-38088 ( 2022 ) [公元47年] 曼纽尔·桑托斯 , 保罗·马特乌斯 , 阿曼多·平托 :
量子不经意传输:简短回顾。 熵 24 ( 7 ) : 945 ( 2022 ) [公元46年] 弗朗西斯科·马萨 , 普雷蒂·雅达夫 , 阿米尔·莫卡纳基 , 沃尔特·奥·克劳克(Walter O.Krawec) , 保罗·马特乌斯 , 尼古拉·邦科维奇 , 安德烈·索托 , 菲利普·沃尔特 :
经典用户的实验半量子密钥分配。 量子 6 : 819 ( 2022 ) [j45] 布鲁诺·梅拉 , 保罗·马特乌斯 , 亚历山德拉·M·卡瓦略 :
统计流形中的模型复杂性:曲率的作用。 IEEE传输。 Inf.理论 68 ( 9 ) : 5619-5636 ( 2022 ) [公元29年] 佩德罗·布兰科 , 尼科·德特林 , 保罗·马特乌斯 :
错误学习中的两轮不经意线性评估。 公钥密码(1) 2022 : 379-408 2021 [公元44年] 布鲁诺·科斯塔 , 佩德罗·布兰科 , 曼努埃尔·古洛 , 玛丽亚诺·莱姆斯 , 保罗·马特乌斯 :
量子环境中安全多方计算的随机不经意传输。 熵 23 ( 8 ) : 1001 ( 2021 ) [公元43年] 谢正伟 , 邱道文 , 蔡光亚 , 乔泽夫·格鲁斯卡 , 保罗·马特乌斯 :
测试布尔函数属性。 芬丹。 信息学 182 ( 4 ) : 321-344 ( 2021 ) [公元42年] 曼纽尔·桑托斯 , 阿曼多·平托 , 保罗·马特乌斯 :
量子和经典不经意传输:比较分析。 IET量子通信。 2 ( 2 ) : 42-53 ( 2021 ) [公元41年] 振邦荣 , 邱道文 , 保罗·马特乌斯 , 邹祥福 :
中介半量子安全直接通信。 量子信息处理。 20 ( 2 ) : 58 ( 2021 ) [j40] 佩德罗·布兰科 , 路易斯·菲奥海斯 , 曼努埃尔·古洛 , 保罗·马丁斯 , 保罗·马特乌斯 , 莱昂内尔·索萨 :
ROTed:嵌入式设备的随机不经意传输。 IACR事务处理。 加密程序。 哈德。 嵌入。 系统。 2021 ( 4 ) : 215-238 ( 2021 ) [i19] 佩德罗·布兰科 , 路易斯·菲奥海斯 , 曼努埃尔·古洛 , 保罗·马丁斯 , 保罗·马特乌斯 , 莱昂内尔·索萨 :
ROTed:嵌入式设备的随机不经意传输。 IACR加密。 电子打印架构。 2021 : 935 ( 2021 ) 2020 [公元39年] 玛丽亚诺·莱姆斯 , 若昂·P·贝朗 , 尼古拉·邦科维奇 , 亚历山德拉·M·卡瓦略 , 保罗·马特乌斯 :
表征时间序列数据早期性的信息理论标准。 熵 22 ( 1 ) : 49 ( 2020 ) [公元38年] 玛丽亚娜·伽马 , 保罗·马特乌斯 , 安德烈·索托 :
私人量子比特串承诺。 熵 22 ( 三 ) : 272 ( 2020 ) [公元37年] 佩德罗·布兰科 , 保罗·马特乌斯 , 卡洛斯·萨利马 , 安德烈·索托 :
使用低密度奇偶校验码改进McEliece密码系统。 信息科学。 510 : 243-255 ( 2020 ) [c28] 玛丽亚·里贝罗 , 佩德罗·阿德诺 , 保罗·马特乌斯 :
使用Isabelle/HOL对以太坊智能合约进行正式验证。 逻辑、语言和安全 2020 : 71-97 [公元27年] 阿曼多·平托 , 劳拉·奥尔蒂斯 , 曼纽尔·桑托斯 , 安娜·C·戈麦斯 , 胡安·佩德罗·布里托 , 纳尔逊·穆加 , 努诺·A·席尔瓦 , 保罗·马特乌斯 , 文森特·马汀 :
基因组和蛋白质中复合信号的量子私人识别。 ICTON公司 2020 : 1-4 [i18] 玛丽亚娜·伽马 , 保罗·马特乌斯 , 安德烈·索托 :
私人量子比特串承诺。 CoRR公司 abs/2001.11911 ( 2020 ) [i17] 布鲁诺·梅拉 , 保罗·马特乌斯 , 亚历山德拉·M·卡瓦略 :
关于统计流形的最小遗憾:曲率的作用。 CoRR公司 abs/2007.02904 ( 2020 ) [i16] 佩德罗·布兰科 , 尼科·德特林 , 保罗·马特乌斯 :
错误学习中的两轮不经意线性评估。 IACR加密。 电子打印架构。 2020 : 635 ( 2020 )
2010 – 2019
2019 [公元36年] 普雷蒂·雅达夫 , 保罗·马特乌斯 , 尼古拉·邦科维奇 , 安德烈·索托 :
用纠缠对签署量子合同。 熵 21 ( 9 ) : 821 ( 2019 ) [j35] 杜世平 , 邱道文 , 乔泽夫·格鲁斯卡 , 保罗·马特乌斯 :
使用相位旋转合成量子图像。 量子信息处理。 18 ( 9 ) : 286 ( 2019 ) [公元34年] 潘明华 , 邱道文 , 保罗·马特乌斯 , 乔泽夫·格鲁斯卡 :
Grover搜索算法中的纠缠和解纠缠。 理论。 计算。 科学。 773 : 138-152 ( 2019 ) [公元26年] 玛丽亚诺·莱姆斯 , 普雷蒂·雅达夫 , 保罗·马特乌斯 , 尼古拉·邦科维奇 , 安德烈·索托 :
在获得普遍可组合量子比特承诺的最小假设下。 ICTON公司 2019 : 1-4 [公元25年] 佩德罗·布兰科 , 金泰鼎 , 曼努埃尔·古洛 , 保罗·马特乌斯 :
一种从单循环密钥交换进行通用可组合不经意传输的框架。 IMACC公司 2019 : 78-101 [公元24年] 佩德罗·布兰科 , 保罗·马特乌斯 :
基于编码理论的可追踪环签名方案。 PQ加密 2019 : 387-403 【i15】 塞缪尔·阿卡迪尼奥 , 保罗·马特乌斯 :
时间序列插补。 CoRR公司 腹肌/1903.09732 ( 2019 ) [第14条] 玛丽亚诺·莱姆斯 , 玛丽亚娜·拉莫斯 , 普雷蒂·雅达夫 , 努诺·A·席尔瓦 , 纳尔逊·穆加 , 安德烈·索托 , 尼古拉·邦科维奇 , 保罗·马特乌斯 , 阿曼多·平托 :
用于安全多方计算的量子遗忘密钥的生成和分发。 CoRR公司 abs/1909.11701 ( 2019 ) [i13] 佩德罗·布兰科 , 保罗·马特乌斯 :
基于编码理论的可追踪环签名方案。 IACR加密。 电子打印架构。 2019 : 324 ( 2019 ) [i12] 佩德罗·布兰科 , 曼努埃尔·古洛 , 保罗·马特乌斯 :
具有陷阱门功能的阶段自适应安全性的UC-承诺方案。 IACR加密。 电子打印架构。 2019 : 529 ( 2019 ) [i11] 佩德罗·布兰科 , 金泰鼎 , 曼努埃尔·古洛 , 保罗·马特乌斯 :
一种从单循环密钥交换进行通用可组合不经意传输的框架。 IACR加密。 电子打印架构。 2019 : 726 ( 2019 ) 2018 [公元33年] 鲁伊·P·格拉 , 亚历山德拉·M·卡瓦略 , 保罗·马特乌斯 :
药代动力学反应聚类的模型选择。 计算。 方法生物识别程序。 162 : 11-18 ( 2018 ) [公元32年] 张伟(音译) , 邱道文 , 保罗·马特乌斯 :
单状态半量子密钥分配协议的安全性。 量子信息处理。 17 ( 6 ) : 135 ( 2018 ) [公元31年] 克莱索拉·弗拉彻(Chrysoula Vlachou) , 沃尔特·奥·克劳克(Walter O.Krawec) , 保罗·马特乌斯 , 尼古拉·邦科维奇 , 安德烈·索托 :
量子密钥分配与量子行走。 量子信息处理。 17 ( 11 ) : 288 ( 2018 ) 【c23】 安德烈·索托 , 路易斯·安图内斯 , 保罗·马特乌斯 , 安德烈亚·特谢拉 :
证人在没有提取器或模拟器的情况下隐藏。 CiE公司 2018 : 397-409 [c22] 邱道文 , 甘洪峰 , 蔡光亚 , 保罗·马特乌斯 :
基于可编程量子状态鉴别器的混合量子态之间的明确区分。 ICIC(3) 2018 : 700-709 【c21】 佩德罗·布兰科 , 保罗·马特乌斯 :
一种基于码的可链接环签名方案。 教务长 2018 : 203-219 [i10] 佩德罗·布兰科 , 金泰鼎 , 曼努埃尔·古洛 , 保罗·马特乌斯 :
基于RLWE假设的通用可组合不经意传输协议。 IACR加密。 电子打印架构。 2018 : 1155 ( 2018 ) 2017 【j30】 乔·拉斯加 , 克里斯蒂娜·塞尔纳达斯 , 保罗·马特乌斯 , Amílcar Sernadas公司 :
不可靠电路逻辑中的决策和优化问题。 日志。 J.IGPL公司 25 ( 三 ) : 283-308 ( 2017 ) [公元29年] 保罗·马特乌斯 , Amílcar Sernadas公司 , 安德烈·索托 :
具有确定性控制的量子图灵机的普遍性。 J.日志。 计算。 27 ( 1 ) : 1-19 ( 2017 ) [公元28年] 张伟(音译) , 邱道文 , 邹祥福 , 保罗·马特乌斯 :
分析和改进了一种基于量子GHZ纠缠的广播多重盲签名方案。 量子信息处理。 16 ( 6 ) : 150 ( 2017 ) [公元20年] 乔·路易斯·索布利尼奥 , 大卫·菲亚略 , 保罗·马特乌斯 :
通过分布式消除重复路由循环来稳定BGP。 ICNP公司 2017 : 1-10 [第九章] 保罗·马特乌斯 , 邱道文 , 安德烈·索托 :
经典控制的量子机器。 CoRR公司 abs/1709.01387 ( 2017 ) 2016 [公元27年] 黄志明 , 邱道文 , 保罗·马特乌斯 :
单范数几何量子不一致的几何和动力学。 量子信息处理。 15 ( 1 ) : 301-326 ( 2016 ) [i8] 克莱索拉·弗拉彻(Chrysoula Vlachou) , J.罗德里格斯 , 保罗·马特乌斯 , 尼古拉·波恩科维奇 , 安德烈·索托 :
Quantum行走公钥密码系统。 CoRR公司 abs/1602.01404 ( 2016 ) [i7] 乔·拉斯加 , 克里斯蒂娜·塞尔纳达斯 , 保罗·马特乌斯 , Amílcar Sernadas公司 :
不可靠电路逻辑中的决策和优化问题。 CoRR公司 abs/1608.00533 ( 2016 ) 2015 [公元26年] 邱道文 , 李绿洲 , 保罗·马特乌斯 , Amílcar Sernadas公司 :
非RMM正则语言的指数级更简洁的量子识别。 J.计算。 系统。 科学。 81 ( 2 ) : 359-375 ( 2015 ) [公元25年] 邹祥福 , 邱道文 , 张胜宇(Shengyu Zhang) , 保罗·马特乌斯 :
在不调用经典方的测量能力的情况下进行半量子密钥分发。 量子信息处理。 14 ( 8 ) : 2981-2996 ( 2015 ) 2014 [公元24年] Amílcar Sernadas公司 , 乔·拉斯加 , 克里斯蒂娜·塞尔纳达斯 , 保罗·马特乌斯 :
单扇出不可靠门逻辑电路的近似推理。 J.日志。 计算。 24 ( 5 ) : 1023-1069 ( 2014 ) [公元23年] 亚历山德拉·M·卡瓦略 , 佩德罗·阿德诺 , 保罗·马特乌斯 :
用于二值分类的贝叶斯多网混合学习。 模式识别。 47 ( 10 ) : 3438-3450 ( 2014 ) [公元22年] 佩德罗·阿德诺 , 保罗·马特乌斯 , 卢卡·维甘 :
具有有限会话数和成本敏感猜测入侵者的协议不安全性是NP完全的。 理论。 计算。 科学。 538 : 2-15 ( 2014 ) [公元21年] 曼努埃尔·比斯卡亚 , 大卫·亨利克斯 , 保罗·马特乌斯 :
近似Skolem问题的可判定性及其在马尔可夫链动态性质逻辑验证中的应用。 ACM事务处理。 计算。 日志。 16 ( 1 ) : 4:1-4:17 ( 2014 ) [第19条] 保罗·马特乌斯 , 尼古拉·邦科维奇 , 乔·罗德里格斯 , 安德烈·索托 :
使用Quantum Networks增强隐私。 通信和多媒体安全 2014 : 147-153 [i6] 安德烈·索托 , 保罗·马特乌斯 , 佩德罗·阿德诺 , 尼古拉·波恩科维奇 :
基于量子态计算可分辨性的不经意传输。 CoRR公司 abs/1403.6022 ( 2014 ) [i5] 乔·罗德里格斯 , 保罗·马特乌斯 , 尼古拉·邦科维奇 , 安德烈·索托 :
基于单量子比特旋转的不经意传输。 CoRR公司 abs/1407.8146 ( 2014 ) 2013 [公元20年] 桑多·伊姆雷 , 保罗·马特乌斯 , 彼得·纳吉 , 安东·扎夫里耶夫 :
Quantum Communications[客座编辑]。 IEEE通信。 美格。 51 ( 8 ) ( 2013 ) [公元19年] 亚历山德拉·M·卡瓦略 , 佩德罗·阿德诺 , 保罗·马特乌斯 :
条件相对熵的有效逼近及其在贝叶斯网络分类器鉴别学习中的应用。 熵 15 ( 7 ) : 2716-2735 ( 2013 ) [公元18年] 郑胜根 , 邱道文 , 乔泽夫·格鲁斯卡 , 李绿洲 , 保罗·马特乌斯 :
具有量子态和经典态的双向有限自动机的状态简洁性。 理论。 计算。 科学。 499 : 98-112 ( 2013 ) [第18条] 曼努埃尔·比斯卡亚 , 佩德罗·巴尔塔扎尔 , 保罗·马特乌斯 , 拉贾戈帕尔·纳加拉詹 :
不确定性下规划的时间逻辑。 FLAIRS公司 2013 2012 [公元17年] 保罗·马特乌斯 , V.R.维埃拉 :
将半素数的因式分解简化为高度振荡函数的积分。 申请。 数学。 莱特。 25 ( 11 ) : 1790-1794 ( 2012 ) [公元16年] 弗朗西斯科·马科斯·德阿西斯 , 亚历山大·斯托亚诺维奇 , 保罗·马特乌斯 , 亚塞尔·奥马尔 :
改进量子通道上的经典认证。 熵 14 ( 12 ) : 2531-2549 ( 2012 ) [公元15年] 保罗·马特乌斯 , 邱道文 , 李绿洲 :
关于最小化概率和量子自动机的复杂性。 Inf.计算。 218 : 36-53 ( 2012 ) [公元14年] 大卫·恩里克斯 , 曼努埃尔·比斯卡亚 , 佩德罗·巴尔塔扎尔 , 保罗·马特乌斯 :
随机系统ω-正则性质的可判定性和复杂性。 日志。 J.IGPL公司 20 ( 6 ) : 1175-1201 ( 2012 ) [j13] 李绿洲 , 邱道文 , 邹祥福 , 李吕军 , 吴丽华 , 保罗·马特乌斯 :
单向广义量子有限自动机的特征。 理论。 计算。 科学。 419 : 第73页至第91页 ( 2012 ) 【r1】 邱道文 , 李绿洲 , 保罗·马特乌斯 , 乔泽夫·格鲁斯卡 :
量子有限自动机。 有限状态模型和应用手册 2012 : 113-144 2011 [公元12年] 邱道文 , 李绿洲 , 邹祥福 , 保罗·马特乌斯 , 乔泽夫·格鲁斯卡 :
多字母量子有限自动机:等价的可判定性和状态的最小化。 信息学学报 48 ( 5-6 ) : 271-290 ( 2011 )
2000 – 2009
2009 [第17条] 保罗·马特乌斯 , 谢尔盖·瓦德内 :
从理论角度谈防篡改。 CHES公司 2009 : 411-428 [第16条] 佩德罗·巴尔塔扎尔 , 保罗·马特乌斯 :
概率命题逻辑的时间化。 LFCS公司 2009 : 46-60 [i4] 邱道文 , 保罗·马特乌斯 , 邹祥福 , Amílcar Sernadas公司 :
单向量子有限自动机与经典态。 CoRR公司 腹肌/0909.1428 ( 2009 ) [i3] 保罗·马特乌斯 , 谢尔盖·瓦德内 :
关于可信代理模型中的隐私损失(摘要)。 IACR加密。 电子打印架构。 2009 : 286 ( 2009 ) 2008 [i2] 弗朗西斯科·马科斯·德阿西斯 , 保罗·马特乌斯 , 亚塞尔·奥马尔 :
具有完美安全性的经典消息的量子认证。 CoRR公司 abs/0806.1231 ( 2008 ) 2007 [公元11年] 罗希特·查达 , 路易斯·克鲁斯·菲利佩 , 保罗·马特乌斯 , Amílcar Sernadas公司 :
关于概率顺序程序的推理。 理论。 计算。 科学。 379 ( 1-2 ) : 142-165 ( 2007 ) [第15条] 保罗·马特乌斯 , 菲利佩·莫拉 , 乔·拉斯加 :
具有量子关联的零知识系统的转移证明。 ICQNM公司 2007 : 9 [第14条] 佩德罗·巴尔塔扎尔 , 罗希特·查达 , 保罗·马特乌斯 , Amílcar Sernadas公司 :
面向模型检查量子安全协议。 ICQNM公司 2007 : 14 [第13条] 佩德罗·巴尔塔扎尔 , 保罗·马特乌斯 , 拉贾戈帕尔·纳加拉扬 , 尼古拉·帕帕尼科劳 :
外源概率计算树逻辑。 QAPL公司 2007 : 95-110 2006 [公元10年] 保罗·马特乌斯 , Amílcar Sernadas公司 :
外生量子命题逻辑的弱完备公理化。 Inf.计算。 204 ( 5 ) : 771-794 ( 2006 ) [第12条] 卡洛斯·卡莱罗 , 保罗·马特乌斯 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 :
量子机构。 献给约瑟夫·戈根的散文 2006 : 50-64 [第11条] 罗希特·查达 , 保罗·马特乌斯 , Amílcar Sernadas公司 :
概率序列程序状态的推理。 CSL公司 2006 : 240-255 [第10条] 佩德罗·阿德诺 , 保罗·马特乌斯 , 蒂亚戈·里斯 , 卢卡·维甘 :
安全协议的定量分析。 QAPL公司 2006 : 3-25 【c9】 罗希特·查达 , 保罗·马特乌斯 , Amílcar Sernadas公司 :
关于强制性量子计划的推理。 MFPS公司 2006 : 19-39 2005 [公元9年] 保罗·马特乌斯 , 乔·拉斯加 , 克里斯蒂娜·塞尔纳达斯 :
用真值标记的模态序列演算:切割消除。 日志。 J.IGPL公司 13 ( 2 ) : 173-199 ( 2005 ) [j8] 沃尔特·亚历山大·卡尼埃利 , 保罗·马特乌斯 :
编辑。 日志。 J.IGPL公司 13 ( 6 ) : 611-614 ( 2005 ) 【c8】 佩德罗·阿德诺 , 保罗·马特乌斯 :
量子安全推理的过程代数。 QPL公司 2005 : 3-21 [i1] 保罗·马特乌斯 , Amílcar Sernadas公司 :
外生量子命题逻辑的弱完备公理化。 CoRR公司 abs/math/0503453 ( 2005 ) 2004 [j7] 保罗·马特乌斯 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 , 卢卡·维甘 :
用真值标记的模态序列演算:完整性、二重性和分析性。 日志。 J.IGPL公司 12 ( 三 ) : 227-274 ( 2004 ) [j6] 克劳迪奥·赫尔米达 , 保罗·马特乌斯 :
副类别II:来自概率自动机理论的附加、谎言和例子。 理论。 计算。 科学。 311 ( 1-3 ) : 71-103 ( 2004 ) 【c7】 保罗·马特乌斯 , Amílcar Sernadas公司 :
关于量子系统的推理。 杰莉亚 2004 : 239-251 2003 [j5] 保罗·马特乌斯 , 曼纽尔·卡布拉尔·莫利斯 , Cláudia Nunes公司 , 安托尼奥·帕切科 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 :
随机时间自动机的分类基础。 理论。 计算。 科学。 308 ( 1-3 ) : 393-427 ( 2003 ) 【j4】 克劳迪奥·埃尔米达 , 保罗·马特乌斯 :
副范畴I:内部副范畴和饱和部分代数。 理论。 计算。 科学。 309 ( 1-3 ) : 125至156 ( 2003 ) 【c6】 保罗·马特乌斯 , 约翰·米切尔 , 安德烈·塞德洛夫 :
概率多项式时间过程演算中密码协议的组成。 CONCUR公司 2003 : 323-345 2002 [j3] 卢茨·施罗德 , 保罗·马特乌斯 :
概率自动机的通用方面。 数学。 结构。 计算。 科学。 12 ( 4 ) : 481-512 ( 2002 ) 【c5】 保罗·马特乌斯 , 安托尼奥·帕切科 , 哈维尔·平托 :
观察与概率情境演算。 韩国 2002 : 327-340 2001 [注2] 保罗·马特乌斯 , 安托尼奥·帕切科 , 哈维尔·平托 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 :
概率情境演算。 安。数学。 Artif公司。 智力。 32 ( 1-4 ) : 393-431 ( 2001 ) 【c4】 卡洛斯·卡莱罗 , 保罗·马特乌斯 , 詹姆·拉莫斯 , Amílcar Sernadas公司 :
组合逻辑:重新审视羊皮纸。 WADT(瓦特) 2001 : 48-70 2000 [j1] 哈维尔·平托 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 , 保罗·马特乌斯 :
情境演算中的不确定性和不确定性。 国际期刊不确定性。 模糊知道。 基于系统。 8 ( 2 ) : 127至150 ( 2000 )
1990 – 1999
1999 【c3】 哈维尔·平托 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 , 保罗·马特乌斯 :
情境演算中的不确定性和不确定性。 FLAIRS公司 1999 : 454-460 【c2】 保罗·马特乌斯 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 :
概率自动机的实现:分类方法。 WADT(瓦特) 1999 : 237-251 【c1】 保罗·马特乌斯 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 :
用于组合概率自动机的子类别。 CTCS公司 1999 : 169-186