|
Search the dblp DataBase
Tristan Le Gall:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tristan Le Gall, Bertrand Jeannet, Thierry Jéron
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. [Citation Graph (0, 0)][DBLP] AMAST, 2006, pp:204-219 [Conf]
- Tristan Le Gall, Bertrand Jeannet
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:52-68 [Conf]
Lattice-Valued Binary Decision Diagrams. [Citation Graph (, )][DBLP]
Iterated Regret Minimization in Game Graphs. [Citation Graph (, )][DBLP]
Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. [Citation Graph (, )][DBLP]
Iterated Regret Minimization in Game Graphs [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|