编辑配置文件(在新选项卡中打开) 巴勃罗·卡斯特罗。 合著者距离 作者ID: 卡斯特罗·帕布洛-f 发布日期: 巴勃罗·卡斯特罗。;巴勃罗·卡斯特罗 编入索引的文档: 32出版物自2007年起 1名编辑贡献 合著者: 17合著者具有31联合出版物 216位合作作者 全部的 前5名合著者 1 单作者的 15 托马斯·斯蒂芬·爱德华·迈鲍姆 12 Nazareno M.阿吉雷。 8 Valentín,卡萨诺 7 卡洛斯·阿雷塞斯 6 劳尔·费尔瓦里 5 拉米罗·德马西 4 洛佩斯·庞博、卡洛斯·古斯塔沃 三 塞西莉亚·基尔默里 2 阿科斯塔,阿拉塞利 2 佩德罗·鲁宾·达吉尼奥 2 卢西亚诺·普特鲁埃 1 拉米罗卡萨诺 1 克罗卡,J.R。 1 瓦伦丁·德马西 1 M·加塔。 1 纪尧姆·霍夫曼 1 彼得·库利基 1 Pombo Carlos G.洛佩兹。 1 莫雷拉,R.N。 1 尼尔·皮特曼 全部的 前5名系列 2 计算的形式方面 1 Studia Logica公司 1 理论计算机科学 1 逻辑与计算杂志 1 计算机基础理论 1 应用逻辑杂志 1 物理学基础 1 致敬 全部的 前5名领域 26 计算机科学(68至XX) 20 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 量子理论(81-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用50中的次33文件 引用人▼ 年份▼ 道义动作逻辑、原子布尔代数和容错。 Zbl 1193.03060号 巴勃罗·卡斯特罗。;迈鲍姆,T.S.E。 11 2009 完整而紧凑的命题道义逻辑。 Zbl 1143.03343号 巴勃罗·卡斯特罗。;迈鲍姆,T.S.E。 7 2007 在分类设置中管理软件系统的动态重新配置。 Zbl 1286.68070号 巴勃罗·卡斯特罗。;Nazareno M.阿吉雷。;洛佩斯·蓬博,卡洛斯·古斯塔沃;托马斯·S·E·迈鲍姆。 4 2010 可追踪概率-表示概率时间逻辑的演算。 兹比尔1355.68173 巴勃罗·卡斯特罗;塞西莉亚·基尔默里;尼尔·皮特曼 4 2015 用道义逻辑推理系统退化和故障恢复。 Zbl 1234.68038号 巴勃罗·卡斯特罗。;迈鲍姆,T.S.E。 三 2009 道义动作逻辑表系统。 Zbl 1143.68595号 巴勃罗·卡斯特罗。;迈鲍姆,T.S.E。 三 2008 中结构化规范的分类基础。 Zbl 1385.68023号 巴勃罗·卡斯特罗。;纳扎雷诺·阿吉雷;卡洛斯·邦博。;迈鲍姆,T.S.E。 三 2015 dCTL:用于容错系统验证的分支时间时序逻辑。 Zbl 1350.68181号 巴勃罗·卡斯特罗。;塞西莉亚·基尔默里;阿科斯塔,阿拉塞利;纳扎雷诺·阿吉雷 2 2011 道德逻辑,与责任推理和容错相反。 Zbl 1294.03019号 巴勃罗·卡斯特罗。;迈鲍姆,T.S.E。 2 2009 默认逻辑中的插值和Beth可定义性。 Zbl 1525.68160号 瓦伦丁·卡萨诺;劳尔·费尔瓦里;卡洛斯·阿雷塞斯;巴勃罗·卡斯特罗。 2 2019 测量掩蔽容错性。 Zbl 1527.68140号 巴勃罗·卡斯特罗。;佩德罗·R·达吉尼奥。;拉米罗·德马西;卢西亚诺·普特鲁埃 2 2019 用互模拟表征局部性(封装)。 Zbl 1286.68309号 巴勃罗·卡斯特罗。;汤姆·S·E·迈鲍姆。 1 2010 容错仿真关系。 Zbl 1377.68044号 拉米罗·德马西;巴勃罗·卡斯特罗。;托马斯·S·E·迈鲍姆。;纳扎雷诺·阿吉雷 1 2017 基于有限布尔代数的道义动作逻辑表系统及其复杂性。 Zbl 1364.03028号 巴勃罗·卡斯特罗。 1 2017 根据道义规范合成屏蔽容错系统。 Zbl 1410.68220号 拉米罗·德马西;巴勃罗·卡斯特罗。;托马斯·S·E·迈鲍姆。;纳扎雷诺·阿吉雷 1 2013 使用优先默认规则推理处方和描述。 Zbl 1415.68217号 瓦伦丁·卡萨诺;卡洛斯·阿雷塞斯;巴勃罗·卡斯特罗 1 2018 基于布尔代数的道义逻辑。 Zbl 1351.03012号 巴勃罗·卡斯特罗。;彼得·库利基 1 2014 通过微积分表征对命题道义时态逻辑进行模型检验。 Zbl 1372.68162号 阿拉塞利·阿科斯塔;塞西莉亚·基尔默里;巴勃罗·卡斯特罗。;Nazareno M.阿吉雷。 1 2012 默认逻辑中的插值和Beth可定义性。 Zbl 1525.68160号 瓦伦丁·卡萨诺;劳尔·费尔瓦里;卡洛斯·阿雷塞斯;巴勃罗·卡斯特罗。 2 2019 测量掩蔽容错。 兹比尔1527.68140 巴勃罗·卡斯特罗。;D’佩德罗·阿吉尼奥(Pedro R.Argenio)。;拉米罗·德马西;卢西亚诺·普特鲁埃 2 2019 使用优先默认规则推理处方和描述。 Zbl 1415.68217号 瓦伦丁·卡萨诺;卡洛斯·阿雷塞斯;巴勃罗·卡斯特罗 1 2018 容错仿真关系。 Zbl 1377.68044号 拉米罗·德马西;巴勃罗·卡斯特罗。;托马斯·S·E·迈鲍姆。;纳扎雷诺·阿吉雷 1 2017 基于有限布尔代数的道义动作逻辑表系统及其复杂性。 Zbl 1364.03028号 巴勃罗·卡斯特罗。 1 2017 可追踪概率-表示概率时间逻辑的演算。 兹比尔1355.68173 巴勃罗·卡斯特罗;塞西莉亚·基尔默里;尼尔·皮特曼 4 2015 中结构化规范的分类基础。 Zbl 1385.68023号 巴勃罗·卡斯特罗。;纳扎雷诺·阿吉雷;卡洛斯·邦博。;迈鲍姆,T.S.E。 三 2015 基于布尔代数的道义逻辑。 Zbl 1351.03012号 巴勃罗·卡斯特罗。;彼得·库利基 1 2014 根据道义规范合成屏蔽容错系统。 Zbl 1410.68220号 拉米罗·德马西;巴勃罗·卡斯特罗。;托马斯·S·E·迈鲍姆。;纳扎雷诺·阿吉雷 1 2013 通过微积分表征对命题道义时态逻辑进行模型检验。 Zbl 1372.68162号 阿拉塞利·阿科斯塔;塞西莉亚·基尔默里;巴勃罗·卡斯特罗。;Nazareno M.阿吉雷。 1 2012 dCTL:用于容错系统验证的分支时间时序逻辑。 Zbl 1350.68181号 巴勃罗·卡斯特罗。;塞西莉亚·基尔默里;阿拉塞利·阿科斯塔;纳扎雷诺·阿吉雷 2 2011 在分类设置中管理软件系统的动态重新配置。 Zbl 1286.68070号 巴勃罗·卡斯特罗。;Nazareno M.阿吉雷。;洛佩斯·蓬博,卡洛斯·古斯塔沃;托马斯·S·E·迈鲍姆。 4 2010 用互模拟表征局部性(封装)。 Zbl 1286.68309号 巴勃罗·卡斯特罗。;汤姆·S·E·梅鲍姆。 1 2010 道义行动逻辑、原子布尔代数和容错。 Zbl 1193.03060号 巴勃罗·卡斯特罗。;迈鲍姆,T.S.E。 11 2009 用道义逻辑推理系统退化和故障恢复。 Zbl 1234.68038号 巴勃罗·卡斯特罗。;迈鲍姆,T.S.E。 三 2009 道义逻辑,与责任推理和容错相反。 Zbl 1294.03019号 巴勃罗·卡斯特罗。;迈鲍姆,T.S.E。 2 2009 道义动作逻辑表系统。 Zbl 1143.68595号 巴勃罗·卡斯特罗。;迈鲍姆,T.S.E。 三 2008 完整而紧凑的命题道义逻辑。 Zbl 1143.03343号 巴勃罗·卡斯特罗。;迈鲍姆,T.S.E。 7 2007 所有引用出版物 前5名被引用出版物 全部的 前5名51位作者引用 11 巴勃罗·卡斯特罗。 7 托马斯·斯蒂芬·爱德华·迈鲍姆 三 杰拉尔多·施奈德 2 Nazareno M.阿吉雷。 2 卡洛斯·阿雷塞斯 2 瓦伦特·卡萨诺 2 瓦伦蒂娜·卡斯蒂格利奥尼 2 劳尔·费尔瓦里 2 彼得·库利基 2 米歇尔·洛雷蒂 2 迭戈·马姆斯勒 2 尼尔·皮特曼 2 克里斯蒂安·普里萨卡里奥 2 西蒙·蒂尼 2 罗伯特·特吕普兹 1 阿拉塞利·阿科斯塔 1 劳拉·博奇 1 克劳迪娅·考利 1 克里希南德·查特吉 1 拉米罗·德马西 1 玛丽·法雷尔 1 法语,蒂姆 1 Dov M.加巴伊。 1 洛伊奇Gammaitoni 1 哈布托姆·卡西·吉迪 1 亚历山德罗·佐丹尼 1 马里奥·格雷舍尔 1 安德烈·戈林 1 马格尼·哈夫雷恩 1 纪尧姆·霍夫曼 1 萨拉·霍尔布鲁克 1 塞西莉亚·基尔默里 1 直纪小林 1 朱利安·兰格 1 约翰·克里斯托弗(John Christopher McCabe-Dansted) 1 Yo Mitani 1 罗莎玛丽·莫纳汉 1 帕维尔·G·瑙莫夫。 1 卡尔·尼格伦 1 戈登·佩斯。 1 马蒂奥·帕斯库奇 1 苏菲·平奇纳特 1 詹姆斯·F·鲍尔(James F.Power)。 1 弗洛里安·拉贝 1 罗马克里希南,C.R。 1 马克·亚历山大·雷诺兹 1 马库斯·罗根巴赫 1 纳维德·鲁克斯 1 孙欣 1 津田,武士 1 Voinea,A.劳拉 全部的 前5名11篇连载文章中引用 4 计算机科学中的逻辑方法 三 Studia Logica公司 2 计算的形式方面 2 应用逻辑杂志 1 符号逻辑杂志 1 合成 1 理论计算机科学 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 26 计算机科学(68至XX) 24 数学逻辑和基础(03-XX) 1 概率论与随机过程(60-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文