2008 |
19 | EE | Marc Kaplan,
Sophie Laplante:
Kolmogorov complexity and combinatorial methods in communication complexity.
Electronic Colloquium on Computational Complexity (ECCC) 15(109): (2008) |
18 | EE | Sophie Laplante,
Frédéric Magniez:
Lower Bounds for Randomized and Quantum Query Complexity Using Kolmogorov Arguments.
SIAM J. Comput. 38(1): 46-62 (2008) |
2007 |
17 | EE | Sophie Laplante,
Richard Lassaigne,
Frédéric Magniez,
Sylvain Peyronnet,
Michel de Rougemont:
Probabilistic abstraction for model checking: An approach based on property testing.
ACM Trans. Comput. Log. 8(4): (2007) |
2006 |
16 | EE | Sophie Laplante:
Lower Bounds Using Kolmogorov Complexity.
CiE 2006: 297-306 |
15 | EE | Sophie Laplante,
Troy Lee,
Mario Szegedy:
The Quantum Adversary Method and Classical Formula Size Lower Bounds.
Computational Complexity 15(2): 163-196 (2006) |
2005 |
14 | EE | Sophie Laplante,
Troy Lee,
Mario Szegedy:
The Quantum Adversary Method and Classical Formula Size Lower Bounds.
IEEE Conference on Computational Complexity 2005: 76-90 |
2004 |
13 | EE | Sophie Laplante,
Frédéric Magniez:
Lower Bounds for Randomized and Quantum Query Complexity Using Kolmogorov Arguments.
IEEE Conference on Computational Complexity 2004: 294-304 |
2002 |
12 | EE | Sophie Laplante,
Richard Lassaigne,
Frédéric Magniez,
Sylvain Peyronnet,
Michel de Rougemont:
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing.
LICS 2002: 30-39 |
2001 |
11 | EE | Sophie Laplante,
Richard Lassaigne,
Frédéric Magniez,
Sylvain Peyronnet,
Michel de Rougemont:
Probabilistic abstraction for model checking: An approach based on property testing
Electronic Colloquium on Computational Complexity (ECCC) 8(51): (2001) |
10 | | André Berthiaume,
Wim van Dam,
Sophie Laplante:
Quantum Kolmogorov Complexity.
J. Comput. Syst. Sci. 63(2): 201-221 (2001) |
9 | EE | Harry Buhrman,
Lance Fortnow,
Sophie Laplante:
Resource-Bounded Kolmogorov Complexity Revisited.
SIAM J. Comput. 31(3): 887-905 (2001) |
2000 |
8 | EE | Harry Buhrman,
Sophie Laplante,
Peter Bro Miltersen:
New Bounds for the Language Compression Problem.
IEEE Conference on Computational Complexity 2000: 126-130 |
7 | EE | André Berthiaume,
Wim van Dam,
Sophie Laplante:
Quantum Kolmogorov Complexity.
IEEE Conference on Computational Complexity 2000: 240-249 |
1999 |
6 | EE | László Babai,
Sophie Laplante:
Stronger Separations for Random-Self-Reducibility, Rounds, and Advice.
IEEE Conference on Computational Complexity 1999: 98-104 |
1998 |
5 | | Lance Fortnow,
Sophie Laplante:
Nearly Optimal Language Compression Using Extractors.
STACS 1998: 84-93 |
4 | | Joan Feigenbaum,
Lance Fortnow,
Sophie Laplante,
Ashish V. Naik:
On Coherence, Random-Self-Reducibility, and Self-Correction.
Computational Complexity 7(2): 174-191 (1998) |
1996 |
3 | EE | Joan Feigenbaum,
Lance Fortnow,
Sophie Laplante,
Ashish V. Naik:
On Coherence, Random-self-reducibility, and Self-correction.
IEEE Conference on Computational Complexity 1996: 59-67 |
1995 |
2 | | Lance Fortnow,
Sophie Laplante:
Circuit Lower Bounds à la Kolmogorov.
Inf. Comput. 123(1): 121-126 (1995) |
1991 |
1 | | Gilles Brassard,
Claude Crépeau,
Sophie Laplante,
Christian Léger:
Computationally Convincing Proofs of Knowledge.
STACS 1991: 251-262 |