BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rougemont:Michel_de

Contributed to:

LICS 20092009
ECDL 20072007
LICS 20062006
ICALP 20042004
CSL 20032003
LICS 20022002
LICS 20002000
PODS 20002000
PODS 19951995
VLDB 19881988
STOC 19841984

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.