Axel Simon
Author
Alternate names A. Simon, A.C. Simon, Axel Simon
Institution Google (United States)
Past institutions Google (United States), Technical University of Munich, École Normale Supérieure - PSL, University of Kent, RWTH Aachen University
H-index: 12
I10-index: 13
Works count: 43
Citations count: 441
Two Variables per Linear Inequality as an Abstract Domain
2003 · Axel Simon, Andy King, et al. · Lecture notes in computer science
Taming the Wrapping of Integer Arithmetic
2007 · Axel Simon, Andy King · Lecture notes in computer science
Widening Polyhedra with Landmarks
2006 · Axel Simon, Andy King · Lecture notes in computer science