Concepedia

Michel Leconte

ML

Statistics

Publications

4

Citations

132

H-Index

4

Active since

1985

Affiliations

Université Paris Cité(Current)

Michel Leconte is an author at Université Paris Cité specializing in software engineering, engineering, and formal verification.

Top concepts

Publications per year

1985–2010

4

Publications

4

Beyond the Glass Box: Constraints as Objects.

Jean‐François Puget, Michel Leconte · 1995 · 77 citations

A characterization of power-free morphisms

Michel Leconte · Theoretical Computer Science · 1985 · 26 citations

, , +1

Using Constraints to Verify Properties of Rule Programs

Bruno Berstel, Michel Leconte · 2010 · 15 citations

, , +19

Constraint solving on modular integers

Arnaud Gotlieb, Michel Leconte, Bruno Marre · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 14 citations · Full text

1–4 of 4