Assia Mahboubi

Statistics

Publications

Citations

324

H-Index

Active since

2007

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Laboratoire d'Informatique de l'École Polytechnique

Microsoft Research (India)

Assia Mahboubi is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationProof ComplexityNumerical AnalysisTheory Of ComputingApproximation Theory

Publications per year

2007–2012

Publications

A Small Scale Reflection Extension for the Coq system

Georges Gonthier, Assia Mahboubi, E. ̃Tassi · HAL (Le Centre pour la Communication Scientifique Directe) · 2008 · 147 citations · Full text

An introduction to small scale reflection in Coq

Georges Gonthier, Assia Mahboubi · 2010 · 96 citations · Full text

Architectural Design, Computational Logic, Engineering +13

Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination

Assia Mahboubi, Cyril Cohen · Logical Methods in Computer Science · 2012 · 43 citations · Full text

Real Algebraic Numbers, Engineering, Algebraic Structure +16

Implementing the cylindrical algebraic decomposition within the Coq system

Assia Mahboubi · Mathematical Structures in Computer Science · 2007 · 25 citations

Mathematical Programming, Numerical Analysis, Engineering +17

A formal study of Bernstein coefficients and polynomials

Yves Bertot, Frédérique Guilhot, Assia Mahboubi · Mathematical Structures in Computer Science · 2011 · 13 citations · Full text

Pade Approximant, Bernstein Coefficients, Engineering +11

1–5 of 5