卡洛斯·卡莱罗
人员信息
优化列表
2020年–今天
2024 [j35] 卡洛斯·卡莱罗 , 塞尔吉奥·马塞利诺 :
组合逻辑的模块化多值语义。 J.塞姆。 日志。 89 ( 2 ) : 583-636 ( 2024 ) 2023 [第九章] 卡洛斯·卡莱罗 , 塞尔吉奥·马塞利诺 , 翁贝托·里维奇奥 :
关于结构蕴涵关系和非确定性语义的更多定理。 CoRR公司 abs/2310.02952 ( 2023 ) 2022 [公元34年] 雨果·阿伯克基 , 卡洛斯·卡莱罗 :
DA COSTA的逻辑{\mathscr{C}}_1及其一些协一致扩展的抽象代数逻辑研究。 牛市。 符号。 日志。 28 ( 4 ) : 477-528 ( 2022 ) [公元33年] 佩德罗·菲利佩 , 塞尔吉奥·马塞利诺 , 卡洛斯·卡莱罗 :
有限PN矩阵的计算性质。 J.日志。 计算。 32 ( 8 ) : 1694-1719 ( 2022 ) [公元32年] 若昂·萨乌德 , 吉尔赫梅·拉莫斯 , 卢多维科·博拉托 , 卡洛斯·卡莱罗 :
一种稳健的基于声誉的群体排名系统及其抗贿赂性。 ACM事务处理。 知道。 发现。 数据 16 ( 2 ) : 26:1-26:35 ( 2022 ) [公元36年] 塞尔吉奥·马塞利诺 , 卡洛斯·卡莱罗 , 佩德罗·菲利佩 :
部分不确定矩阵的计算性质及其逻辑。 LFCS公司 2022 : 180-197 [c35] 佩德罗·菲利佩 , 卡洛斯·卡莱罗 , 塞尔吉奥·马塞利诺 :
非确定性逻辑矩阵的单数性是不可判定的。 无核反应堆 2022 : 55-67 [i8] 卡洛斯·卡莱罗 , 塞尔吉奥·马塞利诺 :
组合逻辑的模块化多值语义。 CoRR公司 abs/2202.02189 ( 2022 ) 2021 [公元31年] 吉尔赫梅·拉莫斯 , 塞尔吉奥·佩基托 , 卡洛斯·卡莱罗 :
关于一类具有结构性质的布尔矩阵的收敛指数。 国际J.控制 94 ( 6 ) : 1475-1483 ( 2021 ) 【j30】 塞尔吉奥·马塞利诺 , 卡洛斯·卡莱罗 :
公理化非确定性多值广义结果关系。 合成。 198 ( 22-S系列 ) : 5373-5390 ( 2021 ) [公元29年] 卡罗琳娜·布拉西奥 , 卡洛斯·卡莱罗 , 乔·马科斯 :
什么是逻辑理论? 关于包含断言和否认的理论。 合成。 198 ( 22-S系列 ) : 5481-5504 ( 2021 ) 2020 [公元28年] 吉尔赫梅·拉莫斯 , 卢多维科·博拉托 , 卡洛斯·卡莱罗 :
推荐系统中社会影响的负面影响:协作混合算法中贿赂的研究。 信息处理。 管理。 57 ( 2 ) : 102058 ( 2020 ) [公元34年] 吉尔赫梅·拉莫斯 , 卡洛斯·卡莱罗 :
具有最佳时间复杂度的群推荐系统的一种新的相似性度量。 偏差 2020 : 95-109 [c33] 卡洛斯·卡莱罗 , 塞尔吉奥·马塞利诺 , 佩德罗·菲利佩 :
感染性语义和分析计算,用于更多的包含逻辑。 ISMVL公司 2020 : 224-229 [i7] 若昂·萨乌德 , 吉尔赫梅·拉莫斯 , 卢多维科·博拉托 , 卡洛斯·卡莱罗 :
一个稳健的基于声誉的集团排名系统及其对贿赂的抵制。 CoRR公司 abs/2004.06223 ( 2020 )
2010 – 2019
2019 [j27] 安德烈娅·莫迪多 , 卡洛斯·卡莱罗 :
方程和域限制上的概率逻辑。 数学。 结构。 计算。 科学。 29 ( 6 ) : 872-895 ( 2019 ) [公元26年] Regivan H.N.圣地亚哥 , 本杰明·R·C·贝德雷加 , 乔·马科斯 , 卡洛斯·卡莱罗 , 乔西瓦妮娅·皮涅罗 :
半BCI代数。 J.多值测井。 软计算。 32 ( 1-2 ) : 87-109 ( 2019 ) [j25] 卡洛斯·卡莱罗 , 塞尔吉奥·马塞利诺 , 乔·马科斯 :
结合经典逻辑片段:什么时候需要交互原则? 软计算。 23 ( 7 ) : 2213-2231 ( 2019 ) [公元24年] 卡洛斯·卡莱罗 , 菲利佩·卡萨尔 , 安德烈娅·莫迪多 :
广义概率可满足性和应用于建模具有副通道功能的攻击者。 西奥。 计算。 科学。 781 : 39-62 ( 2019 ) [公元32年] 卡洛斯·卡莱罗 , 塞尔吉奥·马塞利诺 :
一元PN矩阵的分析演算。 WoLLIC公司 2019 : 84-98 2018 [公元23年] 卡洛斯·卡莱罗 , 塞尔吉奥·马塞利诺 , 翁贝托·里维奇奥 :
具有有限价值的特征。 模糊集系统。 345 : 113-125 ( 2018 ) [公元31年] 吉尔赫梅·拉莫斯 , 塞尔吉奥·佩基托 , 卡洛斯·卡莱罗 :
切换线性连续系统的鲁棒最小能控性问题。 行政协调会 2018 : 210-215 [i6] Regivan H.N.圣地亚哥 , 本杰明·R·C·贝德雷加 , 乔·马科斯 , 卡洛斯·卡莱罗 , 乔西瓦尼娅·皮涅罗 :
半BCI代数。 CoRR公司 abs/1803.04808 ( 2018 ) [i5] 卡洛斯·卡莱罗 , 塞尔吉奥·马塞利诺 , 乔·马科斯 :
结合经典逻辑片段:什么时候需要交互原则? CoRR公司 abs/1810.05879 ( 2018 ) 2017 [公元22年] 塞尔吉奥·马塞利诺 , 卡洛斯·卡莱罗 :
关于fibred逻辑的特征,以及保守性和有限值的应用。 J.日志。 计算。 27 ( 7 ) : 2063-2088 ( 2017 ) [公元21年] 卡洛斯·卡莱罗 , 卢卡·维甘 :
逻辑中的构成意义。 泛逻辑 11 ( 三 ) : 283-295 ( 2017 ) [公元30年] 卡洛斯·卡莱罗 , 塞尔吉奥·马塞利诺 , 乔·马科斯 :
合并经典逻辑片段。 FroCoS公司 2017 : 298-315 [公元29年] 若昂·萨乌德 , 吉尔赫梅·拉莫斯 , 卡洛斯·卡莱罗 , Soumya卡尔 :
基于声誉的排名系统及其对贿赂的抵制。 ICDM公司 2017 : 1063-1068 [公元28年] 卡洛斯·卡莱罗 , 菲利佩·卡萨尔 , 安德烈娅·莫迪多 :
经典广义概率可满足性。 国际JCAI 2017 : 908-914 [公元27年] 塞尔吉奥·马塞利诺 , 卡洛斯·卡莱罗 :
非确定矩阵的不相交纤维。 WoLLIC公司 2017 : 242-255 [i4] 若昂·萨乌德 , 吉尔赫梅·拉莫斯 , 卡洛斯·卡莱罗 , Soumya卡尔 :
在多方评级网络上进行基于声誉的稳健排名。 CoRR公司 abs/1705.00947 ( 2017 ) [i3] 卡洛斯·卡莱罗 , 塞尔吉奥·马塞利诺 , 乔·马科斯 :
合并经典逻辑的碎片。 CoRR公司 abs/1706.08689 ( 2017 ) [i2] 吉尔赫梅·拉莫斯 , 若昂·萨乌德 , 卡洛斯·卡莱罗 , Soumya卡尔 :
使用Kolmogorov复杂性通过矩阵完成推荐。 CoRR公司 abs/1707.06055 ( 2017 ) 2016 [公元20年] 塞尔吉奥·马塞利诺 , 卡洛斯·卡莱罗 :
没有共享连接词的虚逻辑的可判定性和复杂性。 日志。 J.IGPL公司 24 ( 5 ) : 673-707 ( 2016 ) [公元26年] 卡洛斯·卡莱罗 , 菲利佩·卡萨尔 , 安德烈娅·莫迪多 :
广义概率可满足性。 LSFA公司 2016 : 39-56 2015 [公元19年] 卡洛斯·卡莱罗 , 乔·马科斯 , 马尔科·沃尔佩 :
有限值逻辑的二价语义、广义组合性和分析类经典表。 西奥。 计算。 科学。 603 : 84-110 ( 2015 ) [公元25年] 安德烈娅·莫迪多 , 卡洛斯·卡莱罗 :
基于等式的经典逻辑。 WoLLIC公司 2015 : 38-52 2014 [i1] 卡洛斯·卡莱罗 , 乔·马科斯 , 马尔科·沃尔佩 :
有限值逻辑的二价语义、广义组合性和分析类经典表。 CoRR公司 abs/1408.3775 ( 2014 ) 2013 [公元18年] 卡洛斯·卡莱罗 , 卢卡·维甘 , 马尔科·沃尔佩 :
关于多维模态逻辑的镶嵌方法:结合时态和模态算子的案例研究。 泛逻辑 7 ( 1 ) : 33-69 ( 2013 ) [公元17年] 卡洛斯·卡莱罗 , 里卡多·贡萨尔维斯 :
抽象估价语义。 Stud Logica公司 101 ( 4 ) : 677-712 ( 2013 ) [公元24年] 布鲁诺海参 , 大卫·A·巴思 , 卡洛斯·卡莱罗 :
离线猜测的符号概率分析。 ESORICS公司 2013 : 363-380 【c23】 卡洛斯·卡莱罗 , 卢卡·维甘 , 马尔科·沃尔佩 :
逻辑UB的标记演绎系统。 时间 2013 : 45-53 2012 [公元16年] 卡洛斯·卡莱罗 , 乔·马科斯 :
多值性遭遇二重性:有效使用逻辑值。 J.多值测井。 软计算。 19 ( 1-3 ) : 51-70 ( 2012 ) [公元22年] 马尔科·沃尔佩 , 乔·马科斯 , 卡洛斯·卡莱罗 :
有限值逻辑的经典类割Tableau系统。 WoLLIC公司 2012 : 321-335 2011 [公元15年] 卡洛斯·卡莱罗 , 里卡多·贡萨尔维斯 :
走向逻辑估值的行为代数理论。 芬丹。 信息学 106 ( 2-4 ) : 191-209 ( 2011 ) [公元14年] 卡洛斯·卡莱罗 , 保拉·古韦亚 , 詹姆·拉莫斯 :
层次逻辑结果。 日志。 J.IGPL公司 19 ( 4 ) : 544-565 ( 2011 ) [j13] 大卫·A·巴思 , 卡洛斯·卡莱罗 , 詹姆·拉莫斯 , 卢卡·维甘 :
用于分析安全协议模型的分布式时间逻辑。 西奥。 计算。 科学。 412 ( 31 ) : 4007-4043 ( 2011 ) 【c21】 布鲁诺海参 , 大卫·A·巴思 , 卡洛斯·卡莱罗 :
FAST:演绎和静态等效的有效决策程序。 区域贸易协定 2011 : 11-20 2010 [公元20年] 布鲁诺海参 , 大卫·A·巴思 , 卡洛斯·卡莱罗 :
消息可演绎性和静态等效性的高效决策程序。 安全和信任的形式方面 2010 : 34-49 [第19条] 卡洛斯·卡莱罗 , 乔·马科斯 :
两个多值:Suszko论文的算法观。 ISMVL公司 2010 : 93-97
2000 – 2009
2009 [公元12年] 卡洛斯·卡莱罗 , 里卡多·贡萨尔维斯 :
达科斯塔C系统的行为代数化。 J.应用。 非班级。 逻辑 19 ( 2 ) : 127-148 ( 2009 ) [公元11年] 大卫·A·巴思 , 卡洛斯·卡莱罗 , 詹姆·拉莫斯 , 卢卡·维甘 :
分布式时序逻辑的标签表。 J.日志。 计算。 19 ( 6 ) : 1245-1279 ( 2009 ) [公元10年] 卡洛斯·卡莱罗 , 里卡多·贡萨尔维斯 , 曼纽尔·马丁斯 :
逻辑的行为代数化。 Stud Logica公司 91 ( 1 ) : 63-111 ( 2009 ) [第18条] 卡洛斯·卡莱罗 , 里卡多·贡萨尔维斯 :
作为行为逻辑矩阵的代数估值。 WoLLIC公司 2009 : 13-25 [c17] 卡洛斯·卡莱罗 , 乔·马科斯 :
有限值逻辑的类经典分析表。 WoLLIC公司 2009 : 268-280 [第16条] 布鲁诺·蒙塔托 , 卡洛斯·卡莱罗 :
对具有密码分析功能的攻击者进行建模和推理。 QAPL公司 2009 : 143-165 2008 [第15条] 大卫·A·巴思 , 卡洛斯·卡莱罗 , 杰米·拉莫斯 , 卢卡·维甘奥 :
分布式时序逻辑DTL的标签表辅助系统。 时间 2008 : 101-109 2007 [公元9年] 卡洛斯·卡莱罗 , 詹姆·拉莫斯 :
从纤维到隐纤维。坍塌问题的解决方案。 泛逻辑 1 ( 1 ) : 71-92 ( 2007 ) [第14条] 卡洛斯·卡莱罗 , 詹姆·拉莫斯 :
结合经典和直觉的含义。 FroCoS公司 2007 : 118-132 2006 [j8] 卡洛斯·卡莱罗 , 卢卡·维甘奥 , 大卫·A·巴思 :
关于安全协议的Alice&Bob规范的语义。 西奥。 计算。 科学。 367 ( 1-2 ) : 88-122 ( 2006 ) [第13条] 卡洛斯·卡莱罗 , 保罗·马特乌斯 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 :
量子机构。 献给约瑟夫·戈根的散文 2006 : 50-64 [第12条] 卡洛斯·卡莱罗 , 里卡多·贡萨尔维斯 :
关于多排序逻辑的代数化。 WADT(瓦特) 2006 : 21-36 2005 [j7] 卡洛斯·卡莱罗 , 卢卡·维甘 , 大卫·A·巴思 :
用于安全协议分析的关联串空间和分布式时序逻辑。 日志。 J.IGPL公司 13 ( 6 ) : 637-663 ( 2005 ) [第11条] 卡洛斯·卡莱罗 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 :
纤维逻辑:过去、现在和未来。 我们将向他们展示! (1) 2005 : 363-388 [第10条] 卡洛斯·卡莱罗 , 卢卡·维甘 , 大卫·A·巴思 :
解构爱丽丝和鲍伯。 ARSPA@ICALP 2005 : 3-22 2004 【c9】 卡洛斯·卡莱罗 , 詹姆·拉莫斯 :
工作中的密码术。 WADT(瓦特) 2004 : 45-60 【c8】 卡洛斯·卡莱罗 , 卢卡·维甘 , 大卫·A·巴思 :
使用分布式时态逻辑的安全协议元推理。 ARSPA@IJCAR公司 2004 : 67-89 2003 [j6] 卡洛斯·卡莱罗 , 沃尔特·亚历山大·卡尼埃利 , 马塞洛·科尼格里奥 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 :
纤维非真实功能逻辑:完整性保存。 J.日志。 语言信息。 12 ( 2 ) : 183-211 ( 2003 ) 2002 【c7】 卡洛斯·卡莱罗 , 保拉·古韦亚 , 詹姆·拉莫斯 :
纤维羊皮纸的完整性结果:超出命题基础。 WADT(瓦特) 2002 : 185-200 2001 【c6】 卡洛斯·卡莱罗 , 保罗·马特乌斯 , 詹姆·拉莫斯 , Amílcar Sernadas公司 :
组合逻辑:重新审视羊皮纸。 WADT(瓦特) 2001 : 48-70 2000 [j5] 汉斯·迪特尔·埃里希 , 卡洛斯·卡莱罗 :
指定分布式信息系统中的通信。 信息学报 36 ( 8 ) : 591-616 ( 2000 )
1990 – 1999
1999 【j4】 Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 , 卡洛斯·卡莱罗 :
逻辑纤维作为一种范畴结构。 J.日志。 计算。 9 ( 2 ) : 149-179 ( 1999 ) 1998 [j3] Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 , 卡洛斯·卡莱罗 :
对象规范的表示语义。 信息学报 35 ( 9 ) : 729-773 ( 1998 ) 【c5】 汉斯·迪特·埃里奇 , 卡洛斯·卡莱罗 , Amílcar Sernadas公司 , 格利特·丹克尔 :
指定并发信息系统的逻辑。 数据库和信息系统逻辑 1998 : 167-198 【c4】 Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 , 卡洛斯·卡莱罗 , 蒂尔·莫萨科夫斯基 :
带有术语和约束算子的逻辑分类纤维化。 FroCoS公司 1998 : 295-316 【c3】 卡洛斯·卡莱罗 , 克里斯蒂娜·塞尔纳达斯 , Amílcar Sernadas公司 :
逻辑参数化。 WADT(瓦特) 1998 : 48-62 1997 [注2] Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 , 卡洛斯·卡莱罗 :
逻辑同步。 Stud Logica公司 59 ( 1 ) : 217-247 ( 1997 ) 【c2】 格利特·丹克尔 , 詹姆·拉莫斯 , 卡洛斯·卡莱罗 , Amílcar Sernadas公司 :
具有事务的对象的线性时序逻辑方法。 AMAST公司 1997 : 170-184 【c1】 Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 , 卡洛斯·卡莱罗 :
逻辑与混合规则的同步:完整性保持。 AMAST公司 1997 : 465-478 1996 [j1] 卡洛斯·卡莱罗 , 冈特·萨克 , Amílcar Sernadas公司 :
从时序逻辑规范中推导生命目标。 J.塞姆。 计算。 22 ( 5/6 ) : 521-553 ( 1996 )