Welcome to D
SIGMOD'00
PODS'00
SIGMOD Recor
CIKM 2000/CI
COMAD 2000
Data Enginee
DL 2000
DPDJ
EDBT 2000
Hypertext 20
ICDE 2000
KDD 2000
KDD Explorat
KRDB 2000
SBBD 2000
SIGIR 2000
SIGIR Forum
SSDBM 2000
TODS
VLDB'00
VLDBJ
About DiSC 2
Editorial Bo
Acknowledgem
DiSC 2001 Pr
ADVIS
DiSC'01 Feed
DiSC'01 Site
Search DiSC'
<<<Author Index>>>
Copyright No

Michel de Rougemont

Papers on DiSC'01


Uniform Generation in Spatial Constraint Databases and Applications

Publications


Note: Links lead to the DBLP on the Web.

Michel de Rougemont

16 Foto N. Afrati , Hans Leiß , Michel de Rougemont: Definability and Compression. LICS 2000 : 63-73

15 David Gross , Michel de Rougemont: Uniform Generation in Spatial Constraint Databases and Applications. PODS 2000 : 254-259

14 Sergei Ivanov , Michel de Rougemont: Interactive protocols over the reals. Computational Complexity 8 (4): 330-345 (1999)

13 Sergei Ivanov , Michel de Rougemont: Interactive Protocols on the Reals. STACS 1998 : 499-510

12 Dima Burago , Michel de Rougemont: On the Average-Case Complexity of the Graph Reliability Problem on Gaussian Distributions. Fundamenta Informaticae 36 (4): 307-315 (1998)

11 Michel de Rougemont, Christoph Schlieder : Spatial Navigation with Uncertain Deviations. AAAI/IAAI 1997 : 649-654

10 Foto N. Afrati , Irène Guessarian , Michel de Rougemont: The Expressiveness of Datalog Circuits (DAC). MFCS 1997 : 119-128

9 Dima Burago , Michel de Rougemont, Anatol Slissenko : On the Complexity of Partially Observed Markov Decision Processes. TCS 157 (2): 161-183 (1996)

8 Michel de Rougemont: The Reliability of Queries. PODS 1995 : 286-291

7 Jean Marc Couveignes , Juan Francisco Diaz-Frias , Michel de Rougemont, Miklos Santha : On the Interactive Complexity of Graph Reliability. FSTTCS 1994 : 12-23

6 Michel de Rougemont: The Functional Dimension of Inductive Definitions. TCS 101 (1): 143-158 (1992)

5 Michel de Rougemont: Fixed-point semantics and the representation of algorithms on large data. VLDB 1988 : 264-272

4 Michel de Rougemont: Constructive Second-Order Proofs in Logical Databases. IJCAI 1987 : 993-996

3 Michel de Rougemont: On the Quantification of Knowledge. AIMSA 1986 : 245-253

2 Michel de Rougemont: From Logic to Logic Programming. AIMSA 1984 : 85-92

1 Michel de Rougemont: Uniform Definability on Finite Structures with Successor. STOC 1984 : 409-417





DiSC'01 Copyright ©2002 ACM Inc.