logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
P

Péter Müller

swiss federal institutes of technology domain

36H指数
331论文数
5.3K被引数
收录论文 6
发表时间
logo
Modular Reasoning about Global Variables and Their Initialization模块化推理关于全局变量及其初始化
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errPereira, Joao; Van Bakel, Isaac; Firlejczyk, Patricia; Eilers, Marco; Muller, Peter
err分享
err收藏
A Refinement Methodology for Distributed Programs in Rust一种针对Rust分布式程序的改进方法
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errBily, Aurel; Pereira, Joao; Muller, Peter
err分享
err收藏
Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees位置能力图：Rust所有权和借用保证的通用模型
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errGrannan, Zachary; Bily, Aurel; Fiala, Jonas; Geer, Jasper; De Medeiros, Markus; Muller, Peter; Summers, Alexander J.
err分享
err收藏
Behavioral Interface Specification Languages
errACM COMPUTING SURVEYS
IF28
err2012-06-14
err74
PREAI
errHatcliff, John; Leavens, Gary T.; Leino, K. Rustan M.; Mueller, Peter; Parkinson, Matthew
err分享
err收藏
Specification and Verification: The Spec# Experience
errCOMMUNICATIONS OF THE ACM
IF12.2
err2011-06-01
err96
PREAI
errBarnett, Mike; Faehndrich, Manuel; Leino, K. Rustan M.; Mueller, Peter; Schulte, Wolfram; Venter, Herman
err分享
err收藏
Synthesis of monoalkoxide monopyrrolyl complexes Mo(NR)(CHR')(OR)(pyrrolyl):: Enyne metathesis with high oxidation state catalysts (vol 129, pg 12654, 2007)
errJOURNAL OF THE AMERICAN CHEMICAL SOCIETY
IF15.6
err2007-11-30
err0
errOAAI
errSingh, Rojendra; Schrock, Richard R.; Mueller, Peter; Hoveyda, Arnir H.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Richard R. Schrock
H 指数: 120 · 论文数: 1.2K
A
Amir H. Hoveyda
H 指数: 118 · 论文数: 865
K
K. Rustan M. Leino
H 指数: 51 · 论文数: 174
W
Wolfram Schulte
H 指数: 46 · 论文数: 239
M
Manuel Fähndrich
H 指数: 42 · 论文数: 124
查看更多