Sylvain Lombardy

Statistics

Publications

Citations

296

H-Index

Active since

2004

Affiliations

Centre National de la Recherche Scientifique(Current)

Université Paris Cité

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Télécom Paris

Laboratoire Traitement et Communication de l’Information

Sylvain Lombardy is an author at Centre National de la Recherche Scientifique specializing in formal methods, formal verification, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational ComplexityVerificationDiscrete MathematicsMathematical Programming

Publications per year

2004–2013

Publications

Derivatives of rational expressions with multiplicity

Sylvain Lombardy, Jacques Sakarovitch · Theoretical Computer Science · 2004 · 70 citations

Real Algebraic Geometry, Algebraic Analysis, Rational Approximation +1

Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton

Ines Klimann, Sylvain Lombardy, Jean Mairesse et al. · Theoretical Computer Science · 2004 · 61 citations · Full text

Mathematical Programming, Engineering, Reachability Problem +11

ON THE FINITENESS PROBLEM FOR AUTOMATON (SEMI)GROUPS

Ali Akhavi, Ines Klimann, Sylvain Lombardy et al. · International Journal of Algebra and Computation · 2012 · 35 citations · Full text

Introducing VAUCANSON

Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch · Theoretical Computer Science · 2004 · 34 citations

Sequential?

Sylvain Lombardy, Jacques Sakarovitch · Theoretical Computer Science · 2006 · 30 citations

1–5 of 9