Statistics
Publications
7
Citations
423
H-Index
7
Active since
2006
Rok Strniša is an author at University of Cambridge specializing in programming languages, computing, and computer science.
Publications per year
2006–2010
7
7
Ott: Effective tool support for the working semanticist
Peter Sewell, Francesco Zappa Nardelli, Scott Owens et al. · Journal of Functional Programming · 2010 · 164 citations · Full text
Rok Strniša, Peter Sewell, Matthew Parkinson · 2007 · 66 citations
Computing, Computer Science, Natural Language Processing +16
Peter Sewell, Francesco Zappa Nardelli, Scott Owens et al. · 2007 · 59 citations
Bard Bloom, John K. Field, Nathaniel Nystrom et al. · ACM SIGPLAN Notices · 2009 · 55 citations
Bard Bloom, John K. Field, Nathaniel Nystrom et al. · 2009 · 41 citations
1–5 of 7