约翰·切尔尼亚夫斯基
人员信息
优化列表
2000 – 2009
2009 【c9】 斯蒂芬·格罗斯伯格 , 库尔特·范利恩 , 克里斯蒂娜·科纳蒂 , 亚瑟·C·格雷瑟 , 约翰·切尔尼亚夫斯基 :
特邀演讲者摘要。 AAAI秋季研讨会:认知和元认知教育系统 2009 2006 [公元21年] Tak-Wai Chan公司 , 杰里米·罗斯切尔 , 谢丽·希伊 , 金树 , 沙普尔斯 , 汤姆·布朗 , 查尔斯·巴顿 , 约翰·切尔尼亚夫斯基 , 罗伊·D·皮 , 凯西·诺里斯 , 索洛韦 , 尼古拉斯·巴拉契夫 , 玛琳·斯卡德玛丽亚 , 皮埃尔·迪伦堡 , Chee-Kit Looi公司 , 马塞洛·米拉德 , 海因茨·乌尔里希·霍普 :
一对一技术强化学习:全球研究合作的机会。 研究实践。 Technol公司。 Enhanc公司。 学习。 1 ( 1 ) : 3月29日 ( 2006 ) 【c8】 约翰·切尔尼亚夫斯基 , 贾妮斯·厄尔 , N.哈里·纳拉亚南 , 罗伊·豌豆 , 约翰·D·布兰斯福德 , 马西娅·林恩 :
教育研究在哪里? 美国国家科学基金会研究支持的科学政策含义。 ICLS公司 2006 2002 [公元20年] 约翰·切尔尼亚夫斯基 , 索洛韦 :
编辑-教育智能信息系统研究问题调查。 J.智力。 信息系统。 18 ( 1 ) : 5-14 ( 2002 ) 【c7】 约翰·切尔尼亚夫斯基 , 埃里克·汉密尔顿 :
学习网格。 CSCL公司 2002 : 733-734
1990 – 1999
1998 【c6】 约翰·切尔尼亚夫斯基 , 诺拉·萨贝利 :
学习技术研究:美国视角。 远程教学 1998 : 199-216 1996 [公元19年] 约翰·切尔尼亚夫斯基 :
致命缺陷:追捕杀手电脑虫子,彼得森著。 Neumann著《计算机相关风险》。 《安全软件:系统安全和计算机》,Leveson著。 Inf.Soc.公司。 12 ( 1 ) ( 1996 ) 1991 [j18] 约翰·切尔尼亚夫斯基 , 卡尔·H·史密斯 :
关于Weyuker的软件复杂性度量公理。 IEEE传输。 软件工程。 17 ( 6 ) : 636-638 ( 1991 )
1980 – 1989
1989 【c5】 约翰·切尔尼亚夫斯基 :
通过测试进行验证。 ICSE公司 1989 : 354 1988 【c4】 约翰·切尔尼亚夫斯基 , 马亨德兰·维拉萨皮莱 , 理查德·斯塔特曼 :
归纳推理:抽象方法。 COLT公司 1988 : 251-266 1987 [公元17年] 约翰·切尔尼亚夫斯基 , 卡尔·H·史密斯 :
程序测试的递归理论方法。 IEEE传输。 软件工程。 13 ( 7 ) : 777-784 ( 1987 ) 1985 [公元16年] 约翰·切尔尼亚夫斯基 :
NSF新闻。 SIGACT新闻 16 ( 4 ) : 46-47 ( 1985 ) 1982 [公元15年] W.Richards Adrion公司 , 玛莎·布兰斯塔德 , 约翰·切尔尼亚夫斯基 :
计算机软件的验证、验证和测试。 ACM计算。 Surv公司。 14 ( 2 ) : 159-192 ( 1982 ) [j14] 约翰·基哈内 , 约翰·切尔尼亚夫斯基 , 彼得·亨德森 :
关于转换控制结构。 SIAM J.计算。 11 ( 2 ) : 268-286 ( 1982 ) [j13] 约翰·切尔尼亚夫斯基 :
哈里·刘易斯(Harry R.Lewis)的《量化公式的不可解类》综述。 Addison-Wesley 1979年。 以及伯顿·德雷本(Burton Dreben)和沃伦·戈德法布(Warren D.Goldfarb)的《决策问题:可解的量化公式类》(The decision problem:solved classes of quantitation formulas)。 Addison-Wesley 1979年。 SIGACT新闻 14 ( 4 ) : 70-71 ( 1982 ) 1981 [公元12年] 马文·V·泽尔科维茨 , W.Richards Adrion公司 , 阿尔弗雷德·阿霍 , 丹尼尔·博布罗 , 托马斯·切坦 , 约翰·切尔尼亚夫斯基 , 苏珊·L·格哈特 , 戈登·里昂 , 发言人约翰·耐斯特 , 特里·A·斯特雷特 :
高级语言编程环境。 ACM SIGSOFT软件。 工程注释 6 ( 4 ) : 36-51 ( 1981 ) 1980 [公元11年] 玛莎·布兰斯塔德 , 约翰·切尔尼亚夫斯基 , W.Richards Adrion公司 :
单个程序员的验证、验证和测试。 电脑类 13 ( 12 ) : 24时30分 ( 1980 ) [公元10年] 约翰·切尔尼亚夫斯基 :
审查L.s.Van Benthem Juting的“在自动系统中检查Landau的“Grundlagen”。 数学中心1979年:大卫·哈雷的《一阶动态逻辑》。 Springer-Verlag 1979年。 还有罗伯特·康斯特布尔和迈克尔·奥唐纳的《编程逻辑》。 温思罗普出版社,1978年。 SIGACT新闻 12 ( 3 ) : 14至16 ( 1980 )
1970 – 1979
1979 [公元9年] 约翰·切尔尼亚夫斯基 :
关于查找无循环程序的测试数据集。 信息处理。 莱特。 8 ( 2 ) : 106-107 ( 1979 ) [j8] 约翰·切尔尼亚夫斯基 , 约翰·基奥汉 , 彼得·亨德森 :
关于自上而下程序开发和受限退出控制结构的说明。 信息处理。 莱特。 9 ( 1 ) : 8-12 ( 1979 ) [j7] 约翰·切尔尼亚夫斯基 , 塞缪尔·卡明 :
简单编程语言的完整且一致的Hoare公理。 美国临床医学杂志 26 ( 1 ) : 119-128 ( 1979 ) [j6] 约翰·切尔尼亚夫斯基 :
J.M.Brady撰写的《计算机科学理论:编程方法》综述。 查普曼和霍尔。 SIGACT新闻 11 ( 1 ) : 17 ( 1979 ) [j5] 约翰·切尔尼亚夫斯基 :
回顾D.W.Loveland的《自动定理证明:逻辑基础》。 North-Holland出版公司,1977年。 SIGACT新闻 11 ( 1 ) : 18 ( 1979 ) 【j4】 约翰·切尔尼亚夫斯基 :
复习S.G.Van Der Meulen和M.Veldhorst的《TORIX:任意域上可变大小向量和矩阵运算的编程系统,第1卷》。 数学中心1978年。 SIGACT新闻 11 ( 2 ) : 6 ( 1979 ) 1977 [j3] 约翰·切尔尼亚夫斯基 :
书评部门。 SIGACT新闻 9 ( 1 ) : 15 ( 1977 ) 【c3】 约翰·切尔尼亚夫斯基 , 塞缪尔·卡明 :
简单编程语言的完整且一致的Hoare语义。 POPL公司 1977 : 1-9 1976 [注2] 约翰·切尔尼亚夫斯基 :
简单的程序精确地实现Presberger公式。 SIAM J.计算。 5 ( 4 ) : 666-677 ( 1976 ) 1975 [j1] 约翰·切尔尼亚夫斯基 :
功能迭代逻辑和流程图。 计算 14 ( 3 ) : 285至312 ( 1975 ) 1973 【c2】 约翰·切尔尼亚夫斯基 :
一些非经典逻辑的复杂性。 重拍 1973 : 209-213 1972 【b1】 约翰·切尔尼亚夫斯基 :
表示流程图图式的逻辑理论。 美国康奈尔大学, 1972 【c1】 约翰·切尔尼亚夫斯基 , 罗伯特·康斯特布尔 :
用逻辑表示程序方案。 重拍 1972 : 27-39