菲利普·考克斯
人员信息
附属: 达尔豪西大学
其他同名人员
优化列表
2010 – 2019
2013 [公元18年] 奥米德·巴尼亚萨德 , 菲利普·考克斯 :
可视化逻辑程序设计语言编辑器/解释器的设计与实现。 国际期刊软件。 工程知识。 工程师。 23 ( 6 ) : 801-838 ( 2013 ) 2012 [电子3] 菲利普·考克斯 , Beryl Plimmer公司 , 彼得·罗杰斯 :
图表表示和推断——第七届国际会议,图表2012,坎特伯雷,英国,2012年7月2-6日。 诉讼程序。 计算机科学课堂讲稿 7352, 施普林格 2012 ,国际标准图书编号 978-3-642-31222-9 [目录] [电子2] 华民区 , 魏晨 , 菲利普·考克斯 , 刘世霞 :
视觉信息传播与交互国际研讨会,2012年9月27日至28日,中国杭州,VINCI'12。 ACM公司 2012 ,国际标准图书编号 978-1-4503-1782-5 [目录] 2011 [公元17年] 菲利普·考克斯 , 安德鲁·费什 , 约翰·豪斯 :
视觉语言与逻辑专刊:客座编辑介绍。 视觉杂志。 语言计算。 22 ( 1 ) : 1-2 ( 2011 ) [公元16年] 奥米德·巴尼亚萨德 , 菲利普·考克斯 :
生成示例以视觉设计语言查找几何对象。 视觉杂志。 语言计算。 22 ( 2 ) : 107-119 ( 2011 ) [公元34年] 菲利普·考克斯 , 西蒙·高文 :
受控的数据流可视化编程语言。 文西 2011 : 9 2010 [公元33年] 菲利普·考克斯 , 安当(Anh Dang) :
结构化可视化数据流程序的语义比较。 文西 2010 : 11
2000 – 2009
2008 [公元15年] 菲利普·T·考克斯 , 约翰·霍斯金 :
2007年VL/HCC精选论文专刊:特邀编辑介绍。 视觉杂志。 语言计算。 19 ( 4 ) : 427-428 ( 2008 ) [公元32年] 菲利普·考克斯 , 帕特里克·K·尼克尔森 :
用逻辑编程统一电子表格中的数组。 PADL(PADL) 2008 : 100-115 [第2页] 菲利普·考克斯 :
可视化编程语言。 威利计算机科学与工程百科全书 2008 2007 [公元14年] 菲利普·考克斯 :
2005年VLC论文选刊。 视觉杂志。 语言计算。 18 ( 2 ) : 97-98 ( 2007 ) [公元31年] 菲利普·考克斯 , 安德鲁·费什 , 约翰·豪斯 :
视觉语言和逻辑。 VL/HCC 2007 : 三 [c30] 菲利普·T·考克斯 :
用逻辑编程增强电子表格的可编程性。 VL/HCC 2007 : 87-94 [公元29年] 菲利普·考克斯 , 安德鲁·费什 , 约翰·豪斯 :
导言。 VLL(VLL) 2007 [电子1] 菲利普·考克斯 , 安德鲁·费什 , 约翰·豪斯 :
2007年9月23日,作为2007年IEEE视觉语言与以人为中心的计算VL/HCC 07研讨会的一部分,在美国爱达荷州科埃雷内举行的2007年VLL视觉语言与逻辑研讨会会议记录。 CEUR研讨会记录 274, CEUR-WS.org公司 2007 [目录] 2005 [j13] 奥密德·班亚萨德 , 菲利普·考克斯 :
在视觉设计语言中集成结构化对象的设计合成和组装。 理论与实践。 日志。 程序。 5 ( 6 ) : 601-622 ( 2005 ) [公元12年] 菲利普·考克斯 , 约翰·霍斯金 :
2003年HCC精选论文专刊。 视觉杂志。 语言计算。 16 ( 1-2 ) : 1-2 ( 2005 ) [公元28年] 菲利普·考克斯 , 西蒙·高文 , 安德鲁·劳·卓别林 :
为可视化数据流程序添加并行性。 SOFTVIS软件 2005 : 135-144 2004 [c27] 奥米德·巴尼亚萨德 , 菲利普·考克斯 :
一种对数图的自动布局算法。 VL/HCC 2004 : 139-146 [公元26年] 肖恩·贝斯特 , 菲利普·考克斯 :
使用人工神经网络通过演示对自主机器人控制器进行编程。 VL/HCC 2004 : 157-159 [i1] 奥米德·巴尼亚萨德 , 菲利普·考克斯 :
在视觉设计语言中集成结构化对象的设计合成和组装。 CoRR公司 反恐精英。 LO/0403033号 ( 2004 ) 2003 [公元25年] 奥米德·巴尼亚萨德 , 菲利普·考克斯 :
关于将几何实体转换为函数表达式。 PPDP(PPDP) 2003 : 44-55 2002 [公元24年] 奥米德·巴尼亚萨德 , 菲利普·考克斯 :
在基于逻辑的可视化设计环境中解决设计问题。 肝癌 2002 : 90-92 【c23】 奥米德·巴尼亚萨德 , 菲利普·考克斯 :
在可视化设计环境中定义实体的行为。 肝癌 2002 : 93-95 2001 [公元11年] 菲利普·考克斯 , 特雷弗·J·斯梅德利 :
客座编辑介绍:面向终端用户和特定领域编程的可视化语言专刊。 视觉杂志。 语言计算。 12 ( 5 ) : 473-474 ( 2001 ) [公元22年] 菲利普·考克斯 , 宋宝明 :
基于组件的软件的形式化模型。 肝癌 2001 : 304- 2000 [公元10年] 菲利普·考克斯 , 特雷弗·J·斯梅德利 :
通过演示构建机器人可视化编程环境。 视觉杂志。 语言计算。 11 ( 5 ) : 549-571 ( 2000 ) [公元9年] 菲利普·考克斯 , 特雷弗·J·斯梅德利 :
可视化设计语言中参数化实体的形式化模型。 视觉杂志。 语言计算。 11 ( 6 ) : 687-710 ( 2000 )
1990 – 1999
1998 [j8] 菲利普·T·考克斯 , 克里斯托弗·里斯利 , 特雷弗·史沫特莱 :
机器人控制视觉语言的具体表示。 视觉杂志。 语言计算。 9 ( 2 ) : 211-239 ( 1998 ) [j7] 菲利普·考克斯 , 特雷弗·J·斯梅德利 :
LSD:一种用于设计结构化对象的基于逻辑的可视化语言。 视觉杂志。 语言计算。 9 ( 5 ) : 509-534 ( 1998 ) 【c21】 菲利普·考克斯 , 休·格拉泽 , 斯图亚特·麦克林 :
并行应用程序的可视化开发环境。 VL公司 1998 : 144-151 [公元20年] 菲利普·考克斯 , 特雷弗·J·斯梅德利 :
机器人控制可视化编程。 VL公司 1998 : 217-224 [第19条] 菲利普·考克斯 , 特雷弗·史沫特莱 :
可视化设计语言中的对象表示和操作模型。 VL公司 1998 : 254-261 1997 [j6] 特雷弗·J·斯梅德利 , 菲利普·考克斯 :
结构化对象设计和开发的可视化语言。 视觉杂志。 语言计算。 8 ( 1 ) : 57-84 ( 1997 ) [第18条] 菲利普·T·考克斯 , 特雷弗·J·斯梅德利 , 约翰花园 , 马克·麦克马纳斯 :
特定领域的可视化编程经验-96年视觉语言挑战。 VL公司 1997 : 258-263 [c17] 菲利普·考克斯 , 特雷弗·J·斯梅德利 :
结构设计的声明语言。 VL公司 1997 : 442-449 1996 [第16条] 特雷弗·J·斯梅德利 , 菲利普·考克斯 , 香农·L·伯恩 :
通过可视化编程和用户界面对象的集成扩展电子表格的实用性。 AVI公司 1996 : 148-155 [第15条] 菲利普·考克斯 , 特雷弗·J·斯梅德利 :
结构化图形对象设计的可视化语言。 VL公司 1996 : 296-303 [第14条] 尼古拉斯·P·王尔德 , Shi-Kuo Chang公司 , 菲利普·考克斯 , 大卫·坎菲尔德·史密斯 :
1996年VL特别活动:来自先驱者的观点(小组)。 VL公司 1996 : 328-333 1995 [第13条] 菲利普·考克斯 , 休·格拉泽 , 贝诺·特拉纳斯普利 :
分布式进程图:扩展抽象。 PSLS公司 1995 : 128-133 1994 [第12条] 菲利普·考克斯 , 特雷弗·J·斯梅德利 :
使用可视化编程扩展电子表格的功能。 高级视觉界面 1994 : 153-161 1993 [j5] 伊曼纽尔刀 , 菲利普·T·考克斯 , 托马斯·彼得日科夫斯基 :
Horn条款的平等和绑架居留。 西奥。 计算。 科学。 120 ( 1 ) : 1-44 ( 1993 ) 1992 [第11条] 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
可视消息流语言MFL及其接口。 高级视觉界面 1992 : 348-361 [第10条] 菲利普·考克斯 , 伊曼纽尔刀 , 托马斯·彼得日科夫斯基 :
等式逻辑编程中的诱拐。 FGCS公司 1992 : 539-545 1990 【c9】 菲利普·考克斯 :
使用面向对象实现逻辑编程。 SIGSMALL/PC研讨会 1990 : 106-114
1980 – 1989
1989 【c8】 菲利普·考克斯 , F.R.贾尔斯 , 托马斯·彼得日科夫斯基 :
Proggraph:将编程从文本条件中解放出来的一步。 VL公司 1989 : 150-156 1987 [j4] 菲利普·考克斯 :
关于确定不一致性的原因。 J.日志。 程序。 4 ( 1 ) : 33-58 ( 1987 ) 【c7】 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
通过外展推理进行一般诊断。 SLP公司 1987 : 183-189 1986 [j3] 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
通过表面演绎将等式纳入逻辑编程。 Ann.纯粹应用。 日志。 31 : 177-189 ( 1986 ) 【c6】 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
事件的原因:它们的计算和应用。 CADE公司 1986 : 608-621 【c5】 Y.L.Chang先生 , 菲利普·考克斯 :
Prolog编译器中的存储管理。 SIGSMALL公司 1986 : 43-52 1985 【c4】 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
PROGRAPH中的高级编程辅助工具。 SIGSMALL公司 1985 : 27-33 【c3】 菲利普·考克斯 , I.J.穆利根 :
编译图形函数语言PROGRAPH。 SIGSMALL公司 1985 : 34-41 [c2] 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
表面演绎:逻辑编程的统一机制。 SLP公司 1985 : 220-227 1984 [注2] 菲利普·T·考克斯 , 托马斯·彼得日科夫斯基 :
用于反向Skolemization的完整、无冗余算法。 西奥。 计算。 科学。 28 : 239-261 ( 1984 ) [第1页] 菲利普·考克斯 :
查找智能回溯的回溯点。 Prolog的实现 1984 : 216-233 1981 [j1] 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
扣除计划:智能回溯的基础。 IEEE传输。 模式分析。 机器。 智力。 三 ( 1 ) : 52-65 ( 1981 ) 1980 【c1】 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
用于反向Skolemization的完整、无冗余算法。 CADE公司 1980 : 374-385