| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 4 |       | Vincent Laviron, Francesco Logozzo: SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities. STTT 13(6): 585-601 (2011) |
| 2 | | Vincent Laviron, Francesco Logozzo: Refining Abstract Interpretation-Based Static Analyses with Hints. APLAS 2009: 343-358 |
| 1 | | Vincent Laviron, Francesco Logozzo: SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. VMCAI 2009: 229-244 |
Selection of 3 from 4 records - Vincent Laviron has 3 coauthors
Last update 2012-02-16 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page