Volume 194,
Number 1,
10 October 2004
Volume 194,
Number 2,
10 October 2004
- Alexander A. Shvartsman:
Editor's introduction.
77-78
Electronic Edition (link) BibTeX
- Gösta Grahne, Victoria Kiricenko:
Towards an algebraic theory of information integration.
79-100
Electronic Edition (link) BibTeX
- Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger:
Turing machines, transition systems, and interaction.
101-128
Electronic Edition (link) BibTeX
- Faron Moller, Scott A. Smolka, Jirí Srba:
On the computational complexity of bisimulation, redux.
129-143
Electronic Edition (link) BibTeX
- Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg:
Stack size analysis for interrupt-driven programs.
144-174
Electronic Edition (link) BibTeX
- Aris Anagnostopoulos, Russell Bent, Eli Upfal, Pascal Van Hentenryck:
A simple and deterministic competitive algorithm for online facility location.
175-202
Electronic Edition (link) BibTeX
- Dina Q. Goldin, Todd D. Millstein, Ayferi Kutlu:
Bounded similarity querying for time-series data.
203-241
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:00:03 2009
by Michael Ley (ley@uni-trier.de)