|
Search the dblp DataBase
Laure Gonnord:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Laure Gonnord, Nicolas Halbwachs
Combining Widening and Acceleration in Linear Relation Analysis. [Citation Graph (0, 0)][DBLP] SAS, 2006, pp:144-160 [Conf]
- Laure Gonnord, Nicolas Halbwachs, Pascal Raymond
From Discrete Duration Calculus to Symbolic Automata. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:3-18 [Journal]
- Nicolas Halbwachs, David Merchat, Laure Gonnord
Some ways to reduce the space dimension in polyhedra computations. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:1, pp:79-95 [Journal]
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. [Citation Graph (, )][DBLP]
Runtime resource assurance and adaptation with Qinna framework: A case study. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|