Person:1664398

Available identifiers

zbMath Open gonnord.laureMaRDI QIDQ1664398

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Laure Gonnord