1. Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis;Adjé,2010
2. Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis;Adjé;Logical Methods in Computer Science,2011
3. Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs;Adjé;Journal of Mathematical Analysis and Applications,2014
4. Asymptotic Cones and Functions in Optimization and Variational Inequalities;Auslender,2003
5. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints;Cousot,1977