- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 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) |
| 2010 | ||
| 3 | | Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival: Separating Shape Graphs. ESOP 2010: 387-406 |
| 2009 | ||
| 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 |
| 1 | Bor-Yuh Evan Chang | [3] |
| 2 | Francesco Logozzo | [1] [2] [4] |
| 3 | Xavier Rival | [3] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page