|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz |
The number of extreme points of tropical polyhedra.  |
J. Comb. Theory, Ser. A  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Allamigeon |
Strongly connected components of directed hypergraphs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xavier Allamigeon, Stéphane Gaubert, Eric Goubault |
The tropical double description method |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz |
Tropical polar cones, hypergraph transversals, and mean payoff games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xavier Allamigeon, Stéphane Gaubert, Eric Goubault |
The Tropical Double Description Method. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Allamigeon, Charles Hymans |
Static analysis by abstract interpretation: application to the detection of heap overflows. |
Journal in Computer Virology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Allamigeon, Stephane Gaubert, Eric Goubault |
Inferring Min and Max Invariants Using Max-Plus Polyhedra. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Allamigeon |
Non-disjunctive Numerical Domain for Array Predicate Abstraction. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Allamigeon, Wenceslas Godard, Charles Hymans |
Static Analysis of String Manipulations in Critical Embedded C Programs. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Allamigeon, Bruno Blanchet |
Reconstruction of Attacks against Cryptographic Protocols. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")