Travelled to:1 × Austria
1 × Denmark
1 × Finland
7 × USA
Collaborated with:∅ F.Magniez H.Leiß M.Tracol C.Hess D.Gross E.Fischer F.N.Afrati S.Laplante R.Lassaigne S.Peyronnet
Talks about:probabilist (2) properti (2) compress (2) uniform (2) model (2) defin (2) test (2) uncertainti (1) constraint (1) successor (1)
Person: Michel de Rougemont
DBLP: Rougemont:Michel_de
Contributed to:
2009
20072006
2004
200320022000
20001995
1988
1984Wrote 11 papers:
- LICS-2009-RougemontT #analysis #probability #process #statistics
- Statistic Analysis for Probabilistic Processes (MdR, MT), pp. 299–308.
- ECDL-2007-HessR #documentation #network #nondeterminism
- A Model of Uncertainty for Near-Duplicates in Document Reference Networks (CH, MdR), pp. 449–453.
- LICS-2006-FischerMR #approximate #equivalence #satisfiability
- Approximate Satisfiability and Equivalence (EF, FM, MdR), pp. 421–430.
- ICALP-2004-MagniezR #testing
- Property Testing of Regular Tree Languages (FM, MdR), pp. 932–944.
- CSL-2003-LeissR #automaton #string
- Automata on Lempel-ziv Compressed Strings (HL, MdR), pp. 384–396.
- LICS-2002-LaplanteLMPR #abstraction #approach #model checking #probability #testing
- Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing (SL, RL, FM, SP, MdR), pp. 30–39.
- LICS-2000-AfratiLR
- Definability and Compression (FNA, HL, MdR), pp. 63–73.
- PODS-2000-GrossR #constraints #database #generative
- Uniform Generation in Spatial Constraint Databases and Applications (DG, MdR), pp. 254–259.
- PODS-1995-Rougemont #query #reliability
- The Reliability of Queries (MdR), pp. 286–291.
- VLDB-1988-Rougemont #algorithm #fixpoint #representation #scalability #semantics
- Fixed-point semantics and the representation of algorithms on large data (MdR), pp. 264–272.
- STOC-1984-Rougemont #finite
- Uniform Definability on Finite Structures with Successor (MdR), pp. 409–417.