Demo Data from EDBT 2026 / reviewers in the wild / expert
Scott Diehl
dblp:23/5415
· DBLP profile ↗
4ranked-venue papers
4as first author
0since 2021 · last 2009
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 4 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
2 papers |
Computational complexity · 86% Automated reasoning and model checking · 14% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Computational complexity › complexity classes
polynomial hierarchy |
0.1 | 2 | 2006 | Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · SIAM J. Comput. 2006 Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · ICALP 2005 |
Computational complexity › time-space tradeoffs
time-space lower bounds |
0.1 | 2 | 2006 | Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · SIAM J. Comput. 2006 Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · ICALP 2005 |
Computational complexity
circuit complexity |
0.1 | 1 | 2006 | Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · SIAM J. Comput. 2006 |
Computational complexity › structural complexity › complexity hierarchies
linear time hierarchy |
0.1 | 1 | 2006 | Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · SIAM J. Comput. 2006 |
Automated reasoning and model checking › satisfiability
quantified boolean formula |
0.1 | 1 | 2006 | Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · SIAM J. Comput. 2006 |
Computational complexity
randomized computation |
0.0 | 1 | 2005 | Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · ICALP 2005 |
Methods — techniques the papers use, named apart from their topics
simulation arguments · 0.1diagonalization · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2009 | An Improved Time-Space Lower Bound for Tautologies
Scott Diehl, Dieter van Melkebeek, R. Ryan Williams |
COCOON | 1 |
| 2007 | Lower Bounds for Swapping Arthur and Merlin
Scott Diehl |
APPROX-RANDOM | 1 |
| 2006 | Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized MachinesabstractWe establish the first polynomial‐strength time‐space lower bounds for problems in the linear‐time hierarchy on randomized machines with two‐sided error. We show that for any integer $\ell > 1$ and constant $c < \ell$, there exists a positive constant d such that QSAT$_{\ell}$ cannot be computed by such machines in time $n^c$ and space $n^d$, where QSAT$_{\ell}$ denotes the problem of deciding the validity of a quantified Boolean formula with at most $\ell - 1$ quantifier alternations. Moreover, d approaches 1/2 from below as c approaches 1 from above for $\ell = 2$, and d approaches 1 from below as c approaches 1 from above for $\ell \ge 3$. In fact, we establish the stronger result that for any constants $a \le 1$ and $c < 1 + (\ell - 1)a$, there exists a positive constant d such that linear‐time alternating machines using space $n^a$ and $\ell - 1$ alternations cannot be simulated by randomized machines with two‐sided error running in time $n^c$ and space $n^d$, where d approaches $a/2$ from below as c approaches 1 from above for $\ell = 2$, and d approaches a from below as c approaches 1 from above for $\ell \ge 3$. Corresponding to $\ell = 1$, we prove that there exists a positive constant d such that the set of Boolean tautologies cannot be decided by a randomized machine with one‐sided error in time $n^{1.759}$ and space $n^d$. As a corollary, this gives the same lower bound for satisfiability on deterministic machines, improving on the previously best known such result. Scott Diehl, Dieter van Melkebeek |
SIAM J. Comput. | 1 |
| 2005 | Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines
Scott Diehl, Dieter van Melkebeek |
ICALP | 1 |