Statistics
Publications
6
Citations
174
H-Index
6
Active since
2007
Affiliations
Michael DeLisi is an author at University of Utah specializing in formal methods, computing, and computer science.
Publications per year
2007–2010
6
6
Formal verification of practical MPI programs
Anh Vo, Sarvani Vakkalanka, Michael DeLisi et al. · 2009 · 75 citations
Formal verification of practical MPI programs
Anh Vo, Sarvani Vakkalanka, Michael DeLisi et al. · ACM SIGPLAN Notices · 2009 · 36 citations
Formal specification of the MPI-2.0 standard in TLA+
Guodong Li, Michael DeLisi, Ganesh Gopalakrishnan et al. · 2008 · 17 citations
1–5 of 6