Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 6.

Article

Simon, Axel and King, Andy and Howe, Jacob M. (2010) The Two Variable Per Inequality Abstract Domain. Higher-Order and Symbolic Computation, 31 (1). pp. 182-196. (Full text available)
[img]
Preview

Simon, Axel and King, Andy (2004) Convex Hull for Planar H-Polyhedra. International Journal of Computer Mathematics, 81 (4). pp. 259-271. ISSN 0020-7160. (Full text available)
[img]
Preview

Book section

Simon, Axel and King, Andy (2007) Taming the Wrapping of Integer Arithmetic. In: File, Gilberto and Nielson, Hanne Riis, eds. Static Analysis Symposium. Springer, pp. 182-196. ISBN 978-3-540-74060-5. (Full text available)
[img]
Preview

Simon, Axel and King, Andy (2007) Widening Polyhedra with Landmarks. In: Kobayashi, Naoki, ed. Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, 4279 . Springer, pp. 166-182. ISBN 3-540-48937-1. (Full text available)
[img]
Preview

Simon, Axel and King, Andy (2005) Exploiting Sparsity in Polyhedral Analysis. In: Hankin, Chris and Siveroni, Igor, eds. Static Analysis Symposium. Springer, pp. 336-351. ISBN 3-540-28584-9. (Full text available)
[img]
Preview

Conference or workshop item

King, Andy and Mycroft, Alan and Simon, Axel and Reps, Tom (2012) Analysis of Executables: Benefits and Challenges. In: Analysis of Executables: Benefits and Challenges, January 29 to February 3, 2012. (Full text available)
[img]
Preview

This list was generated on Sun Apr 20 01:44:58 2014 BST.