Concepedia

Michel de Rougemont

MD

Statistics

Publications

11

Citations

224

H-Index

10

Active since

1984

Affiliations

Laboratoire de Recherche en Informatique(Current)

Centre National de la Recherche Scientifique

Université Paris-Panthéon-Assas

Université Paris Cité

Université Paris-Sud

Michel de Rougemont is an author at Laboratoire de Recherche en Informatique specializing in computer science, computing, and formal methods.

Publications per year

1984–2016

11

Publications

11

Second‐order and Inductive Definability on Finite Structures

Michel de Rougemont · Mathematical logic quarterly · 1987 · 67 citations

Natural Sciences, Computer Science, Mathematics +11

On the complexity of partially observed Markov decision processes

Dima Burago, Michel de Rougemont, Anatol Slissenko · Theoretical Computer Science · 1996 · 35 citations · Full text

Computing, Computer Science, Mathematics +15

Probabilistic abstraction for model checking

Sophie Laplante, Richard Lassaigne, Frédéric Magniez et al. · ACM Transactions on Computational Logic · 2007 · 23 citations

Computing, Computer Science, Computer Systems +12

Uniform definability on finite structures with successor

Michel de Rougemont · 1984 · 18 citations · Full text

Computing, Computer Science, Mathematics +10

Property Testing of Regular Tree Languages

Frédéric Magniez, Michel de Rougemont · Algorithmica · 2007 · 14 citations

Computing, Computer Science, Formal Methods +13

1–5 of 11