 | 2011 |
|---|
| 10 |       | Xavier Allamigeon:
Strongly connected components of directed hypergraphs
CoRR abs/1112.1444: (2011) |
| 9 | | 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) |
| 2010 |
|---|
| 8 | | Xavier Allamigeon,
Stéphane Gaubert,
Eric Goubault:
The Tropical Double Description Method.
STACS 2010: 47-58 |
| 7 | | Xavier Allamigeon,
Stéphane Gaubert,
Eric Goubault:
The tropical double description method
CoRR abs/1001.4119: (2010) |
| 6 | | Xavier Allamigeon,
Stéphane Gaubert,
Ricardo Katz:
Tropical polar cones, hypergraph transversals, and mean payoff games
CoRR abs/1004.2778: (2010) |
| 2008 |
|---|
| 5 | | Xavier Allamigeon:
Non-disjunctive Numerical Domain for Array Predicate Abstraction.
ESOP 2008: 163-177 |
| 4 | | Xavier Allamigeon,
Stephane Gaubert,
Eric Goubault:
Inferring Min and Max Invariants Using Max-Plus Polyhedra.
SAS 2008: 189-204 |
| 3 | | 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) |
| 2006 |
|---|
| 2 | | Xavier Allamigeon,
Wenceslas Godard,
Charles Hymans:
Static Analysis of String Manipulations in Critical Embedded C Programs.
SAS 2006: 35-51 |
| 2005 |
|---|
| 1 | | Xavier Allamigeon,
Bruno Blanchet:
Reconstruction of Attacks against Cryptographic Protocols.
CSFW 2005: 140-154 |
Data released under the ODC-BY 1.0 license — See also our legal information page