拉斐尔·格林森
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2020 [j10] 胡安·卢卡斯·巴厘 , 曼努埃拉·塞雷罗 , 玛丽埃拉·拉金盖尔克 , 拉斐尔·格林森 :
一种利用混合测量和空间相关性对无源微波数据进行网格化的新方法。 地球科学。 信息学 13 ( 4 ) : 1383-1391 ( 2020 )
2010 – 2019
2019 [公元9年] 拉斐尔·格林森 , 胡安·卢卡斯·巴厘 , 玛丽埃拉·拉金盖尔克 , 劳拉·圣马丁 , 梅赛德斯-萨尔瓦多 :
混合测量无源微波数据网格化的统计反演方法。 IEEE传输。 地质科学。 远程。 传感器。 57 ( 三 ) : 1347-1357 ( 2019 ) 2015 【c4】 拉斐尔·格林森 , 纳塔莉亚·莫兰德拉 , 亚历杭德罗·弗雷 :
基于随机测度的非局部均值去噪比较。 IGARSS公司 2015 : 3091-3094 2014 [j8] 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 , 拉斐尔·格林森 :
独立友好逻辑是一种二阶逻辑,具有弱依赖性,通过平坦化进行经典否定。 J.计算。 系统。 科学。 80 ( 6 ) : 1102-1118 ( 2014 ) [j7] 拉斐尔·格林森 , 巴特·奎杰普斯 :
实域上二阶逻辑的一些片段,其可满足性和等价性是(不)可判定的。 数学报告。 日志。 49 : 23-34 ( 2014 ) 2012 [j6] 拉斐尔·格林森 , 乔斯·海因茨 , 巴特·奎杰普斯 :
使用少量算术运算评估几何查询。 申请。 代数工程通讯。 计算。 23 ( 3-4 ) : 179-193 ( 2012 ) [j5] 拉斐尔·格里姆森 , 巴特·奎杰普斯 , 瓦利德·奥斯曼 :
初等几何和初等仿射几何的量词消除。 数学。 日志。 问:。 58 ( 6 ) : 399-416 ( 2012 ) 2011 【j4】 巴特·奎杰普斯 , 拉斐尔·格林森 , 瓦利德·奥斯曼 :
运动目标数据时空棱镜模型中不在场证明查询的解析解。 国际地质杂志。 信息科学。 25 ( 2 ) : 293-322 ( 2011 ) [j3] 拉斐尔·格林森 , 乔斯·海因茨 , 巴特·奎杰普斯 :
有效评估约束数据库中的特定查询。 信息处理。 莱特。 111 ( 19 ) : 941-944 ( 2011 ) 【c3】 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 , 拉斐尔·格林森 :
论IF-Logic与经典否定的表达力。 沃尔利克 2011 : 135-145 [i3] 拉斐尔·格林森 , 乔斯·海因茨 , 巴特·奎杰普斯 :
使用少量算术运算评估几何查询。 CoRR公司 腹肌/1111.0499 ( 2011 ) 2010 【b1】 拉斐尔·格林森 :
初等几何中一些问题的复杂度上下限。 比利时哈塞尔大学, 2010 [注2] 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 , 拉斐尔·格林森 :
类IF逻辑的形式语义。 J.计算。 系统。 科学。 76 ( 5 ) : 333-346 ( 2010 ) 【c2】 拉斐尔·格林森 :
半代数环境下符号条件问题的一种有效算法。 药品GMP 2010 : 57-76
2000 – 2009
2009 [j1] 拉斐尔·格林森 , 巴特·奎杰普斯 :
实域上线性规划可行性问题复杂性的一些下界。 J.复杂。 25 ( 1 ) : 25-37 ( 2009 ) 2008 [c1] 圣地亚哥·菲盖拉 , 丹尼尔·戈林 , 拉斐尔·格林森 :
类IF逻辑的形式语义。 沃尔利克 2008 : 164-178 2007 [i2] 拉斐尔·格里姆森 :
从量词消除的角度来看,线性优化复杂性的下限。 约束数据库、几何消除和地理信息系统 2007 [i1] 巴特·奎杰普斯 , 瓦利德·奥斯曼 , 拉斐尔·格林森 :
约束数据库中量词消除困难的案例研究:移动对象数据库中的不在场证明查询。 CoRR公司 abs/0712.1996 ( 2007 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)