Statistics
Publications
2
Citations
71
H-Index
2
Active since
2011
Affiliations
University of Oxford(Current)
Philipp Ruemmer is an author at University of Oxford specializing in programming languages, computer science, and programming instruction.
Publications per year
2011–2015
2
2
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
Martin Brain, Cesare Tinelli, Philipp Ruemmer et al. · 2015 · 60 citations
Alastair F. Donaldson, Daniel Kroening, Philipp Ruemmer · 2011 · 11 citations
1–2 of 2