| Publication | Date of Publication | Type |
|---|
The role of linearity in sharing analysis
Mathematical Structures in Computer Science | 2022-12-09 | Paper |
| Experimental evaluation of numerical domains for inferring ranges | 2022-04-25 | Paper |
On collecting semantics for program analysis
Theoretical Computer Science | 2020-05-23 | Paper |
Narrowing operators on template abstract domains
FM 2015: Formal Methods | 2019-12-19 | Paper |
Primitive abundant and weird numbers with many prime factors
Journal of Number Theory | 2019-05-16 | Paper |
Descending chains and narrowing on template abstract domains
Acta Informatica | 2018-09-06 | Paper |
Primitive weird numbers having more than three distinct prime factors
(available as arXiv preprint) | 2017-08-16 | Paper |
| Exploiting linearity in sharing analysis of object-oriented programs | 2016-08-05 | Paper |
| Efficient constraint/generator removal from double description of polyhedra | 2016-05-10 | Paper |
The abstract domain of parallelotopes
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
Optimal multibinding unification for sharing and linearity analysis
Theory and Practice of Logic Programming | 2014-05-30 | Paper |
Correct answers for first order logic
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Discovering invariants via simple component analysis
Journal of Symbolic Computation | 2012-07-13 | Paper |
Observational completeness on abstract interpretation
Fundamenta Informaticae | 2011-11-22 | Paper |
Indexed categories and bottom-up semantics of logic programs
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
A general framework for variable aliasing: towards optimal operators for sharing properties
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
Deriving numerical abstract domains via principal component analysis
Static Analysis | 2010-10-01 | Paper |
On the interaction between sharing and linearity
Theory and Practice of Logic Programming | 2010-01-28 | Paper |
On the algebraic structure of declarative programming languages
Theoretical Computer Science | 2009-11-04 | Paper |
Optimality in goal-dependent analysis of Sharing
Theory and Practice of Logic Programming | 2009-10-12 | Paper |
Observational Completeness on Abstract Interpretation
Logic, Language, Information and Computation | 2009-07-02 | Paper |
| scientific article; zbMATH DE number 1692904 (Why is no real title available?) | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1617316 (Why is no real title available?) | 2001-07-11 | Paper |
Universal Algebra in UniMath
(available as arXiv preprint) | N/A | Paper |
