Laure Gonnord

Available identifiers

Publication	Date of Publication	Type
On complexity bounds and confluence of parallel term rewriting	2024-10-21	Paper
Analysing parallel complexity of term rewriting	2023-06-02	Paper
Data abstraction: a general framework to handle program verification of data structures	2022-06-17	Paper
Static analysis of binary code with memory indirections using polyhedra	2020-01-23	Paper
Cell morphing: from array programs to array-free Horn clauses	2018-08-27	Paper
Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs	2010-10-01	Paper
Combining Widening and Acceleration in Linear Relation Analysis	2009-03-12	Paper
Some ways to reduce the space dimension in polyhedra computations	2006-11-17	Paper

This page was built for person: Laure Gonnord