编辑配置文件（在新选项卡中打开） 斯科特·斯托勒。 合著者距离 作者ID: 斯托勒棉花-d 发布日期： 斯科特·斯托勒。 外部链接： MGP公司 编入索引的文档： 29出版物自1994年以来 合著者： 24位合著者具有26联合出版物 701合作作者 全部的 前5名合著者 三 单作者的 15 刘燕红安妮 4 拉杜·格罗苏 4 斯科特·斯莫尔卡。 三 弗雷德·施耐德。 2 欧尼·科恩 2 罗马克里希南，C.R。 2 列娜·Unnikrishnan 2 杨俊兴 1 Saksham Chand先生 1 迪克西特、科坦 1 克劳斯·哈维隆德 1 道格拉斯·J·豪。 1 黄晓婉 1 李宁 1 乌萨马·梅穆德 1 Doron A.Peled。 1 潘，邓 1 罗伊·舒维克 1 阿米特·萨斯图卡尔 1 贾斯汀·塞斯特 1 蒂姆·泰特鲍姆 1 阿什什·库马尔·蒂瓦里 1 杨萍 1 埃雷兹·扎多克 全部的 前5名系列 4 系统设计中的形式化方法 三 计算机程序设计科学 三 逻辑与计算杂志 1 电气电子工程师学会计算机期刊 1 理论计算机科学 1 分布式计算 1 高阶和符号计算 领域 28 计算机科学（68至XX） 8 数理逻辑与基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物被引用49中的次42文件 引用人▼ 年份▼ 模型检查多线程分布式Java程序。 Zbl 0976.68556号 斯科特·斯托勒。 8 2000 互方面：具有GCC的面向方面仪器。 Zbl 1284.68153号 贾斯汀·塞斯特;迪克西特、科坦;黄晓婉;拉杜·格罗苏;克劳斯·哈维隆德;斯科特·斯莫尔卡。;斯科特·斯托勒。;埃雷兹·扎多克 7 2012 基于管理角色的访问控制的策略分析。 Zbl 1234.68143号 阿米特·萨斯图卡尔;杨萍;斯科特·D·斯托勒。;罗马克里希南，C.R。 4 2011 通过静态增量化进行动态编程。 Zbl 1038.68024号 刘燕红A。;斯科特·斯托勒。 三 2003 结合经典集合论和函数编程语言的操作方法。 Zbl 0942.03528号 道格拉斯·J·豪。;斯科特·斯托勒。 三 1994 使用偏序方法有效检测分布式系统中的全局属性。 Zbl 0974.68501号 斯科特·斯托勒。;列娜·Unnikrishnan;刘艳红。 三 2000 建立了逻辑规则的语义和约束语义。 Zbl 1503.68178号 刘燕红A。;斯科特·斯托勒。 2 2018 优化了实时堆绑定分析。 Zbl 1022.68585号 列娜·Unnikrishnan;斯科特·斯托勒。;刘燕红A。 2 2003 消除递归数据上的死代码。 兹比尔1047.68070 刘燕红A。;斯科特·斯托勒。 2 2003 基于乐观同步的状态空间缩减。 Zbl 1031.68085号 斯科特·斯托勒。;欧尼·科恩 2 2003 建立了逻辑规则的语义和约束语义。 Zbl 07285901号 刘燕红A。;斯科特·斯托勒。 2 2020 移动机器人的避碰功能，具有有限的感知能力和有限的移动障碍物信息。 Zbl 1370.68287号 潘，邓;杨俊兴;拉杜·格罗苏;斯科特·斯莫尔卡。;斯科特·斯托勒。 2 2017 异步分布式系统中的领导者选举。 Zbl 1392.68102号 斯科特·D·斯托勒。 1 2000 加强不变量以实现高效计算。 Zbl 0988.68052号 刘燕红A。;斯科特·斯托勒。;蒂姆·泰特鲍姆 1 2002 验证使用因果顺序消息传递的程序。 Zbl 0828.68097号 斯科特·斯托勒。;弗雷德·施耐德。 1 1995 分布式系统中容错的自动分析。 Zbl 1083.68005号 斯科特·斯托勒。;弗雷德·施耐德。 1 2005 不确定世界的知识：具有逻辑约束的编程。 Zbl 07197409号 刘燕红A。;斯科特·斯托勒。 1 2020 在具有时钟的分布式系统中检测全局谓词。 Zbl 1448.68166号 斯科特·斯托勒。 1 2000 神经群集：群集控制器的基于MPC的监督学习。 Zbl 1442.68212号 乌萨马·梅穆德;Roy，Shouvik（舒维克·罗伊）;拉杜·格罗苏;斯科特·斯莫尔卡。;斯科特·D·斯托勒。;阿什什·蒂瓦里 1 2020 不确定世界的知识：具有逻辑约束的编程。 Zbl 1509.68038号 刘燕红A。;斯科特·斯托勒。 1 2021 带聚合的递归规则：简单的统一语义（扩展抽象）。 Zbl 07455720号 刘燕红A。;斯科特·斯托勒。 1 2020 不确定世界的知识：具有逻辑约束的编程。 Zbl 1509.68038号 刘燕红A。;斯科特·斯托勒。 1 2021 建立了逻辑规则的语义和约束语义。 Zbl 07285901号 刘艳红。;斯科特·斯托勒。 2 2020 不确定世界的知识：具有逻辑约束的编程。 Zbl 07197409号 刘燕红A。;斯科特·斯托勒。 1 2020 神经群集：群集控制器的基于MPC的监督学习。 Zbl 1442.68212号 乌萨马·梅穆德;Roy，Shouvik（舒维克·罗伊）;拉杜·格罗苏;斯科特·斯莫尔卡。;斯科特·斯托勒。;蒂瓦里，阿什 1 2020 带聚合的递归规则：简单的统一语义（扩展抽象）。 Zbl 07455720号 刘燕红A。;斯科特·斯托勒。 1 2020 建立了逻辑规则的语义和约束语义。 Zbl 1503.68178号 刘燕红A。;斯科特·斯托勒。 2 2018 移动机器人的避碰功能，具有有限的感知能力和有限的移动障碍物信息。 Zbl 1370.68287号 潘，邓;杨俊兴;拉杜·格罗苏;斯科特·斯莫尔卡。;斯科特·斯托勒。 2 2017 互方面：具有GCC的面向方面仪器。 Zbl 1284.68153号 贾斯汀·塞斯特;迪克西特、科坦;黄晓婉;拉杜·格罗苏;克劳斯·哈维隆德;斯科特·斯莫尔卡。;斯科特·斯托勒。;埃雷兹·扎多克 7 2012 基于管理角色的访问控制的策略分析。 Zbl 1234.68143号 阿米特·萨斯图卡尔;杨萍;斯科特·斯托勒。;罗马克里希南，C.R。 4 2011 分布式系统中容错的自动分析。 Zbl 1083.68005号 斯科特·斯托勒。;弗雷德·施耐德。 1 2005 通过静态增量进行动态编程。 Zbl 1038.68024号 刘燕红A。;斯科特·斯托勒。 三 2003 优化了实时堆绑定分析。 Zbl 1022.68585号 列娜·Unnikrishnan;斯科特·斯托勒。;刘燕红A。 2 2003 消除递归数据上的死代码。 Zbl 1047.68070号 刘艳红。;斯科特·斯托勒。 2 2003 基于乐观同步的状态空间缩减。 Zbl 1031.68085号 斯科特·斯托勒。;欧尼·科恩 2 2003 加强不变量以实现高效计算。 Zbl 0988.68052号 刘燕红A。;斯科特·斯托勒。;蒂姆·泰特鲍姆 1 2002 模型检查多线程分布式Java程序。 Zbl 0976.68556号 斯科特·斯托勒。 8 2000 使用偏序方法对分布式系统中的全局属性进行有效检测。 Zbl 0974.68501号 斯科特·斯托勒。;列娜·Unnikrishnan;刘燕红A。 三 2000 异步分布式系统中的领导者选举。 Zbl 1392.68102号 斯科特·斯托勒。 1 2000 在具有时钟的分布式系统中检测全局谓词。 Zbl 1448.68166号 斯科特·斯托勒。 1 2000 验证使用因果顺序消息传递的程序。 Zbl 0828.68097号 斯科特·斯托勒。;弗雷德·施耐德。 1 1995 结合经典集合论和函数编程语言的操作方法。 Zbl 0942.03528号 道格拉斯·J·豪。;斯科特·斯托勒。 三 1994 所有引用出版物 前5名被引用出版物 全部的 前5名91位作者引用 5 斯科特·D·斯托勒。 三 维杰·加格。 三 刘燕红安妮 三 尼拉吉·米塔尔 三 斯科特·斯莫尔卡。 2 博尔祖·博纳克达尔普尔 2 塞巴斯蒂安·费奇迈斯特 2 拉杜·格罗苏 2 达格·霍夫兰 2 沃伊切赫·莫齐德·奥斯基 2 娜塔莎·莎莉吉娜 2 乔塞普·席尔瓦 2 德国维达尔 1 胡萨姆·阿巴斯 1 卡洛·安吉利 1 凯特琳娜·巴罗内·阿德斯 1 埃齐奥·巴托西 1 安德烈亚斯·鲍尔 1 谢·贝尔科维奇 1 马克·贝泽姆 1 奇亚拉·布拉金 1 伯纳黛特·查伦·博斯特 1 希曼舒·乔汉 1 迭戈·切达 1 陈洪凯 1 欧尼·科恩 1 拜伦·库克 1 穆拉特·德米尔巴斯 1 迪克西特、科坦 1 马修·德怀尔。 1 埃里克·恩斯特罗姆 1 伊利耶斯·法尔科内 1 阿扎德法尔赞 1 科马克·弗拉纳根 1 阿德里安·弗兰卡兰扎 1 斯蒂芬·尼尔弗洛伊德 1 伏玉溪 1 帕特丽斯·戈德弗里德 1 亨宁·Günther 1 戈帕尔·古普塔 1 罗伯特·哈珀 1 约翰·哈特克利夫 1 克劳斯·哈维隆德 1 黄晓婉 1 拉杜·奥西夫 1 杰亚库马尔，G。 1 汉娜·克劳代尔 1 马西耶·库特尼 1 丹尼尔·科宁 1 Sandeep S.Kulkarni。 1 阿尔芬斯·拉尔曼（Alfons W.Laarman）。 1 亚伦·拉尔森 1 林，珊 1 弗里德曼·马特恩 1 何塞·梅塞盖尔·瓜伊塔 1 赤马森田 1 阿拉文·纳塔拉扬 1 萨曼内·纳瓦布普尔 1 克劳迪奥·奥乔亚 1 尼古拉·保莱蒂 1 Park，Seungjoon公园 1 科琳娜·s·佩斯勒诺。 1 理查德·佩弗莱 1 伊丽莎白·佩尔兹 1 约翰·佩尼克斯 1 潘，邓 1 法兰克·波默罗 1 沙兹·卡迪尔 1 拉古尔，S。 1 罗马克里希南，C.R。 1 西尔维奥·兰伊斯 1 埃尔默·萨拉扎 1 阿米特·萨斯图卡尔 1 奥德·施瓦茨 1 塞·库什克 1 桑吉特·阿伦库马尔·塞希亚 1 贾斯汀·塞斯特 1 安娜·索科洛娃 1 维迪亚·特肯·瓦拉皮尔 1 Tekle，K.Tuncay 1 Gerard电话 1 威廉·维瑟 1 尼古拉斯·威宁格 1 埃拉德·维斯 1 乔治·威森巴赫 1 杨俊兴 1 杨萍 1 Sorrachai Yingchareonsawornchai公司 1 埃雷兹·扎多克 1 谢尔盖·泽列诺夫。 1 Zelenova，S.A.公司。 全部的 前5名11篇连载文章中引用 10 系统设计中的形式化方法 6 理论计算机科学 4 分布式计算 1 编程和计算机软件 1 SIAM计算机杂志 1 纯逻辑与应用逻辑年鉴 1 新一代计算 1 信息与计算 1 计算的形式方面 1 Indagationes Mathematicae公司。新系列 1 高阶和符号计算 全部的 前5名在7个字段中引用 39 计算机科学（68至XX） 5 数理逻辑与基础（03-XX） 2 系统论；控制（93至XX） 1 总体主题；集合（00-XX） 1 代数拓扑（55-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文