Axel Simon

2007
7	EE	Axel Simon, Andy King: Taming the Wrapping of Integer Arithmetic. SAS 2007: 121-136
2006
6	EE	Axel Simon, Andy King: Widening Polyhedra with Landmarks. APLAS 2006: 166-182
2005
5	EE	Axel Simon, Andy King: Exploiting Sparsity in Polyhedral Analysis. SAS 2005: 336-351
2004
4	EE	Axel Simon, Andy King: Convex Hull of Planar H-Polyhedra CoRR cs.CG/0405089: (2004)
3	EE	Axel Simon, Andy King: Convex hull of planar h-polyhedra. Int. J. Comput. Math. 81(3): 259-271 (2004)
2002
2	EE	Axel Simon, Andy King: Analyzing String Buffers in C. AMAST 2002: 365-379
1	EE	Axel Simon, Andy King, Jacob M. Howe: Two Variables per Linear Inequality as an Abstract Domain. LOPSTR 2002: 71-89

Coauthor Index

1	Jacob M. Howe	[1]
2	Andy King	[1] [2] [3] [4] [5] [6] [7]