×

兹马思-数学第一资源

迈尔斯,安德鲁·C。

计算距离:
作者ID: 迈尔斯。安德鲁-c最近的zbMATH文章由“Myers,Andrew C
发布为: 迈尔斯,安德鲁·C。;迈尔斯,安德鲁;迈尔斯,A。
编制索引的文档: 14种出版物2001年以来
1编辑稿件

按年份列出的出版物

zbMATH公开赛中包含的引文

9出版物有被引用24时间19份文件 引用人
通过线性连续性确保信息流的安全。 Zbl 1030.68015
Zdancewic,史蒂夫;迈尔斯,安德鲁·C。
7
2002
对静态误差的一般诊断。 Zbl 1284.68141
张丹凤;迈尔斯,安德鲁·C。
2014
Polyglot:一个可扩展的Java编译器框架。 Zbl 1032.68925
尼斯特罗姆,纳撒尼尔;克拉克森,迈克尔R。;迈尔斯,安德鲁·C。
2003
安全的信息流和CPS。 Zbl 0977.68021
Zdancewic,史蒂夫;迈尔斯,安德鲁·C。
2001
Vlasov-Poisson方程相空间重映射的四阶粒子胞方法。 Zbl 06724614
迈尔斯,A。;科莱拉,P。;斯特拉伦,B.van
2017
解密和认可的语义框架。 Zbl 1260.68049
阿斯卡罗夫,阿斯兰;迈尔斯,安德鲁
2
2010
JMatch:Iterable抽象模式匹配Java。 Zbl 1026.68795
刘,杰德;迈尔斯,安德鲁·C。
1
2002
攻击者控制和影响机密性和完整性。 Zbl 1237.68055
阿斯卡罗夫,阿斯兰;迈尔斯,安德鲁
1
2011
JRIF:Java的反应式信息流控制。 Zbl 07176723
科兹里,Elisavet;阿登,欧文;迈尔斯,安德鲁·C。;施耐德,弗雷德B。
1
2019
JRIF:Java的反应式信息流控制。 Zbl 07176723
科兹里,Elisavet;阿登,欧文;迈尔斯,安德鲁·C。;施耐德,弗雷德B。
1
2019
Vlasov-Poisson方程相空间重映射的四阶粒子胞方法。 Zbl 06724614
迈尔斯,A。;科莱拉,P。;斯特拉伦,B.van
2017
对静态误差的一般诊断。 Zbl 1284.68141
张丹凤;迈尔斯,安德鲁·C。
2014
攻击者控制和影响机密性和完整性。 Zbl 1237.68055
阿斯卡罗夫,阿斯兰;迈尔斯,安德鲁
1
2011
解密和认可的语义框架。 Zbl 1260.68049
阿斯卡罗夫,阿斯兰;迈尔斯,安德鲁
2
2010
Polyglot:一个可扩展的Java编译器框架。 Zbl 1032.68925
尼斯特罗姆,纳撒尼尔;克拉克森,迈克尔R。;迈尔斯,安德鲁·C。
2003
通过线性连续性确保信息流的安全。 Zbl 1030.68015
Zdancewic,史蒂夫;迈尔斯,安德鲁·C。
7
2002
JMatch:Iterable抽象模式匹配Java。 Zbl 1026.68795
刘,杰德;迈尔斯,安德鲁·C。
1
2002
信息的流动和安全。 6800977升
Zdancewic,史蒂夫;迈尔斯,安德鲁·C。
2001

按年份列出的引文