编辑配置文件（在新选项卡中打开） 斯科特·斯莫尔卡。 合著者距离 作者ID： 斯莫尔卡·斯科特-a 发布日期： 斯科特·斯莫尔卡。;S.A.斯莫尔卡。;斯科特·斯莫尔卡 更多。。。较少的 外部链接： MGP公司 已编制索引的文档： 69出版物自1983年以来，包括1本书和1个附加arXiv预打印 5名编辑的贡献 合著者： 99位合著者具有73份联合出版物 1996年合著 全部的 前5名合著者 1 单作者的 26 拉杜·格罗苏 11 罗马克里希南，C.R。 9 埃齐奥·巴托西 8 兰斯·克莱维兰 8 伊斯兰，马里兰州Ariful 5 杨俊兴 4 弗拉维奥·科拉迪尼 4 埃米利亚·恩切娃 4 阿比谢克·穆尔西 4 罗马克里希南，I.V。 4 斯科特·斯托勒。 三 杜晓群 三 戈丁，迪娜·Q。 三 卡内拉基斯，巴黎克里斯托斯 三 K.Narayan Kumar 三 林，珊 三 安娜·卢基纳 三 尼古拉·保莱蒂 三 尤金·斯塔克。 三 阿什什·库马尔·蒂瓦里 三 彼得·韦格纳 2 Jan A.Bergstra。 2 陈洪凯 2 雅克·西兰卡 2 迪·贝拉迪尼、玛丽亚·丽塔 2 董逸飞 2 卢卡斯·埃斯特利 2 弗拉维奥·芬顿。 2 黄晓婉 2 保罗·L·琼斯。 2 Katsaros，Panagiotis公司 2 李因苏普 2 Mitra，萨扬 2 约翰·赖夫（John H.Reif）。 2 阿比克·罗伊乔杜里 2 阿努·辛格 2 斯尔巴，吉里耶 2 伯恩哈德·斯特芬 1 胡萨姆·阿巴斯 1 巴沙尔·拉维 1 保罗·C·阿蒂。 1 Jos C.M.Baeten。 1 萨米克·巴苏 1 博尔祖·博纳克达尔普尔 1 格雷格·拜恩 1 乔治·查齐利夫赫里奥 1 伊丽莎白·M·切里（Elizabeth M.Cherry）。 1 泽恩·达亚尔 1 理查德·德·弗朗西斯科 1 索米亚·德布雷。 1 迪克西特、科坦 1 亚历山大·唐泽 1 樊楚楚 1 Ariel J.弗兰克。 1 高思春 1 安托万·吉拉德 1 詹姆斯·格利姆（James G.Glimm）。 1 安德烈·戈林 1 克劳斯·哈维隆德 1 赫希，克里斯蒂安 1 Yuh-Jzer Joung 1 柯蒂斯·凯勒。 1 迈克尔·基弗 1 Legay、Axel 1 刘金森 1 刘新新 1 奥德·马勒 1 乌萨马·梅穆德 1 伊曼纽拉·梅雷利 1 法隆·莫勒 1 马达万穆昆德 1 德扬·尼科维奇 1 Doron A.Peled。 1 潘，邓 1 安娜·菲利普 1 尼尔·皮特曼 1 阿尔班·蓬塞 1 罗马克里希纳，Y.S。 1 奥利维埃罗·里加内利 1 阿莱娜·罗迪奥诺娃 1 安德鲁·威廉·罗斯科 1 Roy，Shouvik（舒维克·罗伊） 1 迪普蒂卡利安·萨哈 1 卡伦·萨卡拉。 1 Beata Sarna-Starosta公司 1 贾斯汀·塞斯特 1 古尔迪普·辛格 1 奥列格·索科尔斯基 1 Elaine L.Sonnederger。 1 罗伯特·斯特罗姆（Robert E.Strom）。 1 路易斯·马里·特劳努埃兹 1 范格拉贝克、罗伯特·扬 1 Venkatakrishnan，V.N.公司。 1 吴苏伟 1 杨平 1 杨紫江 1 袁，Shoji 1 埃雷兹·扎多克 1 艾米·扎里科（Amy E.Zwarico）。 全部的 前5名系列 6 信息与计算 4 理论计算机科学 2 系统设计中的形式化方法 2 计算机科学课堂讲稿 1 信息学报 1 信息处理信函 1 计算机程序设计科学 1 算法 1 国际并行程序设计杂志 1 计算的形式方面 1 IBM研究与开发杂志 1 IEEE软件工程汇刊 1 美国医学会杂志 1 逻辑程序设计理论与实践 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 1 计算机科学本科专题 全部的 前5名领域 62 计算机科学（68至XX） 13 生物学和其他自然科学（92-XX） 10 系统论；控制（93至XX） 4 总体主题；集合（00-XX） 三 运筹学、数学规划（90-XX） 2 数学逻辑和基础（03-XX） 2 概率论与随机过程（60-XX） 2 信息与通信理论、电路（94-XX） 1 常微分方程（34-XX） 1 数值分析（65-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 57出版物有被引用669次中的次547文件 引用人▼ 年份▼ CCS表达式、有限状态过程和三个等价问题。 Zbl 0705.68063号 Kanellakis，巴黎C。;斯科特·斯莫尔卡。 121 1990 概率过程的反应模型、生成模型和分层模型。 兹比尔0832.68042 罗布·范·格拉贝克。;斯科特·斯莫尔卡。;伯恩哈德·斯特芬 94 1995 过程代数手册。 Zbl 0971.00006号 88 2001 概率系统的模型修复。 Zbl 1316.68070号 埃齐奥·巴托西;拉杜·格罗苏;Katsaros，Panagiotis公司;罗马克里希南，C.R。;斯科特·斯莫尔卡。 54 2011 公理化概率过程：具有生成概率的ACP。 Zbl 0829.60044号 巴顿，J.C.M。;J.A.伯格斯特拉。;S.A.斯莫尔卡。 28 1995 移动自组网的进程演算。 Zbl 1192.68451号 阿努·辛格;罗马克里希南，C.R。;斯科特·斯莫尔卡。 25 2010 概率I/O自动机的组成和行为。 Zbl 0903.68123号 吴苏伟;斯科特·斯莫尔卡。;尤金·斯塔克。 23 1997 蒙特卡洛模型检查。 兹比尔1087.68590 拉杜·格罗苏;斯科特·斯莫尔卡。 21 2005 测试概率过程的预订单。 Zbl 1045.68564号 兰斯·克莱维兰;泽恩·达亚尔;斯科特·斯莫尔卡。;袁，Shoji 20 1999 交互式计算。新范式。 Zbl 1106.68002号 18 2006 图灵机、转换系统和交互。 兹比尔1090.68040 戈丁，迪娜·Q。;斯科特·斯莫尔卡。;保罗·C·阿蒂。;Elaine L.Sonnederger。 16 2004 测试概率过程的预订单。 Zbl 1425.68289号 兰斯·克莱维兰;斯科特·斯莫尔卡。;艾米·兹瓦里科 14 1992 关于时序逻辑和信号处理。 Zbl 1374.68278号 亚历山大·唐泽;奥德·马勒;埃齐奥·巴托西;德扬·尼科维奇;拉杜·格罗苏;斯科特·斯莫尔卡 9 2012 学习和检测心肌细胞网络中的紧急行为。 Zbl 1144.92313号 R.格鲁苏。;巴托西，E。;科拉迪尼，F。;恩切娃，E。;S.A.斯莫尔卡。;Wasilewska，A。 8 2008 弱模态微积分中的部分阶降阶。 Zbl 1512.68160号 罗马克里希纳，Y.S。;斯科特·斯莫尔卡。 8 1997 统计模型检查。 Zbl 1482.68142号 Legay、Axel;安娜·卢基纳;路易斯·玛丽·特劳努埃兹;杨俊兴;斯科特·斯莫尔卡。;拉杜·格罗苏 8 2019 可兴奋细胞的学习循环线性混合自动机。 Zbl 1221.93019号 R.格鲁苏。;密特拉，S。;Ye，P。;恩切娃，E。;罗马克里希南，I.V。;S.A.斯莫尔卡。 7 2007 使用近似互模拟降低离子通道动力学的模型阶数。 Zbl 1337.92061号 伊斯兰，马里兰州Ariful;阿比谢克·穆尔西;埃齐奥·巴托西;伊丽莎白·M·切里（Elizabeth M.Cherry）。;弗拉维奥·芬顿。;詹姆斯·格利姆;斯科特·斯莫尔卡。;拉杜·格罗苏 7 2015 互方面：具有GCC的面向方面仪器。 Zbl 1284.68153号 贾斯汀·塞斯特;迪克西特、科坦;黄晓婉;拉杜·格罗苏;克劳斯·哈弗伦德;斯科特·斯莫尔卡。;斯科特·斯托勒。;埃雷兹·扎多克 7 2012 模态微积分中的真空度检查。 Zbl 1275.68090号 董逸飞;Beata Sarna-Starosta公司;罗马克里希南，C.R。;斯科特·斯莫尔卡。 5 2002 使用概率表逻辑编程进行模型检查。 Zbl 1260.68062号 安德烈·戈林;罗摩克里希南。;斯科特·斯莫尔卡。 5 2012 抽象模型修复。 Zbl 1448.68292号 乔治·查齐利夫赫里奥;博尔祖·博纳克达尔普尔;Katsaros，Panagiotis公司;斯科特·斯莫尔卡。 5 2015 关于通信过程网络中合作与对抗的分析。 Zbl 0636.68023号 Kanellakis，巴黎C。;斯科特·斯莫尔卡。 4 1988 优先级为极值概率。 Zbl 0860.68027号 斯科特·斯莫尔卡。;伯恩哈德·斯特芬 4 1996 图灵机、转换系统和交互。 Zbl 1260.68267号 戈丁，迪娜·Q。;斯科特·斯莫尔卡。;彼得·韦格纳 4 2002 用于概率I/O自动机的过程代数语言。 Zbl 1274.68255号 尤金·斯塔克。;兰斯·克莱维兰;斯科特·斯莫尔卡。 4 2003 最小不动点的简单线性时间算法（扩展抽象）。 Zbl 1527.68132号 刘新新;斯科特·斯莫尔卡。 4 1998 分布式通信过程的数据流分析。 Zbl 0714.68003号 约翰·赖夫（John H.Reif）。;斯科特·斯莫尔卡。 三 1990 XMC：一个基于逻辑编程的验证工具集。 Zbl 0974.68571号 罗马克里希南，C.R。;罗马克里希南，I.V。;斯科特·斯莫尔卡。;董逸飞;杜晓群;阿比克·罗伊乔杜里;Venkatakrishnan，V.N.公司。 三 2000 本地模型检查和协议分析。 Zbl 1059.68584号 杜晓群;斯科特·斯莫尔卡。;兰斯·克莱维兰 三 1999 对多方互动复杂性的综合研究。 Zbl 0882.68036号 Yuh-Jzer Joung;斯科特·斯莫尔卡。 三 1996 心脏细胞动力学的组成结果。 Zbl 1362.92017年 伊斯兰，马里兰州Ariful;阿比谢克·穆尔西;安托万·吉拉德;斯科特·斯莫尔卡。;拉杜·格罗苏 三 2014 演算的逻辑编码：使用表格分辨率对移动进程进行模型检查。 Zbl 1022.68588号 杨平;罗马克里希南，C.R。;斯科特·斯莫尔卡。 三 2003 心律失常检测算法的定量正则表达式。 Zbl 1416.92097号 胡萨姆·阿巴斯;阿莱娜·罗迪奥诺娃;埃齐奥·巴托西;斯科特·斯莫尔卡。;拉杜·格罗苏 三 2017 基于查询的adhoc网络协议模型检查。 Zbl 1254.68157号 辛格，阿努;罗马克里希南，C.R。;斯科特·斯莫尔卡。 三 2009 使用混合I/O自动机对心脏组织进行建模和仿真。 兹比尔1173.68028 巴托西，E。;科拉迪尼，F。;M.R.迪·贝拉迪尼。;恩切娃，E。;S.A.斯莫尔卡。;R.格鲁苏。 三 2009 CONCUR’95：并发理论。第六届国际会议，美国宾夕法尼亚州费城，1995年8月21日至24日。诉讼程序。 Zbl 0875.00126号 2 1995 分布式通信过程中可达性的复杂性。 Zbl 0637.68032号 约翰·赖夫（John H.Reif）。;斯科特·斯莫尔卡。 2 1988 树模式匹配的分布式算法。 Zbl 0648.68073号 古尔迪普·辛格;斯科特·斯莫尔卡。;罗马克里希南，I.V。 2 1988 使用逻辑程序转换验证参数化系统。 Zbl 0964.68018号 阿比克·罗伊乔杜里;K.Narayan Kumar;罗马克里希南，C.R。;罗马克里希南，I.V。;斯科特·斯莫尔卡。 2 2000 使用SOS优化和实域上的delta可判定性计算互模拟函数。 Zbl 1364.93728号 阿比谢克·穆尔西;伊斯兰，马里兰州Ariful;斯科特·斯莫尔卡。;拉杜·格罗苏 2 2015 StonyCam：建模、分析和调节心肌细胞的正式框架。 Zbl 1143.92316号 埃齐奥·巴托奇;弗拉维奥·科拉迪尼;拉杜·格罗苏;伊曼纽拉·梅雷利;奥利维耶罗·里加内利;斯科特·斯莫尔卡。 2 2008 移动机器人的避碰功能，具有有限的感知能力和有限的移动障碍物信息。 Zbl 1370.68287号 潘，邓;杨俊兴;拉杜·格罗苏;斯科特·斯莫尔卡。;斯科特·斯托勒。 2 2017 用于模拟可兴奋组织的混合I/O自动机空间网络。 Zbl 1279.68246号 埃齐奥·巴托西;弗拉维奥·科拉迪尼;迪·贝拉迪尼、玛丽亚·丽塔;埃米利亚·恩切娃;拉杜·格罗苏;斯科特·斯莫尔卡。 2 2008 基于STL的网络物理系统弹性公式。 Zbl 07643431号 陈洪凯;林，珊;斯科特·斯莫尔卡。;尼古拉·保莱蒂 2 2022 拉格朗日可达性。 Zbl 1497.93011号 雅克·西兰卡;伊斯兰，马里兰州Ariful;格雷格·拜恩;保罗·琼斯;斯科特·斯莫尔卡。;拉杜·格罗苏 2 2017 隐藏可能失败的资源：公理化的观点。 Zbl 1003.68089号 安娜·菲利普;奥列格·索科尔斯基;李因苏普;兰斯·克莱维兰;斯科特·斯莫尔卡。 1 2001 无计时系统的实时验证技术。 Zbl 0971.68101号 杜晓群;罗马克里希南，C.R。;斯科特·斯莫尔卡。 1 2000 关于互模拟的计算复杂性，redux。 Zbl 1074.68038号 法隆·莫勒;斯科特·斯莫尔卡;吉·斯尔巴 1 2004 ARES：最优方案的自适应滚动时域综合。 Zbl 1453.90181号 安娜·卢基纳;卢卡斯·埃斯特利;赫希，克里斯蒂安;埃齐奥·巴托西;杨俊兴;阿什什·蒂瓦里;斯科特·斯莫尔卡。;拉杜·格罗苏 1 2017 神经群集：群集控制器的基于MPC的监督学习。 Zbl 1442.68212号 乌萨马·梅穆德;Roy，Shouvik（舒维克·罗伊）;拉杜·格罗苏;斯科特·斯莫尔卡。;斯科特·斯托勒。;阿什什·蒂瓦里 1 2020 概率I/O自动机：两个等价理论。 Zbl 1151.68554号 尤金·斯塔克。;兰斯·克莱维兰;斯科特·斯莫尔卡。 1 2006 饮食和运动不确定性下的1型糖尿病数据驱动稳健控制。 兹比尔1416.92095 尼古拉·保莱蒂;刘金森;斯科特·斯莫尔卡。;林，单 1 2017 模型检查抽头收回秀丽线虫. Zbl 1412.92039号 伊斯兰，马里兰州Ariful;理查德·德·弗朗西斯科;樊楚楚;拉杜·格罗苏;萨扬·密特拉;斯科特·斯莫尔卡。 1 2015 用于构建和分析系统的工具和算法。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。 Zbl 1268.68030号 1 2013 使用SOS优化和δ可判定性计算输入输出稳定性的组合证明。 Zbl 1351.93133号 阿比谢克·穆尔西;伊斯兰，马里兰州Ariful;斯科特·斯莫尔卡。;拉杜·格罗苏 1 2017 进程代数和模型检查。 Zbl 1392.68243号 兰斯·克莱维兰;A.W.罗斯科。;斯科特·斯莫尔卡。 1 2018 基于STL的网络物理系统弹性公式。 Zbl 07643431号 陈洪凯;林，珊;斯科特·斯莫尔卡。;尼古拉·保莱蒂 2 2022 神经群集：群集控制器的基于MPC的监督学习。 Zbl 1442.68212号 乌萨马·梅穆德;Roy，Shouvik（舒维克·罗伊）;拉杜·格罗苏;斯科特·斯莫尔卡。;斯科特·斯托勒。;阿什什·蒂瓦里 1 2020 统计模型检查。 兹比尔1482.68142 Legay、Axel;安娜·卢基纳;路易·玛丽·特劳诺（Louis Marie Traonouez）;杨俊兴;斯科特·斯莫尔卡。;拉杜·格罗苏 8 2019 进程代数和模型检查。 Zbl 1392.68243号 兰斯·克莱维兰;A.W.罗斯科。;斯科特·斯莫尔卡。 1 2018 心律失常检测算法的定量正则表达式。 Zbl 1416.92097号 胡萨姆·阿巴斯;阿莱娜·罗迪奥诺娃;埃齐奥·巴托西;斯科特·斯莫尔卡。;拉杜·格罗苏 三 2017 移动机器人的避碰功能，具有有限的感知能力和有限的移动障碍物信息。 Zbl 1370.68287号 潘，邓;杨俊兴;拉杜·格罗苏;斯科特·斯莫尔卡。;斯科特·D·斯托勒。 2 2017 拉格朗日可达性。 Zbl 1497.93011号 杰塞克·西兰卡;伊斯兰，马里兰州Ariful;格雷格·拜恩;保罗·琼斯;斯科特·斯莫尔卡。;拉杜·格罗苏 2 2017 ARES：最优计划的自适应后退时域综合。 Zbl 1453.90181号 安娜·卢基纳;卢卡斯·埃斯特利;赫希，克里斯蒂安;埃齐奥·巴托西;杨俊兴;阿什什·蒂瓦里;斯科特·斯莫尔卡。;拉杜·格罗苏 1 2017 饮食和运动不确定性下的1型糖尿病数据驱动稳健控制。 Zbl 1416.92095号 尼古拉·保莱蒂;刘金森;斯科特·斯莫尔卡。;林，珊 1 2017 使用SOS优化和δ可判定性计算输入输出稳定性的组合证明。 Zbl 1351.93133号 阿比谢克·穆尔西;伊斯兰，马里兰州Ariful;斯科特·斯莫尔卡。;拉杜·格罗苏 1 2017 使用近似互模拟降低离子通道动力学的模型阶数。 Zbl 1337.92061号 伊斯兰，马里兰州Ariful;阿比谢克·穆尔西;埃齐奥·巴托西;伊丽莎白·M·切里（Elizabeth M.Cherry）。;弗拉维奥·芬顿。;詹姆斯，格利姆;斯科特·斯莫尔卡。;拉杜·格罗苏 7 2015 抽象模型修复。 Zbl 1448.68292号 乔治·查齐利夫赫里奥;博尔祖·博纳克达尔普尔;Katsaros，Panagiotis公司;斯科特·斯莫尔卡。 5 2015 使用SOS优化和reals上的\（\delta\）-可判定性计算互模拟函数。 Zbl 1364.93728号 阿比谢克·穆尔西;伊斯兰，马里兰州Ariful;斯科特·斯莫尔卡。;拉杜·格罗苏 2 2015 模型检查抽头收回秀丽线虫. Zbl 1412.92039号 伊斯兰，马里兰州Ariful;理查德·德·弗朗西斯科;樊楚楚;拉杜·格罗苏;萨扬·密特拉;斯科特·斯莫尔卡。 1 2015 心脏细胞动力学的组成结果。 Zbl 1362.92017年 伊斯兰，马里兰州Ariful;阿比谢克·穆尔西;安托万·吉拉德;斯科特·斯莫尔卡。;拉杜·格罗苏 三 2014 用于构建和分析系统的工具和算法。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。 Zbl 1268.68030号 1 2013 关于时序逻辑和信号处理。 Zbl 1374.68278号 亚历山大·唐泽;奥德·马勒;埃齐奥·巴托西;尼克维奇，德扬;拉杜·格罗苏;斯科特·斯莫尔卡 9 2012 互方面：具有GCC的面向方面仪器。 Zbl 1284.68153号 贾斯汀·塞斯特;迪克西特、科坦;黄晓婉;拉杜格罗苏;克劳斯·哈维隆德;斯科特·斯莫尔卡。;斯科特·斯托勒。;埃雷兹扎多克 7 2012 使用概率表逻辑编程进行模型检查。 Zbl 1260.68062号 安德烈·戈林;罗马克里希南，C.R。;斯科特·斯莫尔卡。 5 2012 概率系统的模型修复。 Zbl 1316.68070号 埃齐奥·巴托西;拉杜·格罗苏;Katsaros，Panagiotis公司;罗马克里希南，C.R。;斯科特·斯莫尔卡。 54 2011 移动自组网的进程演算。 Zbl 1192.68451号 阿努·辛格;罗马克里希南，C.R。;斯科特·斯莫尔卡。 25 2010 基于查询的adhoc网络协议模型检查。 Zbl 1254.68157号 阿努·辛格;罗马克里希南，C.R。;斯科特·斯莫尔卡。 三 2009 使用混合I/O自动机对心脏组织进行建模和仿真。 Zbl 1173.68028号 巴托奇，E。;科拉迪尼，F。;M.R.迪·贝拉迪尼。;恩切娃，E。;S.A.斯莫尔卡。;R.格鲁苏。 三 2009 学习和检测心肌细胞网络中的紧急行为。 Zbl 1144.92313号 R.格鲁苏。;巴托奇，E。;科拉迪尼，F。;恩切娃，E。;S.A.斯莫尔卡。;Wasilewska，A。 8 2008 StonyCam：建模、分析和调节心肌细胞的正式框架。 Zbl 1143.92316号 埃齐奥·巴托西;弗拉维奥·科拉迪尼;拉杜·格罗苏;伊曼纽拉·梅雷利;奥利维埃罗·里加内利;斯科特·斯莫尔卡。 2 2008 用于模拟可兴奋组织的混合I/O自动机空间网络。 Zbl 1279.68246号 埃齐奥·巴托西;弗拉维奥·科拉迪尼;迪·贝拉迪尼、玛丽亚·丽塔;埃米利亚·恩切娃;拉杜·格罗苏;斯科特·斯莫尔卡。 2 2008 可兴奋细胞的学习循环-线性混合自动机。 Zbl 1221.93019号 R.格鲁苏。;密特拉，S。;Ye，P。;恩切娃，E。;罗马克里希南，I.V。;S.A.斯莫尔卡。 7 2007 交互式计算。新范式。 Zbl 1106.68002号 18 2006 概率I/O自动机：两个等价理论。 Zbl 1151.68554号 尤金·斯塔克。;兰斯·克莱维兰;斯科特·斯莫尔卡。 1 2006 蒙特卡洛模型检查。 兹比尔1087.68590 拉杜·格罗苏;斯科特·斯莫尔卡。 21 2005 图灵机、转换系统和交互。 兹比尔1090.68040 戈丁，迪娜·Q。;斯科特·斯莫尔卡。;保罗·C·阿蒂。;Elaine L.Sonnederger。 16 2004 关于互模拟的计算复杂性，redux。 Zbl 1074.68038号 法隆·莫勒;斯科特·斯莫尔卡;吉·斯尔巴 1 2004 用于概率I/O自动机的过程代数语言。 Zbl 1274.68255号 尤金·斯塔克。;兰斯·克莱维兰;斯科特·斯莫尔卡。 4 2003 演算的逻辑编码：使用表格分辨率对移动进程进行模型检查。 Zbl 1022.68588号 杨平;罗马克里希南，C.R。;斯科特·斯莫尔卡。 三 2003 模态微积分中的真空度检查。 Zbl 1275.68090号 董逸飞;Beata Sarna-Starosta公司;罗马克里希南，C.R。;斯科特·斯莫尔卡。 5 2002 图灵机、过渡系统和交互。 Zbl 1260.68267号 戈丁，迪娜·Q。;斯科特·斯莫尔卡。;彼得·韦格纳 4 2002 过程代数手册。 Zbl 0971.00006号 88 2001 隐藏可能失败的资源：公理化的观点。 Zbl 1003.68089号 安娜·菲利普;奥列格·索科尔斯基;李因苏普;兰斯·克莱维兰;斯科特·斯莫尔卡。 1 2001 XMC：一个基于逻辑编程的验证工具集。 Zbl 0974.68571号 罗马克里希南，C.R。;罗马克里希南，I.V。;斯科特·斯莫尔卡。;董逸飞;杜晓群;阿比克·罗伊乔杜里;Venkatakrishnan，V.N.公司。 三 2000 使用逻辑程序转换验证参数化系统。 Zbl 0964.68018号 阿比克·罗伊乔杜里;K.Narayan Kumar;罗马克里希南，C.R。;罗马克里希南，I.V。;斯科特·斯莫尔卡。 2 2000 非定时系统的实时验证技术。 Zbl 0971.68101号 杜晓群;罗马克里希南，C.R。;斯科特·斯莫尔卡。 1 2000 测试概率过程的预订单。 Zbl 1045.68564号 兰斯·克莱维兰;泽内普·达亚尔;斯科特·斯莫尔卡。;袁，Shoji 20 1999 本地模型检查和协议分析。 Zbl 1059.68584号 杜晓群;斯科特·斯莫尔卡。;兰斯·克莱维兰 三 1999 最小不动点的简单线性时间算法（扩展抽象）。 兹比尔1527.68132 刘新新;斯科特·斯莫尔卡。 4 1998 概率I/O自动机的组成和行为。 兹比尔0903.68123 吴苏伟;斯科特·斯莫尔卡。;尤金·斯塔克。 23 1997 弱模态微积分中的部分阶降阶。 Zbl 1512.68160号 罗马克里希纳，Y.S。;斯科特·斯莫尔卡。 8 1997 优先级为极值概率。 Zbl 0860.68027号 斯科特·斯莫尔卡。;伯恩哈德·斯特芬 4 1996 对多方互动复杂性的综合研究。 Zbl 0882.68036号 Yuh-Jzer Joung;斯科特·斯莫尔卡。 三 1996 概率过程的反应模型、生成模型和分层模型。 Zbl 0832.68042号 罗布·范·格拉贝克。;斯科特·斯莫尔卡。;伯恩哈德·斯特芬 94 1995 公理化概率过程：具有生成概率的ACP。 Zbl 0829.60044号 巴顿，J.C.M。;J.A.伯格斯特拉。;斯莫尔卡，S.A。 28 1995 CONCUR’95：并发理论。第六届国际会议，美国宾夕法尼亚州费城，1995年8月21日至24日。诉讼程序。 Zbl 0875.00126号 2 1995 测试概率过程的预订单。 Zbl 1425.68289号 兰斯·克莱维兰;斯科特·斯莫尔卡。;艾米·兹瓦里科 14 1992 CCS表达式、有限状态过程和三个等价问题。 Zbl 0705.68063号 Kanellakis，巴黎C。;斯科特·斯莫尔卡。 121 1990 分布式通信过程的数据流分析。 Zbl 0714.68003号 约翰·赖夫（John H.Reif）。;斯科特·斯莫尔卡。 三 1990 关于通信过程网络中合作与对抗的分析。 Zbl 0636.68023号 Kanellakis，巴黎C。;斯科特·斯莫尔卡。 4 1988 分布式通信过程中可达性的复杂性。 Zbl 0637.68032号 约翰·赖夫（John H.Reif）。;斯科特·斯莫尔卡。 2 1988 树模式匹配的分布式算法。 Zbl 0648.68073号 古尔迪普·辛格;斯科特·斯莫尔卡。;罗马克里希南，I.V。 2 1988 所有引用出版物 前5名被引用出版物 全部的 前5名884位作者引用 22 斯科特·斯莫尔卡。 17 Joost-Pieter卡托恩 16 马可·贝尔纳多 14 金·古德斯特兰·拉森 12 埃齐奥·巴托西 11 埃里克·P·德文克。 11 拉杜·格罗苏 10 瓦伦蒂娜·卡斯蒂格利奥尼 10 牧场克利夫兰 10 塞巴斯蒂安·荣格斯 10 杰拉尔德·吕特根 10 卢茨·施罗德 10 西蒙·蒂尼 9 霍尔格·赫尔曼斯 8 米歇尔·洛雷蒂 8 吉·斯尔巴 8 沃尔特·福格勒 7 米罗斯拉夫·奇·伊里奇。 7 弗拉维奥·科拉迪尼 7 Jan Friso，格鲁特 7 巴斯·卢提克 7 安德烈·斯科伦 6 De Nicola，罗科 6 邓玉欣 6 伊格尼亚托维奇（Jelena Ignjatović） 6 简·J·M·M·鲁顿。 6 罗伯特·詹·范·格拉贝克 5 卢卡·埃特罗 5 克里斯特尔·拜尔 5 安托万·金特里尼 5 谢尔盖·冈查洛夫 5 罗伯托·戈里埃里 5 轩尼诗，Matthew C.B。 5 Huynh，Dung T。 5 Anna Ingólfsdóttir 5 弗雷德里克·朗 5 拉诺特、拉格罗 5 马西莫·梅罗 5 Manuel A.努内兹。 5 克里斯托夫·劳赫 5 van Benthem，Johan F.A.K。 4 奥利维埃·博迪尼 4 Eerke A.Boiten。 4 菲利波·邦奇 4 罗伯托·布鲁尼 4 佩德罗·鲁宾·达吉尼奥 4 约翰·德里克 4 何塞·德斯哈奈斯 4 亚历山德拉·迪·皮耶罗 4 Daniel E.Gebler。 4 彼得·霍夫纳 4 Marta Z.Kwiatkowska。 4 Legay、Axel 4 拉杜·马达尔 4 拉杜·马特埃斯库 4 斯特凡·米利厄斯 4 乌戈·蒙塔纳里。 4 帕南加登，普拉卡什 4 弗雷德里克·佩申斯基 4 亚历山大·席尔瓦 4 田璐 4 安德烈亚·图里尼 4 瓦伦蒂安·瓦莱罗 4 安德烈·范丁 4 赫伯特，威克利基 4 托尔斯滕·维曼 4 Yen、Hsuchun 三 苏珊娜·安多瓦 三 保罗·C·阿蒂。 三 Jos C.M.巴滕。 三 博尔祖·博纳克达尔普尔 三 马塞洛·玛丽亚·邦桑格 三 米歇尔·博雷尔 三 马里奥·布雷韦蒂 三 杰雷米·卡贝萨 三 卢卡·卡德利 三 克里希南德·查特吉 三 费尔南多·库亚特罗 三 马蒂厄·迪恩 三 阿戈斯蒂诺·多维尔 三 索玛·杜塔 三 埃米利亚·恩切娃 三 费雷尔·菲奥里蒂，路易斯·玛丽亚 三 威廉·扬·福克金 三 约翰·加拉赫（John P.Gallagher）。 三 休伯特·加拉维 三 葡萄藤古普塔 三 克里斯·汉金。 三 托马斯·亨辛格（Thomas A.Henzinger）。 三 拉德哈·贾加迪桑 三 彼得·扬查尔 三 大卫·詹森（David N.Jansen）。 三 尼尔斯·詹森 三 本特·琼森 三 南希·安·林奇 三 马燕芳 三 米拉·塞德尔巴姆少校。 三 伊曼纽拉·梅雷利 三 马尔科·穆尼兹 三 卢卡·帕多瓦尼 …还有784位作者 全部的 前5名69篇连载文章中引用 89 理论计算机科学 49 信息与计算 22 计算的形式方面 17 系统设计中的形式化方法 16 信息学报 16 计算机科学中的逻辑方法 11 逻辑与代数编程杂志 11 程序设计中的逻辑和代数方法杂志 10 信息处理信函 6 模糊集与系统 6 计算机与系统科学杂志 6 分布式计算 5 信息科学 5 计算机程序设计科学 4 纯逻辑与应用逻辑年鉴 4 计算机科学中的数学结构 4 逻辑程序设计理论与实践 4 非线性分析。混合动力系统 三 控制论与系统分析 三 计算机基础理论 三 自然计算 三 ACM计算逻辑汇刊 2 人工智能 2 哲学逻辑杂志 2 数学系统理论 2 编程和计算机软件 2 机器学习 2 Matematicheskie Voprosy Kriptografii公司 1 计算机与数学及其应用 1 应用力学与工程中的计算机方法 1 混沌、孤子和分形 1 计算 1 合成 1 计算机科学与技术杂志 1 算法 1 国际并行程序设计杂志 1 自动推理杂志 1 国际近似推理杂志 1 经济动力学与控制杂志 1 神经计算 1 国际计算机科学基础杂志 1 离散事件动态系统 1 赖罗。Informatique Théorique et Applications公司 1 工程、通信和计算中的应用代数 1 计算与决策科学基础 1 菲洛马 1 组合数学电子杂志 1 数学与人工智能年鉴 1 工程中的数学问题 1 离散数学和理论计算机科学。DMTCS公司 1 武汉大学自然科学学报 1 非线性科学与数值模拟中的通信 1 国际应用数学与计算机科学杂志 1 赖罗。理论信息学及其应用 1 应用数学与计算杂志 1 计算机语言、系统和结构 1 智能与模糊系统杂志 1 应用逻辑杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 国际并行、紧急和分布式系统杂志 1 上海交通大学学报（科学版） 1 理论计算机科学的基础和发展趋势 1 国际生物数学杂志 1 算法 1 科学中国。信息科学 1 \（p\）-Adic数、超微分析和应用 1 赖罗。理论信息学及其应用 1 计算机科学前沿 1 组合数学的进展 全部的 前5名32个字段中引用 509 计算机科学（68至XX） 78 数学逻辑和基础（03-XX） 38 系统论；控制（93至XX） 30 概率论与随机过程（60-XX） 21 生物学和其他自然科学（92-XX） 15 博弈论、经济学、金融和其他社会和行为科学（91-XX） 14 范畴理论；同调代数（18-XX） 12 运筹学、数学规划（90-XX） 11 信息与通信理论、电路（94-XX） 10 组合数学（05-XX） 7 常微分方程（34-XX） 6 数值分析（65-XX） 4 动力系统和遍历理论（37至XX） 4 统计学（62-XX） 2 历史和传记（01-XX） 2 阶、格、有序代数结构（06-XX） 2 数论（11-XX） 2 偏微分方程（35-XX） 2 凸和离散几何（52至XX） 1 总体主题；集合（00-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 实际功能（26年X月X日） 1 积分变换，运算微积分（44-XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 1 变分法与最优控制；最优化（49至XX） 1 一般拓扑结构（54至XX） 1 粒子和系统力学（70-XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 光学、电磁理论（78-XX） 1 量子理论（81-XX） 按年份列出的引文