logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
P

Perry Alexander

university of michigan system

13H-index
137Paper Count
586Citation Count
Published Papers 6
Publication Date
logo
Moduli spaces of stable objects in Enriques categories
errSELECTA MATHEMATICA-NEW SERIES
IF1.2
err2026-05-16
err1
errOAAI
errPerry, Alexander; Pertusi, Laura; Zhao, Xiaolei
errShare
errSave
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
errShare
errSave
Integrating formalism into undergraduate software engineering
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2005-01-01
err0
PREAI
errAlexander, P
errShare
errSave
Automating component reuse and adaptation
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2004-09-01
err35
PREAI
errMorel, B; Alexander, P
errShare
errSave
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
errShare
errSave
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
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
P
Philip A. Wilsey
H-index: 21 · Papers: 244
P
Peter W. Frey
H-index: 20 · Papers: 82
J
John D. Ramsdell
H-index: 13 · Papers: 48
R
R. Radhakrishnan
H-index: 11 · Papers: 43
P
Paul D. Rowe
H-index: 10 · Papers: 36
View more