里卡多·佩尼亚·玛丽亚
人员信息
优化列表
2020年–今天
2023 
[c54] 里卡多·佩尼亚 
, 杰米·桑切斯·埃尔南德斯 , 米盖尔·加里多 , 哈维尔·萨格雷多 :
复杂规范程序的基于SMT的测试用例生成和验证。 声明式编程和智能系统的分析、验证和转换 2023 : 188-205 2020 [公元12年] 里卡多·佩尼亚 :
使用Dafny对红黑树的断言证明。 J.自动化。 原因。 64 ( 4 ) : 767-791 ( 2020 ) [j11] 曼努埃尔黑山 , 苏珊娜·尼娃 , 里卡多·佩尼亚 , 克拉拉·塞古拉 :
将液体类型扩展到阵列。 ACM事务处理。 计算。 日志。 21 ( 2 ) : 13:1-13:41 ( 2020 ) [公元53年] 里卡多·佩尼亚 , 杰米·桑切斯·埃尔南德斯 :
递归程序中的白盒路径生成。 全要素生产率 2020 : 121-135
2010 – 2019
2017 [第52条] 曼努埃尔黑山 , 苏珊娜·尼娃 , 里卡多·佩尼亚 , 克拉拉·塞古拉 :
阵列不变量合成的液体类型。 ATVA公司 2017 : 289-306 2016 [第51条] 里卡多·佩尼亚 :
Liquid Haskell简介。 PROLE公司 2016 : 68-80 2015 [j10] 汉斯·沃夫冈·洛伊德 , 里卡多·佩尼亚 :
2011/12功能编程专题趋势编辑。 计算。 语言系统。 结构。 44 : 141-142 ( 2015 ) [公元9年] 曼努埃尔黑山 , 里卡多·佩尼亚 , 克拉拉·塞古拉 :
函数语言中使用正则语言的形状分析。 科学。 计算。 程序。 111 : 51-78 ( 2015 ) [j8] 曼努埃尔黑山 , 里卡多·佩尼亚 , 克拉拉·塞古拉 :
抽象解释的空间消耗分析：递归函数的推断。 科学。 计算。 程序。 111 : 426-457 ( 2015 ) [j7] 曼努埃尔黑山 , 里卡多·佩尼亚 , 克拉拉·塞古拉 :
通过抽象解释进行的空间消耗分析：还原性属性。 科学。 计算。 程序。 111 : 458-482 ( 2015 ) [公元50年] 曼努埃尔黑山 , 里卡多·佩尼亚 , 杰米·桑切斯·埃尔南德斯 :
用于验证条件生成的通用中间表示。 洛普斯特 2015 : 227-243 2014 [j6] 曼努埃尔黑山 , 里卡多·佩尼亚 , 克拉拉·塞古拉 :
安全的资源语义和抽象机器：一种具有区域和显式释放的函数语言。 Inf.计算。 235 : 3-35 ( 2014 ) [电子10] 乌戈·达尔·拉戈 , 里卡多·佩尼亚 :
资源分析的基础和实际方面——第三次国际研讨会，2013年8月29日至31日，意大利贝蒂诺罗，FOPARA 2013，修订论文集。 计算机科学课堂讲稿 8552, 施普林格 2014 ，国际标准图书编号 978-3-319-12465-0 [目录] [电子9] 戈帕尔·古普塔 , 里卡多·佩尼亚 :
基于逻辑的程序合成与转换，第23届国际研讨会，2013年LOPSTR，西班牙马德里，2013年9月18-19日，修订论文集。 计算机科学课堂讲稿 8901, 施普林格 2014 ，国际标准图书编号 978-3-319-14124-4 [目录] 2013 [公元49年] 曼努埃尔黑山 , 里卡多·佩尼亚 , 克拉拉·塞古拉 :
函数语言中使用正则语言的形状分析。 PPDP（PPDP） 2013 : 251-262 [电子8] 里卡多·佩尼亚 , 汤姆·施里杰弗斯 :
2013年9月16日至18日，第15届声明性编程原则与实践国际研讨会，2013年PPDP，西班牙马德里。 ACM公司 2013 ，国际标准图书编号 978-1-4503-2154-9 [目录] [e7] 汉斯·沃夫冈·洛伊德 , 里卡多·佩尼亚 :
功能编程趋势——第13届国际研讨会，2012年TFP，英国圣安德鲁斯，2012年6月12-14日，修订论文集。 计算机科学课堂讲稿 7829, 施普林格 2013 ，国际标准图书编号 978-3-642-40446-7 [目录] 2012 [电子6] 里卡多·佩尼亚 , 马可·C·J·D·范·埃克伦 , 奥哈·什卡拉夫斯卡 :
2011年5月19日，西班牙马德里，第二届国际研讨会，《资源分析的基础和实践方面》。 计算机科学课堂讲稿 7177, 施普林格 2012 ，国际标准图书编号 978-3-642-32494-9 [目录] [电子5] 里卡多·佩尼亚 , 雷克斯·L·佩奇 :
《函数编程趋势》，第12届国际研讨会，2011年TFP，西班牙马德里，2011年5月16日至18日，修订论文集。 计算机科学课堂讲稿 7193, 施普林格 2012 ，国际标准图书编号 978-3-642-32036-1 [目录] 2011 [公元48年] 亚历山大·泽姆利亚克 , 里卡多·佩尼亚 , 爱德华多·里奥斯 , 费尔南多·雷耶斯·科尔特斯 :
系统设计的第二级广义优化方法。 CONIELECOMP公司 2011 : 22-27 [公元47年] 哈维尔·德迪奥斯 , 里卡多·佩尼亚 :
安全多项式记忆界限的认证。 FM公司 2011 : 184-199 [公元46年] 曼努埃尔黑山 , 奥哈·什卡拉夫斯卡 , 马可·C·J·D·范·埃克伦 , 里卡多·佩尼亚 :
用于改进递归解算器的基于插值的高度分析。 FOPARA公司 2011 : 36-53 [公元45年] 里卡多·佩尼亚 , 阿古斯汀·德尔加多·穆尼奥斯 :
函数语言中的大小不变量和排序函数合成。 世界粮食计划署 2011 : 52-67 2010 [公元44年] 哈维尔·德迪奥斯 , 曼努埃尔黑山 , 里卡多·佩尼亚 :
已证明在具有显式释放的语言中不存在悬空指针。 国际单项体育联合会 2010 : 305-319 [电子4] 曼努埃尔·卡罗 , 里卡多·佩尼亚 :
2010年1月18日至19日，西班牙马德里，PADL 2010，第十二届国际研讨会，《声明性语言的实用性》。 诉讼程序。 计算机科学课堂讲稿 5937, 施普林格 2010 ，国际标准图书编号 978-3-642-11502-8 [目录]
2000 – 2009
2009 [j5] 阿尔贝托·德拉·恩西纳 , 里卡多·佩尼亚·玛丽亚 :
从自然语义到C：两个STG机器的形式化派生。 J.功能。 程序。 19 ( 1 ) : 47-94 ( 2009 ) [公元43年] 哈维尔·德迪奥斯 , 里卡多·佩尼亚·玛丽亚 :
Java虚拟机之上的认证实现。 飞行管理信息系统 2009 : 181-196 [公元42年] 曼努埃尔黑山 , 里卡多·佩尼亚 , 克拉拉·塞古拉 :
抽象解释的空间消耗分析。 FOPARA公司 2009 : 34-50 [c41] 哈维尔·德迪奥斯 , 里卡多·佩尼亚·玛丽亚 :
资源软件语言实现的正式认证。 TPHOL公司 2009 : 196-211 [公元40年] 曼努埃尔黑山 , 里卡多·佩尼亚·玛丽亚 , 克拉拉·塞古拉 :
一阶函数语言的简单区域推理算法。 世界粮食计划署 2009 : 145-161 [公元39年] 帕基·卢西奥 , 吉纳斯·莫雷诺 , 里卡多·佩尼亚 :
前言。 PROLE公司 2009 : 1-2 [电子3] 帕基·卢西奥 , 吉纳斯·莫雷诺 , 里卡多·佩尼亚 :
2009年9月9日至11日，西班牙圣塞巴斯蒂安，第九届西班牙编程和语言会议记录，PROLE 2009。 理论计算机科学电子笔记 258(1), 爱思维尔 2009 [目录] 2008 [公元38年] 曼努埃尔黑山 , 里卡多·佩尼亚·玛丽亚 , 克拉拉·塞古拉 :
一种保证安全销毁的推理算法。 洛普斯特 2008 : 135-151 [公元37年] 曼努埃尔黑山 , 里卡多·佩纳 , 克拉拉·塞古拉 :
一种用于安全内存管理的类型系统及其正确性证明。 PPDP（PPDP） 2008 : 152-162 [公元36年] 曼努埃尔黑山 , 里卡多·佩尼亚·玛丽亚 , 克拉拉·塞古拉 :
具有显式去分配功能语言的资源软件语义和抽象机。 世界粮食计划署 2008 : 167-182 2006 [公元35年] 里卡多·佩尼亚·玛丽亚 , 克拉拉·塞古拉 , 曼努埃尔黑山 :
SAFE的共享分析。 函数式编程趋势 2006 : 109-128 2005 【j4】 里卡多·佩尼亚·玛丽亚 , 克拉拉·塞古拉 :
并行函数语言中的非确定性分析。 J.功能。 程序。 15 ( 1 ) : 67-100 ( 2005 ) [j3] Rita Loogen公司 , 尤兰达·奥尔特加购物中心 , 里卡多·佩尼亚·玛丽亚 :
Eden中的并行函数编程。 J.功能。 程序。 15 ( 三 ) : 431-475 ( 2005 ) [公元34年] 里卡多·佩尼亚·玛丽亚 , 克拉拉·塞古拉 :
《伊甸园骷髅推理》。 PARCO公司 2005 : 851-858 2004 [电子2] 菲利普·特林德 , 格雷格·迈克尔森 , 里卡多·佩纳 :
《函数语言的实现》，第15届国际研讨会，IFL 2003，英国爱丁堡，2003年9月8日至11日，修订论文。 计算机科学课堂讲稿 3145, 施普林格 2004 ，国际标准图书编号 3-540-23727-5 [目录] 2003 [注2] 汉斯·沃夫冈·洛伊德 , 费尔南多·卢比奥 , 诺曼·斯凯夫 , 凯文·哈蒙德 , Susumu Horiguchi先生 , 乌尔里克·克鲁西克 , Rita Loogen公司 , 格雷格·迈克尔森 , 里卡多·佩纳 , 斯特芬·普里贝 , 阿尔瓦罗·J·雷博恩·波蒂略 , 菲利普·特林德 :
比较并行函数语言：编程与性能。 高。 订购符号。 计算。 16 ( 三 ) : 203-251 ( 2003 ) [公元33年] 克拉拉·塞古拉 , 里卡多·佩纳 :
并行函数语言中非确定性分析的正确性。 国际单项体育联合会 2003 : 69-85 [公元32年] 拉斐尔·马丁内斯·托雷斯 , 里卡多·佩纳 :
在Eden和Maple之间构建接口：一种并行化计算机代数算法的方法。 国际单项体育联合会 2003 : 135-151 [公元31年] 阿尔贝托·德拉·恩西纳 , 里卡多·佩纳 :
正式衍生STG机器。 PPDP（PPDP） 2003 : 102-112 [第1页] Rita Loogen公司 , 尤兰达·奥尔特加购物中心 , 里卡多·佩尼亚 , 斯特芬·普里贝 , 费尔南多·卢比奥 :
《伊甸园中的平行抽象》。 并行和分布式计算的模式和框架 2003 : 95-128 [电子1] 里卡多·佩纳 , 托马斯艺术 :
2002年9月16日至18日，《功能语言的实施》，第14届国际研讨会，IFL 2002，西班牙马德里，修订论文集。 计算机科学课堂讲稿 2670, 施普林格 2003 ，国际标准图书编号 3-540-40190-3 [目录] 2001 [公元30年] 克里斯托巴尔·帕雷加 , 里卡多·佩纳 , 费尔南多·卢比奥 , 克拉拉·塞古拉 :
为懒惰的一元评估器添加痕迹。 欧洲广播公司 2001 : 627-641 [公元29年] 里卡多·佩纳 , 克拉拉·塞古拉 :
用于键入伊甸园骨架的大小类型。 国际单项体育联合会 2001 : 1-17 [公元28年] 阿尔贝托·德拉·恩西纳 , 里卡多·佩纳 :
证明STG机器的正确性。 国际单项体育联合会 2001 : 88-104 [公元27年] 里卡多·佩纳 , 克拉拉·塞古拉 :
多项式成本非确定性分析。 国际单项体育联合会 2001 : 121-137 [公元26年] 里卡多·佩纳 , 费尔南多·卢比奥 :
两级抽象的并行函数编程。 PPDP（PPDP） 2001 : 187-198 [公元25年] 里卡多·佩纳 , 费尔南多·卢比奥 , 克拉拉·塞古拉 :
推导非层级流程拓扑。 苏格兰函数编程研讨会 2001 : 51-62 2000 [公元24年] 里卡多·佩纳 , 克拉拉·塞古拉 :
并行函数语言中的非确定性分析。 国际单项体育联合会 2000 : 1-18 【c23】 克里斯托巴尔·帕雷加 , 里卡多·佩纳 , 费尔南多·卢比奥 , 克拉拉·塞古拉 :
通过改造优化伊甸园。 苏格兰函数编程研讨会 2000 : 13-26 [公元22年] 克里斯托巴尔·帕雷加 , 里卡多·佩纳 , 费尔南多·卢比奥 , 克拉拉·塞古拉 :
通过程序转换优化Eden。 世界粮食计划署 2000 : 89-103 【c21】 里卡多·佩纳 :
函数环境中的编译器构造。 世界粮食计划署 2000 : 510-524
1990 – 1999
1999 [公元20年] 乌尔里克·克鲁西克 , 里卡多·佩纳 , 克拉拉·塞古拉 :
伊甸园通道的绕行。 苏格兰函数编程研讨会 1999 : 2-10 [第19条] 赫南德茲 , 里卡多·佩纳 , 费尔南多·卢比奥 :
从格兰西姆到天堂。 苏格兰函数编程研讨会 1999 : 11-19 1998 [第18条] 乌尔里克·克鲁西克 , 尤兰达·奥尔特加购物中心 , 里卡多·佩纳 :
实现伊甸园——或：梦想成为现实。 国际单项体育联合会 1998 : 103-119 1997 [第17条] 西尔维娅·布利廷（Silvia Breitinger） , Rita Loogen公司 , 尤兰达·奥尔特加购物中心 , 里卡多·佩尼亚·玛丽亚 :
Eden中的高级并行和并发编程。 APPIA-GULP-PRODE公司 1997 : 213-224 [第16条] 路易斯·加兰 , 里卡多·佩纳 :
公平框架中分布式程序的验证和改进。 艺术 1997 : 280-294 [第15条] 西尔维娅·布利廷（Silvia Breitinger） , Rita Loogen公司 , 尤兰达·奥尔特加购物中心 , 里卡多·佩纳 :
分布式存储系统的Eden协调模型。 臀部 1997 : 120-124 [第14条] 西尔维娅·布利廷（Silvia Breitinger） , 乌尔里克·克鲁西克 , Rita Loogen公司 , 尤兰达·奥尔特加购物中心 , 里卡多·佩纳 :
梦想：扭曲的伊甸园抽象机器。 函数式语言的实现 1997 : 250-269 1996 [第13条] 路易斯·加兰 , 克里斯托巴尔·帕雷加 , 里卡多·佩纳 :
功能骨架在伊甸园中生成过程拓扑。 APPIA-GULP-PRODE公司 1996 : 245-258 [第12条] 西尔维娅·布利廷（Silvia Breitinger） , Rita Loogen公司 , 尤兰达·奥尔特加购物中心 , 里卡多·佩尼亚·玛丽亚 :
伊甸园-函数式并发编程的天堂。 欧洲标准，第一卷 1996 : 710-713 [第11条] 里卡多·佩尼亚·玛丽亚 , 路易斯·加兰 :
公平假设下非终止程序的进度性质证明。 欧洲标准，第一卷 1996 : 775-778 [第10条] 佩德罗·帕拉奥·戈斯坦扎 , 里卡多·佩纳 , 曼努埃尔·努涅斯 :
抽象数据类型中模式匹配的新视角。 ICFP公司 1996 : 110-121 【c9】 路易斯·加兰 , 克里斯托巴尔·帕雷加 , 里卡多·佩纳 :
功能骨架在伊甸园中生成过程拓扑。 PLILP公司 1996 : 289-303 1995 【c8】 克里斯托巴尔·帕雷加 , 里卡多·佩纳 , J·安吉尔·贝拉兹奎兹-伊图比德 :
使用Haskell数组的表格转换策略。 活塞销 1995 : 485-496 【c7】 曼努埃尔·努涅斯 , 佩德罗·帕劳 , 里卡多·佩纳 :
基于函数编程的数据结构第二年课程。 FPLE公司 1995 : 65-84 1994 【c6】 路易斯·加兰 , 曼努埃尔·努涅斯 , 克里斯托巴尔·帕雷加 , 里卡多·佩纳 :
数据结构的非同态约简。 活塞杆（2） 1994 : 393-407 【c5】 里卡多·佩尼亚·玛丽亚 , 路易斯·加兰 :
在用状态变量指定的CSP系统中引入公平性。 巴黎 1994 : 757-760 1993 【c4】 里卡多·佩纳 , 路易斯·阿隆索 :
使用防护和活性条件指定和优化TCSP工艺的技术。 TAPSOFT公司 1993 : 328-342 1991 【c3】 路易斯·阿隆索 , 里卡多·佩纳 :
验收自动机：一个用于指定和验证TCSP并行系统的框架。 第（2）部分 1991 : 75-91
1980 – 1989
1989 [j1] CelestíRosselló , 何塞·巴尔卡扎 , 里卡多·佩纳 :
推导递归程序设计中嵌入的规范。 结构。 程序。 10 ( 三 ) : 133-145 ( 1989 ) 【c2】 里卡多·佩纳 , 路易斯·阿隆索 :
通过部分抽象数据类型对TCSP系统进行规范和验证。 TAPSOFT，第2卷 1989 : 328-344 1988 [c1] 费尔南多·奥雷贾斯 , 安娜·桑切斯 , 玛丽莎·纳瓦罗 , 皮拉尔·尼维拉 , 里卡多·佩纳 :
部分规范的术语重写方法。 自动驾驶仪 1988
合著者索引
