加列·丰丹
人员信息
优化列表
2010 – 2019
2018 [j8] 加列·丰丹 , 法比奥·莫加维罗 , 阿尼埃洛·穆拉诺 , 朱塞佩·佩雷利 , 洛雷达娜·索伦蒂诺 :
计算树逻辑中的循环检测。 Inf.计算。 262 : 265-279 ( 2018 ) [j7] 加列·丰丹 , Yde Venema公司 :
模态微积分的一些模型理论:语义属性的句法特征。 日志。 方法计算。 科学。 14 ( 1 ) ( 2018 ) [i1] 加列·丰丹 , Yde Venema公司 :
模态微积分的一些模型理论:语义属性的句法特征。 CoRR公司 abs/1801.05994 ( 2018 ) 2017 [j6] 巴勃罗·巴塞洛 , 加列·丰丹 :
关于图数据库上一致查询应答的数据复杂性。 J.计算。 系统。 科学。 88 : 164-194 ( 2017 ) 2016 [第12条] 加列·丰丹 , 法比奥·莫加维罗 , 阿尼埃洛·穆拉诺 , 朱塞佩·佩雷利 , 洛雷达娜·索伦蒂诺 :
计算树逻辑中的循环检测。 甘道夫 2016 : 164-177 2015 [j5] 巴勃罗·巴塞洛 , 加列·丰丹 , 安东尼·威贾贾·林 :
带数据的图形上的表达式路径查询。 日志。 方法计算。 科学。 11 ( 4 ) ( 2015 ) 【j4】 打捆机十类 , 加列·丰丹 , Phokion G.Kolaitis公司 :
一致查询答案的数据复杂性。 理论计算。 系统。 57 ( 4 ) : 843-891 ( 2015 ) [j3] 加列·丰丹 :
为什么很难获得一致查询答案的二分法? ACM事务处理。 计算。 日志。 16 ( 1 ) : 7:1-7:24 ( 2015 ) [第11条] 巴勃罗·巴塞洛 , 加列·丰丹 :
图数据库一致查询答案的数据复杂性。 ICDT公司 2015 : 380-397 2014 [c10] 艾米莉·盖尔布兰特 , 加列·丰丹 :
查询包含数据的不完整图形。 AMW公司 2014 2013 【c9】 加列·丰丹 :
为什么很难获得一致查询答案的二分法? 低收入国家 2013 : 550-559 【c8】 巴勃罗·巴塞洛 , 加列·丰丹 , 安东尼·威贾贾·林 :
带数据的图上的表达式路径查询。 LPAR公司 2013 : 71-85 2012 【c7】 打捆机十类 , 加列·丰丹 , Phokion G.Kolaitis公司 :
关于一致查询应答的数据复杂性。 ICDT公司 2012 : 22-33 2010 [注2] 打捆机十类 , 加列·丰丹 , 塔德乌兹·利塔克 :
XPath的一些模态方面。 J.应用。 非班级。 逻辑 20 ( 三 ) : 139-171 ( 2010 ) [j1] 尼克·贝扎尼什维利 , 加列·丰丹 , Yde Venema公司 :
维多利斯相互模拟。 J.日志。 计算。 20 ( 5 ) : 1017-1040 ( 2010 ) 【c6】 打捆机十类 , 加列·丰丹 :
模态的简单完备性证明 µ -有限树上的微积分。 FoSSaCS公司 2010 : 161-175 【c5】 加列·丰丹 , 劳尔·安德烈斯·里尔 , Yde Venema公司 :
余代数自动机:一种使用谓词提升的方法。 ICALP(二) 2010 : 381-392 【c4】 加列·丰丹 , 托马斯广场 :
中树类的框架定义 µ -微积分。 MFCS公司 2010 : 381-392
2000 – 2009
2009 【c3】 打捆机十类 , 加列·丰丹 :
有限树上模态微积分的一个简单完备性证明。 虚拟计算机 2009 : 30-38 2008 【c2】 加列·丰丹 :
微积分的连续片段。 CSL公司 2008 : 139-153 2006 【c1】 加列·丰丹 :
ML不是Cheq上的有限公理化。 模态逻辑的进展 2006 : 139-146