Items where Author, Editor or other role is "Simon, A."
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 4.
Article
| Howe, Jacob M., King, Andy, Simon, Axel (2019) Incremental Closure for Systems of Two Variables Per Inequality. Theoretical Computer Science, 768 . pp. 1-64. ISSN 0304-3975. (doi:10.1016/j.tcs.2018.12.001) (KAR id:70546) |
|
Book section
| Simon, Axel and King, Andy (2007) Widening Polyhedra with Landmarks: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings. In: Kobayashi, Naoki, ed. Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, 4279 . Springer, pp. 166-182. ISBN 978-3-540-48937-5. (doi:10.1007/11924661_11) (KAR id:37597) |
|
| Simon, Axel and King, Andy and Howe, Jacob M. (2002) Two Variables per Linear Inequality as an Abstract Domain. In: Leuschel, Michael, ed. Logic Based Program Synthesis and Transformation 12th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 71-89. ISBN 978-3-540-40438-5. E-ISBN 978-3-540-45013-9. (doi:10.1007/3-540-45013-0_7) (KAR id:13681) |
|
Conference or workshop item
| Simon, Axel, Chitil, Olaf, Huch, Frank (2000) Typeview: A Tool for Understanding Type Errors. In: Mohnen, Markus and Koopman, P., eds. Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages. . pp. 63-69. , Aachen, Germany (KAR id:21959) |
|
