Volume 54,
Number 1,
March 2007
Volume 54,
Number 2,
April 2007
- Sara Cohen, Werner Nutt, Yehoshua Sagiv:
Deciding equivalences among conjunctive aggregate queries.
Electronic Edition (ACM DL) BibTeX
- Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer:
A characterization of regular expressions under bisimulation.
Electronic Edition (ACM DL) BibTeX
- Jan A. Bergstra, J. V. Tucker:
The rational numbers as an abstract data type.
Electronic Edition (ACM DL) BibTeX
- Vincent Danos, Elham Kashefi, Prakash Panangaden:
The measurement calculus.
Electronic Edition (ACM DL) BibTeX
- Dimitris Achlioptas, Frank McSherry:
Fast computation of low-rank matrix approximations.
Electronic Edition (ACM DL) BibTeX
- Dimitris Achlioptas, Assaf Naor, Yuval Peres:
On the maximum satisfiability of random formulas.
Electronic Edition (ACM DL) BibTeX
Volume 54,
Number 3,
June 2007
Volume 54,
Number 4,
July 2007
- Jiangzhuo Chen, Robert D. Kleinberg, László Lovász, Rajmohan Rajaraman, Ravi Sundaram, Adrian Vetta:
(Almost) Tight bounds and existence theorems for single-commodity confluent flows.
Electronic Edition (ACM DL) BibTeX
- Elitza N. Maneva, Elchanan Mossel, Martin J. Wainwright:
A new look at survey propagation and its generalizations.
Electronic Edition (ACM DL) BibTeX
- Éric Colin de Verdière, Francis Lazarus:
Optimal pants decompositions and shortest homotopic cycles on an orientable surface.
Electronic Edition (ACM DL) BibTeX
- Stijn Vansummeren:
On deciding well-definedness for query languages on trees.
Electronic Edition (ACM DL) BibTeX
- Tero Harju, Dirk Nowotka:
Periodicity and unbordered words: A proof of the extended duval conjecture.
Electronic Edition (ACM DL) BibTeX
- Mark Rudelson, Roman Vershynin:
Sampling from large matrices: An approach through geometric functional analysis.
Electronic Edition (ACM DL) BibTeX
Volume 54,
Number 5,
October 2007
Volume 54,
Number 6,
December 2007
Copyright © Sun May 17 00:05:58 2009
by Michael Ley (ley@uni-trier.de)