编辑配置文件（在新选项卡中打开） 施耐德（Steve A.Schneider）。 合著者距离 作者ID： 施耐德·斯泰夫-a 发布日期： 史蒂夫·施耐德;Schneider公司。;施耐德（Steve A.Schneider）。;施耐德，S。 更多。。。较少的 主页： https://www.sury.ac.uk/people/steve-schneider网站 外部链接： MGP公司·ORCID公司·数据库许可证 已编制索引的文档： 39出版物自1990年以来 11作为编辑的贡献 合著者： 43位合著者具有40联合出版物 697合作作者 全部的 前5名合著者 8 单作者的 14 海伦·特里哈恩 6 Peter Y.A.Ryan。 4 陈立群 三 吉姆·戴维斯 三 尼尔·D·埃文斯。 三 詹姆斯·希瑟 2 罗布·迪利卡塔 2 Hoang，泰国儿子 2 威尔逊，伊菲尔 2 李宁辉 2 梁开泰 2 马克·曼努利斯 2 卡苏·萨科 1 阿里·E·阿卜杜拉。 1 彼得·贝奇 1 马西亚·布兰布尔 1 Vicky J.布什。 1 克里斯·库纳内 1 布里杰什·多戈尔 1 埃曼纽尔·弗里奥特 1 A.金茨。 1 韩金光 1 马丁·亨森。 1 雨果·伦纳德·容克 1 Steve F.金。 1 菲利普·基农。 1 托马斯·库利克 1 拉森，彼得·戈尔姆 1 马其顿，雨果·丹尼尔 1 阿利斯泰尔·麦克尤恩（Alistair A.McEwan）。 1 Mislove，Michael W。 1 纳迪亚·波里卡波娃 1 肯·罗宾逊 1 安德鲁·威廉·罗斯科 1 艾哈迈德·雷扎·萨德吉 1 谢赫，西拉杰·艾哈迈德 1 亚伯拉罕·西迪罗普洛斯 1 索伦森，伊布 1 斯里尼瓦桑（Srinivasan，Sriramkrishnan） 1 彼得·沃根森（Peter W.V.Tran-Jörgensen）。 1 海克·卫尔海姆 1 彼得·H·韦尔奇。 1 斯蒂芬·韦塞梅耶 1 大卫·M·威廉姆斯。 1 詹姆斯·C·P·伍德科克。 1 夏哲 1 杨，W.L。 全部的 前5名系列 9 计算机科学课堂讲稿 7 计算的形式方面 2 理论计算机科学 2 计算机程序设计科学 1 信息处理信件 1 信息与计算 1 系统设计中的形式化方法 1 多体系统动力学 1 逻辑与代数程序设计杂志 1 并发系统工程系列 1 理论计算机科学电子笔记 全部的 前5名字段 45 计算机科学（68至XX） 11 总体主题；集合（00-XX） 10 信息与通信理论、电路（94-XX） 1 数学逻辑和基础（03-XX） 1 粒子和系统力学（70-XX） 1 流体力学（76-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用127中的次111文件 引用人▼ 年份▼ CSP和匿名。 Zbl 1493.68049号 史蒂夫·施耐德;亚伯拉罕·西迪罗普洛斯 20 1996 定时CSP的简要历史。 Zbl 0874.68162号 吉姆·戴维斯;施奈德，Steve 19 1995 定时CSP的操作语义。 Zbl 0827.68069号 史蒂夫·施耐德 15 1995 通信B机器的CSP定理。 Zbl 1103.68599号 史蒂夫·施耐德;海伦·特里哈恩 14 2005 使用进程代数控制B操作。 Zbl 0963.68134号 海伦·特里哈恩;史蒂夫·施耐德 9 1999 实时过程的递归归纳。 兹伯利0806.68073 吉姆·戴维斯;史蒂夫·施耐德 9 1993 对递归身份验证协议的攻击。一个警示性的故事。 Zbl 1339.94062号 P.Y.A.瑞恩。;美国施耐德。 9 1998 Event-B细化的行为语义。 兹比尔1342.68211 史蒂夫·施耐德;海伦·特里哈恩;海克·卫尔海姆 6 2014 通信B机器。 Zbl 1044.68121号 史蒂夫·施耐德;海伦·特里哈恩 5 2002 抽象和测试。 Zbl 0954.68016号 史蒂夫·施耐德 三 1999 可测试性、无干扰性和组合性。 Zbl 1264.68112号 史蒂夫·施耐德 2 2001 区块：CSP\（\parallel\）B中的组件验证。 Zbl 1137.68439号 史蒂夫·施耐德;海伦·特里哈恩;尼尔·埃文斯 2 2005 定时CSP中的因子分解证明。 Zbl 1509.68079号 吉姆·戴维斯;史蒂夫·施耐德 2 1990 验证安全协议：CSP的应用。 Zbl 1081.68656号 史蒂夫·施耐德;罗布·迪利卡塔 1 2005 进程代数和安全（摘要）。 Zbl 1006.68709号 史蒂夫·施耐德 1 2001 一个形式化的框架，用于建模强制抵抗和无收据。 Zbl 1372.68185号 詹姆斯，希瑟;史蒂夫·施耐德 1 2012 使用PVS验证安全协议：扩大秩函数方法。 Zbl 1078.68031号 尼尔·埃文斯;史蒂夫·施耐德 1 2005 不完整的固定点。 Zbl 0874.68186号 米斯洛夫，M.W。;A.W.罗斯科。;美国施耐德。 1 1995 一致更改系统接口：CSP（\ | \）B的一种新的细化策略。 Zbl 1221.68062号 史蒂夫·施耐德;海伦·特里哈恩 1 2011 通信过程的时间优化。 Zbl 0867.68051号 史蒂夫·施耐德 1 1997 在Event-B细化中使用线性时序逻辑的基础。 Zbl 1348.68039号 Hoang，泰国儿子;史蒂夫·施耐德;海伦·特里哈恩;大卫·M·威廉姆斯。 1 2016 使用通信编写规范。 兹比尔1028.68557 海伦·特里哈恩;史蒂夫·施耐德;马西亚·布兰布尔 1 2003 储罐监测：pAMN案例研究。 Zbl 1103.68636号 史蒂夫·施耐德;Hoang，泰国儿子;肯·罗宾逊;海伦·特里哈恩 1 2006 一致更改系统接口：CSP（并行）B的一种新的细化策略。 Zbl 1211.68255号 史蒂夫·施耐德;海伦·特雷哈恩 1 2009 具有可追溯性的指定服务的匿名单点登录。 Zbl 1496.68064号 韩金光;陈立群;史蒂夫·施耐德;海伦·特里哈恩;斯蒂芬·韦塞梅耶 1 2018 具有可追溯性的指定服务的匿名单点登录。 Zbl 1496.68064号 韩金光;陈立群;施奈德，Steve;海伦·特里哈恩;斯蒂芬·韦塞梅耶 1 2018 在Event-B细化中使用线性时序逻辑的基础。 Zbl 1348.68039号 Hoang，泰国儿子;史蒂夫·施耐德;海伦·特里哈恩;大卫·M·威廉姆斯。 1 2016 Event-B细化的行为语义。 Zbl 1342.68211号 史蒂夫·施耐德;海伦·特里哈恩;海克·卫尔海姆 6 2014 一个形式化的框架，用于建模强制抵抗和无收据。 Zbl 1372.68185号 詹姆斯·希瑟;史蒂夫·施耐德 1 2012 不断改变系统接口：CSP\（\|\）B的一种新的细化策略。 Zbl 1221.68062号 史蒂夫·施耐德;海伦·特里哈恩 1 2011 一致更改系统接口：CSP（并行）B的一种新的细化策略。 Zbl 1211.68255号 史蒂夫·施耐德;海伦·特里哈恩 1 2009 储罐监测：pAMN案例研究。 Zbl 1103.68636号 史蒂夫·施耐德;Hoang，泰国儿子;肯·罗宾逊;海伦·特雷哈恩 1 2006 通信B机器的CSP定理。 Zbl 1103.68599号 史蒂夫·施耐德;海伦·特里哈恩 14 2005 区块：CSP\（\parallel\）B中的组件验证。 Zbl 1137.68439号 史蒂夫·施耐德;海伦·特雷哈恩;尼尔·埃文斯 2 2005 验证安全协议：CSP的应用。 Zbl 1081.68656号 史蒂夫·施耐德;罗布·迪利卡塔 1 2005 使用PVS验证安全协议：扩大秩函数方法。 Zbl 1078.68031号 尼尔·埃文斯;史蒂夫·施耐德 1 2005 使用通信编写规范。 Zbl 1028.68557号 海伦·特里哈恩;史蒂夫·施耐德;马西亚·布兰布尔 1 2003 通信B机器。 Zbl 1044.68121号 史蒂夫·施耐德;海伦·特雷哈恩 5 2002 可测试性、无干扰性和组合性。 Zbl 1264.68112号 史蒂夫·施耐德 2 2001 进程代数和安全（摘要）。 Zbl 1006.68709号 史蒂夫·施耐德 1 2001 使用进程代数控制B操作。 Zbl 0963.68134号 海伦·特里哈恩;史蒂夫·施耐德 9 1999 抽象和测试。 Zbl 0954.68016号 施奈德，Steve 三 1999 对递归身份验证协议的攻击。一个警示性的故事。 Zbl 1339.94062号 P.Y.A.瑞恩。;美国施耐德。 9 1998 通信过程的时间优化。 Zbl 0867.68051号 史蒂夫·施耐德 1 1997 CSP和匿名。 Zbl 1493.68049号 史蒂夫·施耐德;亚伯拉罕·西迪罗普洛斯 20 1996 定时CSP的简要历史。 Zbl 0874.68162号 吉姆·戴维斯;史蒂夫·施耐德 19 1995 定时CSP的操作语义。 Zbl 0827.68069号 史蒂夫·施耐德 15 1995 不完整的固定点。 Zbl 0874.68186号 Mislove，M.W。;A.W.罗斯科。;美国施耐德。 1 1995 实时过程的递归归纳。 兹伯利0806.68073 吉姆·戴维斯;史蒂夫·施耐德 9 1993 在定时CSP中分解证明。 Zbl 1509.68079号 吉姆·戴维斯;史蒂夫·施耐德 2 1990 所有引用出版物 前5名被引用出版物 全部的 前5名204位作者引用 10 施耐德（Steve A.Schneider）。 9 安娜·卡瓦尔坎蒂 7 海伦·特里哈恩 5 卡图西亚帕拉米德斯 5 安德鲁·威廉·罗斯科 三 休伯特·加拉维 三 弗雷德里克·朗 三 马塞尔·奥利维拉 三 Ouaknine，Joel O。 三 庞、军 三 樱田秀树 三 奥古斯托·桑帕约。 三 范格拉贝克、罗伯特·扬 三 沃尔特·福格勒 三 海克·卫尔海姆 三 詹姆斯·伍德科克。 三 詹姆斯·沃雷尔。 2 康斯坦蒂诺斯·查齐科科拉基斯 2 罗伯特·J·科尔文。 2 斯特凡尼德劳恩 2 约翰·德里克 2 柯特林·迪马 2 马克·德·因弗诺 2 董金松 2 马克·弗拉皮耶 2 玛丽·克劳德·高德尔 2 迈克尔·戈德史密斯 2 古德蒙德·格罗夫 2 Hoang，泰国儿子 2 保罗·豪威尔斯 2 川崎，吉野 2 刘，杨 2 杰拉尔德·吕特根 2 肯·马诺 2 何塞·梅塞盖尔·瓜伊塔 2 尼克·莫法特 2 亚历山大·C·莫塔。 2 西德尼·诺盖拉 2 西蒙娜·奥尔赞 2 Joy N.里德。 2 简·E·辛克莱。 2 孙，六月 2 靖国冢田 2 泽达，弗兰克 2 赵永新 1 卢卡·埃特罗 1 穆阿德省Almahalebi 1 乔·阿尔文 1 阿尔瓦罗·E·阿里纳斯。 1 Jos C.M.Baeten。 1 吉·巴伦 1 马修·史蒂文·鲍尔 1 罗曼·博希斯 1 弗朗西斯科·贝拉迪内利 1 Eerke A.Boiten。 1 安娜丽莎·博西 1 帕特丽斯·布莱蒙德·格雷戈里 1 托马斯·布伦戈斯 1 大卫·布雷索林 1 艾伦·D·伯恩斯。 1 迈克尔·巴特勒。 1 Sérgio V.A.坎波斯。 1 曹永志 1 罗希特·查达 1 周朝晨 1 艾哈迈德·查里菲 1 陈立群 1 陈伟恩 1 陈一峰 1 亚尼克·骑士 1 Choi、Jin Young 1 汤姆·乔西亚 1 克拉克，埃德蒙·梅尔森·琼。 1 菲尔·克莱顿 1 罗德卡·孔杜拉克 1 吉姆·戴维斯 1 威廉·鲍尔·德·罗弗 1 埃里克·P·德文克。 1 弗朗西安·戴奇森 1 邓玉欣 1 兹比格涅夫Dziong 1 亚历山大·埃吉德 1 圣地亚哥埃斯科瓦尔 1 尼尔·D·埃文斯。 1 玛丽·法雷尔 1 科林·菲奇。 1 里卡多·福卡迪 1 威廉·扬·福克金 1 贝诺·弗雷金 1 卡斯滕·弗里茨 1 热尔韦，弗雷德里克 1 萨道纳·哈马杜 1 韩金光 1 迈克尔·赖赫哈特·汉森 1 一郎·哈索 1 伊恩·海耶斯。 1 霍尔格·赫尔曼斯 1 乌尔里希·赫尔佐格 1 东野东彦 1 卢卡·赫斯基 …还有104位作者 全部的 前5名24篇连载文章中引用 21 计算的形式方面 19 理论计算机科学 8 信息与计算 5 计算机程序设计科学 4 信息学报 三 计算机科学中的逻辑方法 2 离散事件动态系统 2 系统设计中的形式化方法 2 高阶和符号计算 2 逻辑与代数程序设计杂志 2 程序设计中的逻辑和代数方法杂志 1 国际控制杂志 1 信息处理信件 1 信息科学 1 计算机与系统科学杂志 1 自动推理杂志 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 数学与人工智能年鉴 1 RAIRO公司。理论信息学及其应用 1 萨达纳 1 计算机语言、系统和结构 1 计算机科学中的数学 1 纯数学与应用数学进展 全部的 前5名在10个字段中引用 104 计算机科学（68至XX） 12 信息与通信理论、电路（94-XX） 8 数学逻辑和基础（03-XX） 三 系统论；控制（93至XX） 2 范畴理论；同调代数（18-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 差分方程和函数方程（39至XX） 1 运筹学、数学编程（90-XX） 1 生物学和其他自然科学（92-XX） 1 数学教育（97-XX） 按年份列出的引文