17 papers:
ICALP-v1-2015-DoronT #approximate #graph #on the #probability #problem- On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace (DD, ATS), pp. 419–431.
LICS-2015-DalmauEHLR #complexity #problem- Descriptive Complexity of List H-Coloring Problems in Logspace: A Refined Dichotomy (VD, LE, PH, BL, AR), pp. 487–498.
TLCA-2015-Bagnol #diagrams #equivalence #proving- MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams (MB), pp. 60–75.
STOC-2014-ElberfeldK #bound #graph- Embedding and canonizing graphs of bounded genus in logspace (ME, KiK), pp. 383–392.
PODS-2013-Gottlob #identification #polynomial- Deciding monotone duality and identifying frequent itemsets in quadratic logspace (GG), pp. 25–36.
- STOC-2013-Ta-Shma #matrix #quantum
- Inverting well conditioned matrices in quantum logspace (ATS), pp. 881–890.
- ICALP-v1-2010-KoblerKLV #canonical #graph #representation
- Interval Graphs: Canonical Representation in Logspace (JK, SK, BL, OV), pp. 384–395.
LATA-2007-ChoudharySB #nondeterminism- Universality for Nondeterministic Logspace (VC, AKS, SB), pp. 103–114.
- LICS-2007-EgriLT #constraints #datalog #problem #symmetry
- Symmetric Datalog and Constraint Satisfaction Problems in Logspace (LE, BL, PT), pp. 193–202.
FM-v2-1999-GradelS #state machine- Logspace Reducibility via Abstract State Machines (EG, MS), pp. 1738–1757.
- STOC-1995-NisanT #symmetry
- Symmetric logspace is closed under complement (NN, ATS), pp. 140–146.
- LICS-1995-Gottlob #finite #quantifier
- Relativized Logspace and Generalized Quantifiers over Finite Structures (GG), pp. 65–78.
- ICALP-1994-Feige #algorithm #graph #performance #random
- A Fast Randomized LOGSPACE Algorithm for Graph Connectivity (UF), pp. 499–507.
- STOC-1993-NisanZ #simulation
- More deterministic simulation in logspace (NN, DZ), pp. 235–244.
- STOC-1992-Lindell #algorithm
- A Logspace Algorithm for Tree Canonization (Extended Abstract) (SL), pp. 400–404.
- STOC-1989-BabaiNS #multi #protocol #pseudo #sequence
- Multiparty Protocols and Logspace-hard Pseudorandom Sequences (Extended Abstract) (LB, NN, MS), pp. 1–11.
- STOC-1987-AjtaiKS #simulation
- Deterministic Simulation in LOGSPACE (MA, JK, ES), pp. 132–140.
