×

兹马思-数学第一资源

施耐德,弗雷德B。

计算距离:
作者ID: 施耐德,弗雷德-b最近的zbMATH文章由“施耐德,弗雷德B。”
发布为: 施耐德,弗雷德B。;施耐德,F。;施耐德,弗雷德
编制索引的文档: 38种出版物自1965年以来,包括2本书

按年份列出的出版物

zbMATH公开赛中包含的引文

22出版物有被引用241时间196份文件 引用人
定义活力。 Zbl 0575.68030
阿尔彭,伯恩;施耐德,弗雷德B。
89
1985
认识到安全和活力。 零担0641.68039
阿尔彭,伯恩;施耐德,弗雷德B。
46
1987
离散数学的逻辑方法。 Zbl 0861.03001
格里斯,大卫;施耐德,弗雷德B。
29
1993
CSP的“霍尔逻辑”等等。 Zbl 0536.68017
兰波特,莱斯利;施耐德,弗雷德B。
12
1984
在没有时序逻辑的情况下验证时序属性。 Zbl 0676.68003
阿尔彭,伯恩;施耐德,弗雷德B。
11
1989
胶质瘤侵袭的高阶模型:从两尺度描述到质量密度和动量的有效方程。 Zbl 1411.92034
科尔宾,G。;亨特,A。;克拉,A。;施耐德,F。;苏鲁莱斯库。
10
2018
等式命题逻辑。 Zbl 0875.03034
大卫,格里斯;施耐德,弗雷德B。
7
1995
并发程序设计的概念和符号。 Zbl 0515.68025
安德鲁斯,格雷戈里R。;施耐德,弗雷德B。
6
1983
完整性量化。 Zbl 1361.68080
克拉克森,迈克尔R。;施耐德,弗雷德B。
5
2015
安全无口吃。 Zbl 0619.68019
阿尔彭,伯恩;德默斯,艾伦J。;施耐德,弗雷德B。
4
1986
在分布式编程中使用消息传递:验证规则和规程。 Zbl 0536.68023
施利希廷,理查德D。;施耐德,弗雷德B。
4
1984
关于并发程序设计。 Zbl 0881.68032
施耐德,弗雷德B。
1997
容错广播。 Zbl 0534.68019
施耐德,弗雷德B。;格里斯,大卫;施利希廷,理查德D。
1984
使用进度度量证明非确定性规定的安全特性。 Zbl 0799.68136
克拉伦,尼尔斯;施耐德,弗雷德B。
1993
行人动力学流量限制近似的数值研究。 Zbl 1365.90096
米勒,L。;乌拉,乌拉。;施耐德,F。;克拉,A。
2
2017
JRIF:Java的反应式信息流控制。 Zbl 07176723
科兹里,Elisavet;阿登,欧文;迈尔斯,安德鲁·C。;施耐德,弗雷德B。
1
2019
用球面样条逼近法求解卫星大地测量中的线性反问题。 Zbl 1003.86505号
施耐德,F。
1
1996
分布式程序中的同步。 Zbl 0479.68019
施耐德,弗雷德B。
1
1982
在命题逻辑中加入处处算子。 Zbl 0906.03015
格里斯,大卫;施耐德,弗雷德B。
1
1998
验证使用因果顺序消息传递的程序。 邮政编码:0828.68097
斯托勒,斯科特D。;施耐德,弗雷德B。
1
1995
通过计算证明更有效地教数学。 Zbl 0875.00012
格里斯,大卫;施耐德,弗雷德B。
1
1995
利用环境推理程序。 Zbl 1418.68054
修好,利莫;施耐德,弗雷德B。
1
1994
JRIF:Java的反应式信息流控制。 Zbl 07176723
科兹里,Elisavet;阿登,欧文;迈尔斯,安德鲁·C。;施耐德,弗雷德B。
1
2019
胶质瘤侵袭的高阶模型:从两尺度描述到质量密度和动量的有效方程。 Zbl 1411.92034
科尔宾,G。;亨特,A。;克拉,A。;施耐德,F。;苏鲁莱斯库。
10
2018
行人动力学流量限制近似的数值研究。 Zbl 1365.90096
米勒,L。;梅勒,A。;施耐德,F。;克拉,A。
2
2017
完整性量化。 Zbl 1361.68080
克拉克森,迈克尔R。;施耐德,弗雷德B。
5
2015
在命题逻辑中加入处处算子。 Zbl 0906.03015
格里斯,大卫;施耐德,弗雷德B。
1
1998
关于并发程序设计。 Zbl 0881.68032
施耐德,弗雷德B。
1997
用球面样条逼近法求解卫星大地测量中的线性反问题。 Zbl 1003.86505号
施耐德,F。
1
1996
等式命题逻辑。 Zbl 0875.03034
大卫,格里斯;施耐德,弗雷德B。
7
1995
验证使用因果顺序消息传递的程序。 邮政编码:0828.68097
斯托勒,斯科特D。;施耐德,弗雷德B。
1
1995
通过计算证明更有效地教数学。 Zbl 0875.00012
格里斯,大卫;施耐德,弗雷德B。
1
1995
利用环境推理程序。 Zbl 1418.68054
修好,利莫;施耐德,弗雷德B。
1
1994
离散数学的逻辑方法。 Zbl 0861.03001
格里斯,大卫;施耐德,弗雷德B。
29
1993
使用进度度量证明非确定性规定的安全特性。 Zbl 0799.68136
克拉伦,尼尔斯;施耐德,弗雷德B。
1993
在没有时序逻辑的情况下验证时序属性。 Zbl 0676.68003
阿尔彭,伯恩;施耐德,弗雷德B。
11
1989
认识到安全和活力。 零担0641.68039
阿尔彭,伯恩;施耐德,弗雷德B。
46
1987
安全无口吃。 Zbl 0619.68019
阿尔彭,伯恩;德默斯,艾伦J。;施耐德,弗雷德B。
4
1986
定义活力。 Zbl 0575.68030
阿尔彭,伯恩;施耐德,弗雷德B。
89
1985
CSP的“霍尔逻辑”等等。 Zbl 0536.68017
兰波特,莱斯利;施耐德,弗雷德B。
12
1984
在分布式编程中使用消息传递:验证规则和规程。 Zbl 0536.68023
施利希廷,理查德D。;施耐德,弗雷德B。
4
1984
容错广播。 Zbl 0534.68019
施耐德,弗雷德B。;格里斯,大卫;施利希廷,理查德D。
1984
并发程序设计的概念和符号。 Zbl 0515.68025
安德鲁斯,格雷戈里R。;施耐德,弗雷德B。
6
1983
分布式程序中的同步。 Zbl 0479.68019
施耐德,弗雷德B。
1
1982
全部的 前5名

被336位作者引用

6 奥娜库普费尔曼
5 Kulkarni,Sandeep S。
4 Bonakdarpour,Borzoo
4 切博塔列夫,安纳托利N。
4 兰波特,莱斯利
4 施耐德,弗雷德B。
阿巴迪,马丁
阿尔维姆,Mário S。
盆地,大卫A。
Boute,Raymond T。
丁,张晶
亨辛格,托马斯A。
克莱德克,费利克斯
欠你的,奥拉夫
帕拉米德西,卡图西亚
普努埃利,阿米尔
塞加拉,罗伯托
瓦迪,莫斯伊。
Zălinescu,尤根
2 阿伯特,亚历山德罗
2 阿布贾拉德,福阿德
2 阿尔彭,伯恩
2 安德森,詹姆斯H。
2 安德烈,米格尔E。
2 阿蒂,保罗·C。
2 后台,罗兰C。
2 你好,罗德里克
2 查伦·博斯特,伯纳黛特
2 查特,克莉丝内杜
2 康斯坦丁诺斯Chatzikokolakis
2 陈玉芳
2 Dederichs,弗兰克
2 德夏奈,朱尔斯
2 设计,圣潘
2 迪巴,马丁
2 艾斯纳,辛迪
2 菲亚迪罗,何塞·路易斯
2 菲斯曼,达娜
2 盖里克,雷纳
2 贾科巴齐,罗伯托
2 戈达,穆罕默德G。
2 格里斯,大卫
2 朱姆卡,阿尔沙德
2 强森,本特
2 约瑟夫,马太
2 卡尔,沃尔夫拉姆
2 卡托恩,乔斯特·皮尔特
2 克莱梅克,拉多斯
2 贝蒂娜,Könighofer
2 Könighofer,罗伯特
2 林一燕
2 刘德鹏
2 洛佩斯,安托尼亚
2 林奇,南希·安
2 吗哪,佐哈尔
2 伊莎贝拉,伊莎贝拉
2 尼埃纳,弗兰克
2 维勒姆,诺瓦克
2 Ochsenschläger,彼得
2 哇克宁,乔尔O。
2 佩利德,多伦A。
2 皮特曼,Nir
2 普朗努尔,杰瑞米
2 普洛金,戈登D。
2 西斯特拉,阿拉文达·普拉萨德
2 斯莫尔卡,斯科特A。
2 瑟伽德·安徒生,约根
2 斯特伦,凯蒂尔
2 蔡义权
2 韦伯,雷纳
2 沃雷尔,詹姆斯B。
2 张丽君
1 亚伦,埃里克
1 阿巴西,罗莎
1 亚伯拉罕,乌里
1 阿奎德罗,胡安C。
1 啊哈,莫汉·L。
1 艾琳,阿克图
1 阿兰,马修
1 阿尔梅达,维吉里奥·奥古斯托·费尔南德斯
1 穆罕默德·阿尔希赫
1 阿尔蒂森,卡琳
1 阿曼,博格丹
1 美国,皮埃尔
1 阿姆拉姆,加尔
1 阿切尔,玛拉·M。
1 阿雷瓦罗,塞尔吉奥
1 阿兹尼达,Z。
1 巴德尔,弗兰兹
1 回来,拉尔夫·约翰
1 班萨尔,苏古曼
1 巴纳,莎伦
1 巴托莱蒂,马西莫
1 鲍尔,安德烈亚斯
1 Bäumler,西蒙
1 比亚尼,卡伦N。
1 布拉伯曼,维克托
1 布拉德伯里,马修
1 布林克,克里斯
1 兄弟,曼弗雷德
…还有236位作者

按年份列出的引文