- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 4 |      | Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta: Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. VMCAI 2012: 235-250 |
| 2010 | ||
| 3 | | Khalil Ghorbal, Eric Goubault, Sylvie Putot: A Logical Product Approach to Zonotope Intersection. CAV 2010: 212-226 |
| 2 | | Khalil Ghorbal, Eric Goubault, Sylvie Putot: A Logical Product Approach to Zonotope Intersection CoRR abs/1002.2236: (2010) |
| 2009 | ||
| 1 | | Khalil Ghorbal, Eric Goubault, Sylvie Putot: The Zonotope Abstract Domain Taylor1+. CAV 2009: 627-633 |
| 1 | Gogul Balakrishnan | [4] |
| 2 | Eric Goubault | [1] [2] [3] |
| 3 | Aarti Gupta | [4] |
| 4 | Franjo Ivancic | [4] |
| 5 | Naoto Maeda | [4] |
| 6 | Sylvie Putot | [1] [2] [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