停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

斯托顿巷

阿伦·斯托顿

>主页 >人员

人员信息

附属： 美国马萨诸塞州波士顿大学
隶属关系（前）： 麻省理工学院林肯实验室，美国马萨诸塞州列克星敦

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2022
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/斯托顿CGQ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/StoughtonCGQ22
斯托顿巷，陈盈琏，马可·加博阿迪，威豪区:
在EasyCrypt的查询模型中形式化算法边界。 ITP公司 2022:30:1-30:21
2020
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/StoughtonV20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/StoughtonV20
斯托顿巷，马可·瓦塞纳:
PLS20:第15届编程语言和安全分析研讨会。 CCS系统 2020:2151-2152
[e1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/2020plas文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/2020plas
斯托顿巷，马可·瓦塞纳:
PLS’20：第15届编程语言和安全分析研讨会会议记录，虚拟事件，美国，2020年11月13日。 ACM公司 2020，国际标准图书编号978-1-4503-8092-8 [目录]

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/AlmeidaBBBDGL0S19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/AlmeidaBBBDGL0S19
何塞·巴克莱尔·阿尔梅达，Cécile Baritel-Ruet酒店，曼纽尔·巴博萨，吉尔斯·巴特，弗朗索瓦·杜普斯托尔，本杰明·格雷戈里，文森特·拉波特，蒂亚戈·奥利维拉，斯托顿巷，皮埃尔·伊夫·斯特鲁布:
密码标准的机器检查证明：海绵的无异性和SHA-3的安全高保证实现。 CCS系统 2019:1607-1622
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/CanettiSV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/CanettiSV19
兰·卡内蒂，斯托顿巷，玛雅语Varia:
EasyUC：使用EasyCrypt实现通用可组合安全性的机械化证明。 CSF公司 2019:167-183
[i3]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/CanettiSV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/CanettiSV19
兰·卡内蒂，斯托顿巷，马扬克瓦里亚:
EasyUC：使用EasyCrypt来机械化通用可组合安全性的证明。 IACR加密。电子打印架构。 2019:582(2019)
[i2]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/AlmeidaBBBDGLOS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/AlmeidaBBBDGLOS19
何塞·巴塞拉·阿尔梅达，Cécile Baritel-Ruet酒店，曼纽尔·巴博萨，吉尔斯·巴特，弗朗索瓦·杜普斯托尔，本杰明·格雷戈里，文森特·拉波特，蒂亚戈·奥利维拉，斯托顿巷，皮埃尔·伊夫·斯特鲁布:
密码标准的机器检查证明。 IACR加密。电子打印架构。 2019:1155(2019)
2017
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/斯托顿V17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/StoughtonV17
斯托顿巷，玛雅语Varia:
随机Oracle模型中加密协议的自适应信息论安全性的机械化证明。 CSF公司 2017:83-99
2016
[j4]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigsoft/HughesSSPRJ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigsoft/HughesSSPRJ16
杰弗里·休斯，卡桑德拉火花，斯托顿巷，林库·帕里克，阿尔伯特·鲁瑟，苏雷什·贾甘纳森:
构建资源自适应软件系统（BRASS）：目标和系统评估。 ACM SIGSOFT软件。工程注释 41(1):1-2(2016)
2015
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HughesSSPRJ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HughesSSPRJ15
杰弗里·休斯，卡桑德拉火花，斯托顿巷，林库·帕里克，阿尔伯特·鲁瑟，苏雷什·贾甘纳森:
构建资源自适应软件系统（BRASS）：目标和系统评估。 CoRR公司 abs/1510.02104(2015)
2014
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecoop/Stoughton公司JBCCFZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecoop/StoughtonJBCCFZ14
斯托顿巷，安德鲁·约翰逊，塞缪尔·贝勒，卡里什马·查达，Dennis Chen（丹尼斯·陈），肯尼思·福纳，迈克尔·日维奇:
你弄脏了我的战舰！：安全编程案例研究。塑料@ECOOP 2014:2

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2008
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/斯托顿08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/Stoughton08
斯托顿巷:
面向命令程序的功能模型-视图控制软件体系结构。 ICFP-WGP公司 2008:1-12
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/斯托顿08a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/Stoughton08a
斯托顿巷:
使用forlan进行形式语言实验。 FDPE@ICFP公司 2008:41-50
2002
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/HaackHSW02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/HaackHSW02
克里斯蒂安·哈克，布莱恩·霍华德，阿伦·斯托顿，乔·B·威尔斯:
基于语义规范的软件组件的全自动适配。 AMAST公司 2002:83-98
2001
[第10条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/sfp/斯托顿01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sfp/Stoughton01
艾伦·斯托顿:
eXene中的无限精美打印。苏格兰函数编程研讨会 2001:13-24

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1997
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Stoughton 97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Stoughton97
阿伦·斯托顿:
支持派生树增量构造的操作语义框架。 HOOTS公司 1997:122-133
1993
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfps/斯托顿93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfps/Stoughton93
阿伦·斯托顿:
机械化逻辑关系。 MFPS公司 1993:359-377
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/JungS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/JungS93
阿奇姆·荣格，阿伦·斯托顿:
在连续函数模型中研究PCF的完全抽象模型。薄层色谱分析 1993:230-244
1991
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Stoughton91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Stoughton91
阿伦·斯托顿:
PCF中并行操作的可定义性。西奥。计算。科学。 79(2):357-358(1991)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Stoughton公司91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Stoughton91
阿伦·斯托顿:
并行PCF具有独特的扩展模型。低收入国家 1991:146-151

1980 – 1989

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1989
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfps/斯托顿89
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfps/Stoughton89
阿伦·斯托顿:
PCF的等式完全抽象模型。编程语义的数学基础 1989:271-283
1988
【b2】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/daglib/0070253
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/daglib/0070253
阿伦·斯托顿:
编程语言的完全抽象模型。理论计算机科学研究笔记，皮特曼 1988，国际标准图书编号978-0-273-08788-5，第1-154页
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Stoughton 88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Stoughton88
阿伦·斯托顿:
重新审视替代。西奥。计算。科学。 59:317-325(1988)
1986
【b1】
- 看法
- 出口记录
  dblp键：
  - 博士/精神气质/斯托顿86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/Stoughton86
阿伦·斯托顿:
编程语言的完全抽象模型。英国爱丁堡大学，1986
1983
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tse/ParkerPRSWWCEKK83
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/ParkerPRSWCEKK83
小道格拉斯·斯托特·帕克。，杰拉尔德·波佩克，杰拉德·鲁迪辛，阿伦·斯托顿，布鲁斯·沃克，伊芙琳·沃尔顿，乔安娜·M·周，大卫·A·爱德华兹，斯蒂芬·基瑟，查尔斯·克莱恩:
分布式系统中相互不一致性的检测。 IEEE传输。软件工程。 9(三):240-247(1983)
1982
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adatec/KiniMS82
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adatec/KiniMS82
维塔尔·基尼，大卫·F·马丁，艾伦·斯托顿:
测试INRIA-Ada形式定义：USC-ISI形式语义项目。 AdaTEC关于Ada的会议 1982:120-128
1981
【c3】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/berkeley/ParkerPRSWCEKK81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/berkeley/ParkerPRSWCEKK81
小道格拉斯·斯托特·帕克。，杰拉尔德·波佩克，杰拉德·鲁迪辛，阿伦·斯托顿，布鲁斯·沃克，伊芙琳·沃尔顿，乔安娜·M·周，大卫·A·爱德华兹，斯蒂芬·基瑟，查尔斯·克莱恩:
分布式系统中的互不敏感检测。伯克利研讨会 1981:172-184
[c2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sp/Stoughton公司81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sp/Stoughton81
阿伦·斯托顿:
访问流：集成访问控制和信息流的保护模型。标准普尔 1981:9-18

1970 – 1979

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1979
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mark2/波佩克KKSUW79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mark2/PopekKKSUW79
杰拉尔德·波佩克，马克·坎普，查尔斯·克莱恩，阿伦·斯托顿，迈克尔·厄本，伊芙琳·沃尔顿:
加州大学洛杉矶分校安全Unix。作记号 1979:355-364

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。