-
Symbolic Abstractions of Automata and their application to the Supervisory Co...
In this report, we describe the design of abstraction methods based on symbolic techniques: classical abstraction by state fusion has been considered- . we present a... -
Intensional Approaches for Symbolic Methods
We present a behavioral model for discrete event systems based on an intentional formalism, as a possible approach within the broader trend towards rich symbolic... -
On the Conservatism of the Sum-of-Squares Method for Analysis of Time-Delayed...
International audience -
Proving formally the implementation of an efficient gcd algorithm for polynom...
Last version published in the proceedings of IJCAR 06, part of FLOC 06. -
Monomials in arithmetic circuits: Complete problems in the counting hierarchy
International audience -
Speed of sound, density, and compressibility of alkyl-benzenes as a function ...
International audience -
On the mixed discretization of the time domain magnetic field integral equation
International audience -
A polynomial approach for extracting the extrema of a spherical function and ...
International audience -
Improved Three-Way Split Formulas for Binary Polynomial and Toeplitz Matrix V...
International audience -
Nearly Optimal Computations with Structured Matrices
International audience -
Accelerated Approximation of the Complex Roots of a Univariate Polynomial (Ex...
International audience -
Certification des preuves de terminaison par interprétations polynomiales
Stage de DEA. Rapport de stage.
