- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j4 |      | Xavier Allamigeon, Stéphane Gaubert, Eric Goubault: Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. Discrete & Computational Geometry 49(2): 247-279 (2013) |
| j3 | | Xavier Allamigeon, Ricardo Katz: Minimal external representations of tropical polyhedra. J. Comb. Theory, Ser. A 120(4): 907-940 (2013) |
| 2011 | ||
| j2 | | Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz: The number of extreme points of tropical polyhedra. J. Comb. Theory, Ser. A 118(1): 162-189 (2011) |
| i3 | | |
| 2010 | ||
| c5 | | Xavier Allamigeon, Stéphane Gaubert, Eric Goubault: The Tropical Double Description Method. STACS 2010: 47-58 |
| i2 | | Xavier Allamigeon, Stéphane Gaubert, Eric Goubault: The tropical double description method. CoRR abs/1001.4119 (2010) |
| i1 | | Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz: Tropical polar cones, hypergraph transversals, and mean payoff games. CoRR abs/1004.2778 (2010) |
| 2008 | ||
| j1 | | Xavier Allamigeon, Charles Hymans: Static analysis by abstract interpretation: application to the detection of heap overflows. Journal in Computer Virology 4(1): 5-23 (2008) |
| c4 | | Xavier Allamigeon: Non-disjunctive Numerical Domain for Array Predicate Abstraction. ESOP 2008: 163-177 |
| c3 | | Xavier Allamigeon, Stephane Gaubert, Eric Goubault: Inferring Min and Max Invariants Using Max-Plus Polyhedra. SAS 2008: 189-204 |
| 2006 | ||
| c2 | | Xavier Allamigeon, Wenceslas Godard, Charles Hymans: Static Analysis of String Manipulations in Critical Embedded C Programs. SAS 2006: 35-51 |
| 2005 | ||
| c1 | | Xavier Allamigeon, Bruno Blanchet: Reconstruction of Attacks against Cryptographic Protocols. CSFW 2005: 140-154 |
| 1 | Bruno Blanchet | |
| 2 | Stéphane Gaubert (Stephane Gaubert) | |
| 3 | Wenceslas Godard | |
| 4 | Eric Goubault | |
| 5 | Charles Hymans | |
| 6 | Ricardo Katz |
Colors in the list of coauthors
Last update Sun May 19 19:15:13 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page