Statistics
Publications
5
Citations
282
H-Index
5
Active since
2008
Affiliations
Ben Lickly is an author at University of California, Berkeley specializing in computer science, computing, and formal methods.
Publications per year
2008–2011
5
5
Predictable programming on a precision timed architecture
Ben Lickly, Isaac Liu, Sung-Jun Kim et al. · 2008 · 157 citations · Full text
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger et al. · 2009 · 30 citations
A practical ontology framework for static model analysis
Ben Lickly, Charles Shelton, Elizabeth Latronico et al. · 2011 · 13 citations
1–5 of 5