Axel Simon (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Axel Simon, Andy King: Taming the Wrapping of Integer Arithmetic. SAS 2007: 121-136

6 Axel Simon, Andy King: Widening Polyhedra with Landmarks. APLAS 2006: 166-182

5 Axel Simon, Andy King: Exploiting Sparsity in Polyhedral Analysis. SAS 2005: 336-351

4 Axel Simon, Andy King: Convex Hull of Planar H-Polyhedra CoRR cs.CG/0405089: (2004)

3 Axel Simon, Andy King: Convex hull of planar h-polyhedra. Int. J. Comput. Math. 81(3): 259-271 (2004)

2 Axel Simon, Andy King: Analyzing String Buffers in C. AMAST 2002: 365-379

1 Axel Simon, Andy King, Jacob M. Howe: Two Variables per Linear Inequality as an Abstract Domain. LOPSTR 2002: 71-89

Selection of 7 from 9 records - Axel Simon has 2 coauthors

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