Statistics
Publications
7
Citations
279
H-Index
7
Active since
2001
Affiliations
Richard Trefler is an author at The University of Texas at Austin specializing in computer science, computing, and formal methods.
Publications per year
2001–2011
7
7
Explaining counterexamples using causality
Ilan Beer, Shoham Ben-David, Hana Chockler et al. · Formal Methods in System Design · 2011 · 104 citations
Parametric quantitative temporal reasoning
E. Allen Emerson, Richard Trefler · 2003 · 58 citations
Computing, Computer Science, Logic +14
E. Allen Emerson, John Havlicek, Richard Trefler · 2002 · 40 citations
Safety and liveness in branching time
Panagiotis Manolios, Richard Trefler · 2002 · 25 citations
1–5 of 7