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

Perry Alexander

university of michigan system

13H指数
137论文数
586被引数
收录论文 6
发表时间
logo
Moduli spaces of stable objects in Enriques categoriesEnriques范畴中稳定对象的模空间
errSELECTA MATHEMATICA-NEW SERIES
IF1.2
err2026-05-16
err1
PREAI
errPerry, Alexander; Pertusi, Laura; Zhao, Xiaolei
err分享
err收藏
Flexible Mechanisms for Remote Attestation灵活的远程证明机制
errACM TRANSACTIONS ON PRIVACY AND SECURITY
IF2.8
err2021-09-30
err13
errOAAI
errHelble, Sarah C.; Kretz, Ian D.; Loscocco, Peter A.; Ramsdell, John D.; Rowe, Paul D.; Alexander, Perry
err分享
err收藏
Integrating formalism into undergraduate software engineering
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2005-01-01
err0
PREAI
errAlexander, P
err分享
err收藏
Automating component reuse and adaptation
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2004-09-01
err35
PREAI
errMorel, B; Alexander, P
err分享
err收藏
A formal specification and verification framework for Time Warp-based parallel simulation基于时间扭曲的并行仿真的形式化规范和验证框架
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2002-01-01
err8
errOAAI
errFrey, P; Radhakrishnan, R; Carter, HW; Wilsey, PA; Alexander, P
err分享
err收藏
Formal verification and empirical analysis of rollback relaxation
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err1998-03-01
err5
PREAI
errUmamageswaran, K; Subramani, K; Wilsey, PA; Alexander, P
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Philip A. Wilsey
H 指数: 21 · 论文数: 244
P
Peter W. Frey
H 指数: 20 · 论文数: 82
J
John D. Ramsdell
H 指数: 13 · 论文数: 48
R
R. Radhakrishnan
H 指数: 11 · 论文数: 43
P
Paul D. Rowe
H 指数: 10 · 论文数: 36
查看更多