圣地亚哥·菲格雷拉
人员信息
优化列表
2020年–今天
2024 [第九章] 维罗尼卡·贝彻 , 奥利维尔纸箱 , 圣地亚哥·菲格雷拉 :
Rauzy维数和有限状态维数。 CoRR公司 abs/2406.18383 ( 2024 ) 2023 [公元22年] 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 , Edwin Pin Baque公司 :
甾体类药物的PDL:PDL的表达性延伸与交叉和反转。 低收入国家 2023 : 1-13 [i8] 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 , Edwin Pin Baque公司 :
甾体类药物的PDL:PDL的表达性延伸与交叉和反转。 CoRR公司 abs/2304.10381 ( 2023 ) [i7] 圣地亚哥·菲格雷拉 , 加布里埃尔·戈伦·罗格 :
路径上具有n元关系的模态逻辑:共鸣语义和表达性。 CoRR公司 腹肌/2307.09679 ( 2023 ) 2021 [公元26年] 塞缪尔·普兰顿 , Timo van Kerkoerle先生 , 勒伊拉·阿比赫 , 马克西姆·马赫 , 弗洛伦特·梅尼埃尔 , 玛丽亚诺·西格曼 , 王丽萍 , 圣地亚哥·菲格雷拉 , 塞尔吉奥·罗曼诺 , 德阿纳 :
二进制序列的记忆理论:人类心理压缩算法的证据。 公共科学图书馆计算。 生物。 17 ( 1 ) ( 2021 ) 2020 【c21】 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 , 埃德温·平·巴克 :
CRPQ本体中介问答的有限可控性。 韩国 2020 : 381-391
2010 – 2019
2019 [公元25年] 王丽萍 , 玛丽·阿马尔里克 , 文芳 , 新疆 , 克里斯托夫·帕利尔 , 圣地亚哥·菲格雷拉 , 玛丽亚诺·西格曼 , 德阿纳 :
在人类前额叶皮层中使用嵌套规则表示空间序列。 神经影像 186 : 245-255 ( 2019 ) [公元20年] 玛丽亚·艾米丽亚·戴斯科特 , 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 :
同步关系的闭包属性。 STACS公司 2019 : 22:1-22:17 2018 [公元24年] 塞尔吉奥·阿布里奥拉 , 巴勃罗·巴塞洛 , 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 :
数据图上的互模拟。 J.阿蒂夫。 智力。 物件。 61 : 171-213 ( 2018 ) [公元23年] 劳伦特·宾文努(Laurent Bienvenu) , 圣地亚哥·菲格雷拉 , 贝诺伊特·莫宁 , 亚历山大·沈 :
概率的算法识别是困难的。 J.计算。 系统。 科学。 95 : 98-108 ( 2018 ) [i6] 巴勃罗·塔诺 , 塞尔吉奥·罗曼诺 , 玛丽亚诺·西格曼 , 阿莱霍·萨尔斯 , 圣地亚哥·菲格雷拉 :
学习是编译:经验通过在思想语言中结合原始语言来塑造概念学习。 CoRR公司 abs/1805.06924 ( 2018 ) 2017 [公元22年] 塞尔吉奥·阿布里奥拉 , 玛丽亚·艾米丽亚·戴斯科特 , 圣地亚哥·菲格雷拉 :
数据树上XPath的模型理论。 第二部分:二进制互模拟和可定义性。 Inf.计算。 255 : 195-223 ( 2017 ) [公元21年] 塞尔吉奥·阿布里奥拉 , 玛丽亚·艾米丽亚·戴斯科特 , 劳尔·费尔瓦里 , 圣地亚哥·菲格雷拉 :
数据树上向下XPath的公理化。 J.计算。 系统。 科学。 89 : 209-245 ( 2017 ) [j20] 玛丽·阿马尔里克 , 王丽萍 , 皮尔·皮卡 , 圣地亚哥·菲格雷拉 , 玛丽亚诺·西格曼 , 德阿纳 :
几何学语言:成年人和学龄前儿童对几何图元和规则的快速理解。 公共科学图书馆计算。 生物。 13 ( 1 ) ( 2017 ) [第19条] 塞尔吉奥·阿布里奥拉 , 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 :
数据树和分支计数器系统上重复值的逻辑。 FoSSaCS公司 2017 : 196-212 2016 [第18条] 塞尔吉奥·阿布里奥拉 , 巴勃罗·巴塞洛 , 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 :
数据图上的互模拟。 韩国 2016 : 309-318 [i5] 塞尔吉奥·阿布里奥拉 , 玛丽亚·艾米丽亚·戴斯科特 , 劳尔·费尔瓦里 , 圣地亚哥·菲格雷拉 :
数据树上向下XPath的公理化。 CoRR公司 腹肌/1605.04271 ( 2016 ) 2015 [公元19年] 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 , 卡洛斯·阿雷塞斯 :
数据树上XPath的模型理论。 第一部分:互模拟与表征。 J.阿蒂夫。 智力。 物件。 53 : 271-314 ( 2015 ) [公元18年] 哈维尔·伊格纳西奥·阿尔马扎 , 圣地亚哥·菲格雷拉 :
非整数基的正态性和多项式时间随机性。 J.计算。 系统。 科学。 81 ( 7 ) : 1059-1087 ( 2015 ) [公元17年] 圣地亚哥·菲格雷拉 , 丹尼斯·赫施费尔特 , 约瑟夫·米勒 , Keng Meng Ng公司 , 安德烈·尼斯 :
计算随机Δ20组的变化。 J.日志。 计算。 25 ( 4 ) : 1073-1089 ( 2015 ) [公元16年] 圣地亚哥·菲格雷拉 , 安德烈·尼斯 :
可行性分析、随机性和基数不变性。 理论计算。 系统。 56 ( 三 ) : 439-464 ( 2015 ) [公元15年] 塞尔吉奥·阿布里奥拉 , 圣地亚哥·菲格雷拉 , 加布里埃尔·塞诺 :
线性化好拟阶和限定坏序列的长度。 西奥。 计算。 科学。 603 : 3-22 ( 2015 ) [c17] 塞尔吉奥·阿布里奥拉 , 玛丽亚·艾米丽亚·戴斯科特 , 圣地亚哥·菲格雷拉 :
数据树上XPath的饱和、可定义和分离。 AMW公司 2015 2014 [公元14年] 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 , 拉斐尔·格林森 :
独立友好逻辑是一种二阶逻辑,具有弱依赖性,通过平坦化进行经典否定。 J.计算。 系统。 科学。 80 ( 6 ) : 1102-1118 ( 2014 ) [j13] 卡洛斯·阿雷塞斯 , 法昆多·卡雷罗 , 圣地亚哥·菲格雷拉 :
通过饱和模型进行表征、可定义和分离。 西奥。 计算。 科学。 537 : 72-86 ( 2014 ) [第16条] 塞尔吉奥·阿布里奥拉 , 圣地亚哥·菲格雷拉 :
关于次环序的序型和ω的一些代数性质的一个注记 2 -良好的准阶。 CLEI公司 2014 : 1-9 [第15条] 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 , 卡洛斯·阿雷塞斯 :
数据树上XPath的基本模型理论。 ICDT公司 2014 : 50-60 [第14条] 塞尔吉奥·阿布里奥拉 , 玛丽亚·艾米丽亚·戴斯科特 , 圣地亚哥·菲格雷拉 :
数据树上向下和垂直XPath的可定义性。 沃尔利克 2014 : 20-35 [i4] 哈维尔·伊格纳西奥·阿尔马扎 , 圣地亚哥·菲格雷拉 :
非整数基的正态性和多项式时间随机性。 CoRR公司 abs/1410.8594 ( 2014 ) 2013 [i3] 塞尔吉奥·罗曼诺 , 玛丽亚诺·西格曼 , 圣地亚哥·菲格雷拉 :
LT^2C^2:一种具有图灵计算Kolmogorov复杂性的思维语言。 CoRR公司 abs/1303.0875 ( 2013 ) 2012 [公元12年] 卡洛斯·阿雷塞斯 , 圣地亚哥·菲格雷拉 , 塞尔吉奥·梅拉 :
内存逻辑的完整性结果。 Ann.纯粹应用。 日志。 163 ( 7 ) : 961-972 ( 2012 ) [第13条] 塞尔吉奥·阿布里奥拉 , 圣地亚哥·菲格雷拉 , 加布里埃尔·森诺 :
线性化坏序列:乘积的上界和主优拟序。 沃尔利克 2012 : 110-126 2011 [公元11年] 卡洛斯·阿雷塞斯 , 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 , 塞尔吉奥·梅拉 :
记忆逻辑的表达能力。 版本符号。 日志。 4 ( 2 ) : 290-318 ( 2011 ) [第12条] 卡洛斯·阿雷塞斯 , 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 :
在引用表达式的生成中使用逻辑。 拉丁美洲和加勒比海 2011 : 17-32 [第11条] 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 , 西尔万·施密茨 , 菲利普·施诺贝伦 :
Dickson引理的Ackermannian和原始递归界。 低收入国家 2011 : 269-278 [第10条] 卡洛斯·阿雷塞斯 , 法昆多·卡雷罗 , 圣地亚哥·菲格雷拉 , 塞尔吉奥·梅拉 :
记忆逻辑的基本模型理论。 沃尔利克 2011 : 20-34 【c9】 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 , 拉斐尔·格林森 :
论IF-Logic与经典否定的表达力。 沃尔利克 2011 : 135-145 2010 [公元10年] 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 , 拉斐尔·格林森 :
类IF逻辑的形式语义。 J.计算。 系统。 科学。 76 ( 5 ) : 333-346 ( 2010 ) 【c8】 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 :
关于最短模态描述的大小。 模态逻辑的进展 2010 : 120-139 【c7】 圣地亚哥·菲格雷拉 , 丹尼斯·赫施费尔特 , 约瑟夫·米勒 , Keng Meng Ng公司 , 安德烈·尼斯 :
计算随机D的变化 0 2 集合。 CiE公司 2010 : 162-171 [i2] 卡洛斯·阿雷塞斯 , 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 :
指称表达生成中的表达问题。 CoRR公司 abs/1006.4621 ( 2010 ) [i1] 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 , 西尔万·施密茨 , 菲利普·施诺贝伦 :
Ackermann与Dickson引理的基本递归界。 CoRR公司 abs/1007.2989 ( 2010 )
2000 – 2009
2009 [公元9年] 圣地亚哥·菲格雷拉 , 约瑟夫·米勒 , 安德烈·尼斯 :
无动于衷。 J.日志。 计算。 19 ( 2 ) : 425-443 ( 2009 ) 【c6】 卡洛斯·阿雷塞斯 , 圣地亚哥·菲格雷拉 , 塞尔吉奥·梅拉 :
内存逻辑的完整性结果。 LFCS公司 2009 : 16-30 2008 [j8] 圣地亚哥·菲格雷拉 , 安德烈·尼斯 , 弗兰克·斯蒂芬 :
跳跃的低级属性和近似值。 Ann.纯粹应用。 日志。 152 ( 1-3 ) : 51-66 ( 2008 ) [j7] Benjamín RenéCallejas Bedregal先生 , 圣地亚哥·菲格雷拉 :
关于模糊图灵机的计算能力。 模糊集系统。 159 ( 9 ) : 1072-1083 ( 2008 ) 【c5】 卡洛斯·阿雷塞斯 , 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 , 塞尔吉奥·梅拉 :
记忆逻辑的表达能力和决定能力。 沃尔利克 2008 : 56-68 【c4】 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 , 拉斐尔·格林森 :
类IF逻辑的形式语义。 沃尔利克 2008 : 164-178 2007 [j6] 维罗尼卡·贝彻 , 圣地亚哥·菲格雷拉 , 拉斐尔·皮奇 :
图灵正态数的未发表算法。 西奥。 计算。 科学。 377 ( 1-3 ) : 126-138 ( 2007 ) 2006 [j5] 圣地亚哥·菲格雷拉 , 弗兰克·斯蒂芬 , 吴国华 :
随机性和通用机器。 J.复杂。 22 ( 6 ) : 738-751 ( 2006 ) [j4] 维罗尼卡·贝彻 , 圣地亚哥·菲格雷拉 , 谢尔盖·格里戈里夫 , 约瑟夫·米勒 :
随机性和停止概率。 J.塞姆。 日志。 71 ( 4 ) : 1411-1430 ( 2006 ) 【c3】 Benjamín RenéCallejas Bedregal(贝德雷加) , 圣地亚哥·菲格雷拉 :
经典可计算性和模糊图灵机。 拉丁语 2006 : 154-165 2005 [j3] 维罗尼卡·贝彻 , 圣地亚哥·菲格雷拉 :
可能无限计算的Kolmogorov复杂性。 J.日志。 语言信息。 14 ( 2 ) : 133-148 ( 2005 ) [注2] 维罗尼卡·贝彻 , 圣地亚哥·菲格雷拉 , 安德烈·尼斯 , 西尔瓦娜·皮奇 :
可能无限计算的程序大小复杂性。 圣母院J.正式日志。 46 ( 1 ) : 51-64 ( 2005 ) [c2] 圣地亚哥·菲格雷拉 , 弗兰克·斯蒂芬 , 吴国华 :
随机性和通用机器。 CCA公司 2005 : 103-116 【c1】 圣地亚哥·菲格雷拉 , 安德烈·尼斯 , 弗兰克·斯蒂芬 :
跳跃的低阶特性和近似值。 沃尔利克 2005 : 45-57 2002 [j1] 维罗尼卡·贝彻 , 圣地亚哥·菲格雷拉 :
一个可计算的绝对正态数的例子。 西奥。 计算。 科学。 270 ( 1-2 ) : 947-958 ( 2002 )