威廉·沃奇
人员信息
附属: 加拿大维多利亚大学
其他同名人员
SPARQL查询
优化列表
2020年–今天
2022 [公元28年] Abdulmonem I Shennat公司 , 威廉·沃奇 , 亚历克斯·郭 :
包含多维和用户定义函数的数据流程序的维度分析。 IEEE大数据 2022 : 2781-2789
2010 – 2019
2015 [公元21年] 贾里德·贝克 , 约翰·普莱斯 , 威廉·沃奇 :
语言Lucid中的多维无限数据。 数学。 结构。 计算。 科学。 25 ( 7 ) : 1546-1568 ( 2015 ) 2013 [公元20年] 安杰洛斯·查拉兰比迪斯 , 康斯坦蒂诺斯·汉德约普洛斯 , 隆氏泛血管炎 , 威廉·沃奇 :
扩展高阶逻辑编程。 ACM事务处理。 计算。 日志。 14 ( 三 ) : 21:1-21:40 ( 2013 ) 2011 [i5] 安杰洛斯·查拉兰比迪斯 , 康斯坦蒂诺斯·汉德约普洛斯 , 帕诺斯·朗多吉安尼 , 威廉·沃奇 :
扩展高阶逻辑编程。 CoRR公司 abs/1106.3457 ( 2011 ) 2010 [公元27年] 安杰洛斯·查拉兰比迪斯 , 康斯坦蒂诺斯·汉德约普洛斯 , 帕诺斯·朗多吉安尼 , 威廉·沃奇 :
扩展高阶逻辑编程。 杰莉亚 2010 : 91-103
2000 – 2009
2009 [j19] 克里斯托斯·诺米科斯 , 帕诺斯·朗多吉安尼 , 威廉·沃奇 :
无限值语义下逻辑程序的强等价性。 信息处理。 莱特。 109 ( 11 ) : 576-581 ( 2009 ) [公元26年] 玛丽亚·乔杜里 , 亚历克斯·托莫 , 威廉·沃奇 :
用于增强协作过滤的基于信任的无穷小。 COMAD公司 2009 [公元25年] 玛丽亚·乔杜里 , 亚历克斯·托莫 , 威廉·沃奇 :
信息检索的优先无穷小。 AIAI公司 2009 : 113-125 [公元24年] 玛丽亚姆·赫扎德 , 亚历克斯·托莫 , 威廉·沃奇 :
利用推荐系统的“收藏夹”列表的功能。 RecSys系统 2009 : 289-292 2008 [公元18年] Chrysida Galanaki公司 , 帕诺斯·朗多吉安尼 , 威廉·沃奇 :
逻辑编程中用于基础良好的否定的无限语义。 Ann.纯粹应用。 日志。 151 ( 2-3 ) : 70-88 ( 2008 ) [公元17年] 哥斯塔·格雷内 , 亚历克斯·托莫 , 威廉·沃奇 :
首选常规路径查询。 芬丹。 信息学 89 ( 2-3 ) : 259-288 ( 2008 ) 【c23】 约翰·普莱斯 , 布兰卡·曼奇拉 , 加布里埃尔·迪图 , 威廉·沃奇 :
急切的TransLucid的序贯需求驱动评估。 COMPSAC公司 2008 : 1266-1271 [电子1] 彼得·赫特林 , 维克托·塞利瓦诺夫 , 沃尔夫冈·托马斯 , 威廉·沃奇 , 克劳斯·瓦格纳 :
无限计算的拓扑和博弈论方面,29.06.- 04.07.2008. 达格斯图尔研讨会记录 08271, 德国莱布尼兹·泽特鲁姆·福尔·Informatik Schloss Dagstuhl 2008 [目录] [i4] Chrysida Galanaki公司 , 帕诺斯·隆多吉安尼斯 , 威廉·沃奇 :
作为无限游戏的通用逻辑程序。 无限计算的拓扑和博弈论方面 2008 [i3] 彼得·赫特林 , 维克托·塞利瓦诺夫 , 沃尔夫冈·托马斯 , 威廉·沃奇 , 克劳斯·瓦格纳 :
08271摘要集-无限计算的拓扑和博弈论方面。 无限计算的拓扑和博弈论方面 2008 [i2] 彼得·赫特林 , 维克托·塞利瓦诺夫 , 沃尔夫冈·托马斯 , 威廉·沃奇 , 克劳斯·瓦格纳 :
08271执行摘要-无限计算的拓扑和博弈论方面。 无限计算的拓扑和博弈论方面 2008 2007 [公元22年] 哥斯塔·格雷内 , 亚历克斯·托莫 , 威廉·沃奇 :
优先注释的常规路径查询。 ICDT公司 2007 : 314-328 【c21】 佩德罗·卡巴拉尔 , 大卫·皮埃尔斯 , 帕诺斯·朗多吉安尼 , 威廉·沃奇 :
带否定的析取逻辑程序的纯模型理论语义。 低密度核磁共振 2007 : 44-57 2005 [公元16年] 帕诺斯·朗多吉安尼 , 威廉·沃奇 :
带否定即失败逻辑程序的最小模型语义。 ACM事务处理。 计算。 日志。 6 ( 2 ) : 441-467 ( 2005 ) [公元20年] 帕诺斯·朗多吉安尼 , 威廉·沃奇 :
逻辑编程中用于否定的无限语义。 GALOP@预计到达时间 2005 : 77-91 [第19条] 克里斯托斯·诺米科斯 , 帕诺斯·朗多吉安尼 , 威廉·沃奇 :
在已有语义条件下强等价的一个充分条件。 ICLP公司 2005 : 414-415 [第18条] 鲁奇·阿加瓦尔 , 威廉·沃奇 :
无穷小逻辑表达式的懒惰求值。 可编程逻辑控制器 2005 : 3-7 2004 [第17条] 李红莲(Elena) , 威廉·沃奇 :
应用于法语教育软件的一种内涵工具。 瑞典克朗 2004 : 62-67 2003 [i1] 帕诺斯·隆多吉安尼斯 , 威廉·沃奇 :
带否定即失败逻辑程序的最小模型语义。 CoRR公司 反恐精英。 LO/0306017号 ( 2003 ) 2002 [第16条] 威廉·沃奇 :
“媒体”就是信息。 DCW公司 2002 : 10-14 [第15条] 帕诺斯·朗多吉安尼 , 威廉·沃奇 :
带否定的逻辑程序的无限值语义。 杰莉亚 2002 : 456-467 2001 [第14条] 威廉·沃奇 , 莫妮卡·施雷费尔 :
适应性和适应性超媒体的补充方法:内涵超文本。 职业健康安全-7/SC-3/AH-3 2001 : 327-334 2000 [第13条] 威廉·沃奇 :
内涵标记语言。 DCW公司 2000 : 82-89
1990 – 1999
1999 [公元15年] 帕诺斯·隆多吉安尼斯 , 威廉·沃奇 :
高阶函数语言和内涵逻辑。 J.功能。 程序。 9 ( 5 ) : 527-564 ( 1999 ) 1998 [第12条] 威廉·沃奇 , 戈德·布朗 , 莫妮卡·施雷费尔 , 塔内·伊尔迪林 :
内涵HTML。 PODDP公司 1998 : 128-139 1997 [公元14年] 帕诺斯·朗多吉安尼 , 威廉·沃奇 :
一阶函数语言与内涵逻辑。 J.功能。 程序。 7 ( 1 ) : 73-101 ( 1997 ) 1994 [j13] 梅赫迈特·奥尔根(Mehmet A.Orgun) , 威廉·沃奇 :
用选择谓词非确定性扩展时序逻辑规划。 J.日志。 计算。 4 ( 6 ) : 877-903 ( 1994 ) [第11条] 帕诺斯·隆多吉安尼斯 , 威廉·沃奇 :
编译标记数据流的高阶函数。 IFIP协议 1994 : 269-278 [第10条] 帕诺斯·朗多吉安尼 , 威廉·沃奇 :
高阶数据流及其在库存硬件上的实现。 囊 1994 : 431-435 1993 [公元12年] 约翰·普莱斯 , 威廉·沃奇 :
用于管理可重用软件组件的Unix工具。 柔和。 实际。 支出。 23 ( 9 ) : 933-948 ( 1993 ) [公元11年] 约翰·普莱斯 , 威廉·沃奇 :
一种新的版本控制方法。 IEEE传输。 软件工程。 19 ( 三 ) : 268-276 ( 1993 ) 【c9】 梅赫迈特·奥尔根(Mehmet A.Orgun) , 威廉·沃奇 , 杜伟昌 :
时序(Z):线性时间逻辑编程。 ICCI公司 1993 : 545-549 1992 [公元10年] 梅赫迈特·奥尔根(Mehmet A.Orgun) , 威廉·沃奇 :
走向内涵逻辑程序设计的统一理论。 J.日志。 程序。 13 ( 4 ) : 413-440 ( 1992 ) 【c8】 梅赫迈特·奥尔根(Mehmet A.Orgun) , 威廉·沃奇 :
作为时态DATALOG查询语言的关系代数。 DEXA公司 1992 : 276-281 1991 【c7】 威廉·沃奇 :
高阶喇叭逻辑编程。 ISLP公司 1991 : 289-303 1990 [公元9年] 杜伟昌 , 威廉·沃奇 :
基于内涵逻辑的3D电子表格。 IEEE软件。 7 ( 三 ) : 78-89 ( 1990 ) [j8] 杜伟昌 , 威廉·沃奇 :
三维电子表格的教育性实施。 柔和。 实际。 实验。 20 ( 11 ) : 1097-1114 ( 1990 )
1980 – 1989
1988 【c6】 杜伟昌 , 威廉·沃奇 :
作为三维电子表格设计基础的有意语言。 ICCL公司 1988 : 2-9 1987 [c5] 安东尼·福斯蒂尼 , 威廉·沃奇 :
露西德的教育口译员。 PLDI公司 1987 : 86-91 1982 [j7] 爱德华·阿什克罗夫特 , 威廉·沃奇 :
R/表示语义。 ACM事务处理。 程序。 语言系统。 4 ( 2 ) : 283-294 ( 1982 ) 1981 [j6] 威廉·沃奇 :
数据流死锁的扩展处理。 西奥。 计算。 科学。 13 : 3-15 ( 1981 ) 1980 [j5] 爱德华·阿什克罗夫特 , 威廉·沃奇 :
对露西德的一些常见误解。 ACM SIGPLAN通知 15 ( 10 ) : 15-26 ( 1980 )
1970 – 1979
1979 【c4】 威廉·沃奇 :
数据流死锁的扩展处理。 并发计算的语义 1979 : 285-299 1978 【c3】 爱德华·阿什克罗夫特 , 威廉·沃奇 :
子句:Lucid中的范围结构和定义函数。 POPL公司 1978 : 17-22 1977 【j4】 爱德华·阿什克罗夫特 , 威廉·沃奇 :
Lucid,一种带迭代的非过程语言。 Commun公司。 ACM公司 20 ( 7 ) : 519-526 ( 1977 ) [j3] 爱德华·阿什克罗夫特 , 威廉·沃奇 :
勘误表:Lucid-用于编写和证明程序的正式系统。 SIAM J.计算。 6 ( 1 ) : 200 ( 1977 ) 【c2】 阿迪·沙米尔 , 威廉·沃奇 :
数据类型作为对象。 ICALP公司 1977 : 465-479 【c1】 爱德华·阿什克罗夫特 , 威廉·沃奇 :
Lucid中的间歇性断言证明。 IFIP大会 1977 : 723-726 1976 [注2] 爱德华·阿什克罗夫特 , 威廉·沃奇 :
Lucid-用于编写和证明程序的正式系统。 SIAM J.计算。 5 ( 三 ) : 336-354 ( 1976 ) 1974 [j1] 大卫·M·杰克逊 , 威廉·沃奇 :
非参数分类中概率计算的范式约简。 计算。 J。 17 ( 三 ) : 249-252 ( 1974 )