格兰特·马尔科姆
人员信息
其他同名人员
优化列表
2010 – 2019
2014 [公元10年] 丹尼尔·波克利夫琴斯基 , 格兰特·马尔科姆 :
使用机构实现模块化本体的功能方法。 Stud Logica公司 102 ( 1 ) : 117-143 ( 2014 ) 2012 [公元9年] 马特·韦伯斯特 , 格兰特·马尔科姆 :
R-模型:用于捕获生殖系统中抽象概念和辅助概念的数学框架。 生物晶体。 110 ( 2 ) : 119-129 ( 2012 ) 2011 [第15条] 斯蒂芬妮·蔡 , 弗兰斯·科宁 , 格兰特·马尔科姆 , 马蒂亚斯·加西亚-康斯坦蒂诺 :
在归纳文本分类规则中使用否定词和短语。 SGAI会议。 2011 : 153-166 2010 [c14] 斯蒂芬妮·蔡 , 弗兰斯·科宁 , 格兰特·马尔科姆 :
具有否定特征的分类归纳规则学习。 ADMA(1) 2010 : 125-136 [第13条] 斯蒂芬妮·蔡 , 弗兰斯·科宁 , 格兰特·马尔科姆 :
带否定的规则学习:关于有效性的问题。 智能信息处理 2010 : 193-202 [第12条] 丹尼尔·波克利夫琴斯基 , 格兰特·马尔科姆 :
使用机构实现模块化本体的功能方法。 WoMO公司 2010 : 53-66
2000 – 2009
2009 [j8] 马特·韦伯斯特 , 格兰特·马尔科姆 :
使用代数规范检测变形和虚拟化恶意软件。 J.计算。 维罗尔。 5 ( 三 ) : 221-245 ( 2009 ) 2008 [j7] 马特·韦伯斯特 , 格兰特·马尔科姆 :
计算机病毒复制的正式的基于负担的模型。 J.计算。 维罗尔。 4 ( 4 ) : 289-306 ( 2008 ) [第11条] 马特·韦伯斯特 , 格兰特·马尔科姆 :
人工生命中的层次组件和基于实体的建模。 阿里夫 2008 : 678-685 2007 [第10条] 马特·韦伯斯特 , 格兰特·马尔科姆 :
使用负担理论对再生产商进行分类。 阿里夫 2007 : 115-122 2006 [j6] 马特·韦伯斯特 , 格兰特·马尔科姆 :
使用代数规范检测变形计算机病毒。 J.计算。 维罗尔。 2 ( 三 ) : 149-161 ( 2006 ) 【c9】 格兰特·马尔科姆 :
过渡系统的滑轮和结构。 献给约瑟夫·戈根的散文 2006 : 405-419 【c8】 格兰特·马尔科姆 :
滑轮、对象和分布式系统。 MFCSIT公司 2006 : 3-19 2005 【c7】 格兰特·马尔科姆 :
分布式系统的基于组件的规范。 FACS公司 2005 : 211-224 2004 [第2页] 雷·帕顿 , 迈克尔·菲希尔 , 格兰特·马尔科姆 , 松野晃一郎 :
蛋白质与信息处理。 蜂窝计算 2004 : 11-18 2003 【c6】 特雷弗·J.M.长凳 , 格兰特·马尔科姆 , 迈克尔·J·R·沙夫 :
互操作性语义:关联本体和图式。 DEXA公司 2003 : 703-712 2002 [j5] 约瑟夫·高根 , 格兰特·马尔科姆 , 汤姆·坎普 :
隐藏的赫伯兰德定理:结合了对象和逻辑范式。 J.日志。 代数方法课程。 51 ( 1 ) : 1-41 ( 2002 ) 2000 【j4】 约瑟夫·高根 , 格兰特·马尔科姆 :
隐藏的议程。 理论。 计算。 科学。 245 ( 1 ) : 55-101 ( 2000 )
1990 – 1999
1999 [j3] 约瑟夫·高根 , 格兰特·马尔科姆 :
隐藏的共创性:对象的行为正确性证明。 数学。 结构。 计算。 科学。 9 ( 三 ) : 287-319 ( 1999 ) 【c5】 特雷弗·J.M.长凳 , 格兰特·马尔科姆 :
本体及其关系的形式化。 DEXA公司 1999 : 250-259 [第1页] 格兰特·马尔科姆 , 约瑟夫·高根 :
符号和表示:用户界面设计的符号学。 视觉表现和解释 1999 : 163-172 1998 【c4】 Joseph A.Goguen先生 , 格兰特·马尔科姆 , 汤姆·坎普 :
一个隐藏的赫伯兰德定理。 PLILP/ALP公司 1998 : 445-462 1996 【b1】 约瑟夫·高根 , 格兰特·马尔科姆 :
命令式程序的代数语义。 计算系列基础 , 麻省理工学院出版社 1996 ,十亿 978-0-262-07172-7 ,第I-VII页,1-228页 1995 【c3】 格兰特·马尔科姆 :
行为等效、相互模拟和最小实现。 罗盘/ADT 1995 : 359-378 1991 【c2】 罗兰·卡尔·巴克豪斯 , 彼得·德布鲁因 , 保罗·胡根迪克 , 格兰特·马尔科姆 , 埃德·沃曼 , 贾普·范德沃德 :
多项式继电器(扩展抽象)。 AMAST公司 1991 : 303-326 1990 [注2] 罗兰·卡尔·巴克豪斯 , 格兰特·马尔科姆 :
关于诱导同余。 牛市。 EATCS公司 40 : 201-206 ( 1990 ) [j1] 格兰特·马尔科姆 :
数据结构和程序转换。 科学。 计算。 程序。 14 ( 2-3 ) : 255-279 ( 1990 )
1980 – 1989
1989 【c1】 格兰特·马尔科姆 :
同态和可推广性。 MPC公司 1989 : 335-347