Yassamine Seladji

Available identifiers

zbMath Open seladji.yassamineMaRDI QIDQ435972

List of research outcomes

Publication	Date of Publication	Type
Finding Relevant Templates via the Principal Component Analysis	2017-02-21	Paper
Abstract fixpoint computations with numerical acceleration methods	2016-06-17	Paper
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools	2014-11-03	Paper
Acceleration of the abstract fixpoint computation in numerical program analysis	2012-07-13	Paper

Research outcomes over time

This page was built for person: Yassamine Seladji