77 | -- | 78 | Alexander A. Shvartsman. Editor s introduction |
79 | -- | 100 | Gösta Grahne, Victoria Kiricenko. Towards an algebraic theory of information integration |
101 | -- | 128 | Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger. Turing machines, transition systems, and interaction |
129 | -- | 143 | Faron Moller, Scott A. Smolka, Jirí Srba. On the computational complexity of bisimulation, redux |
144 | -- | 174 | Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg. Stack size analysis for interrupt-driven programs |
175 | -- | 202 | Aris Anagnostopoulos, Russell Bent, Eli Upfal, Pascal Van Hentenryck. A simple and deterministic competitive algorithm for online facility location |
203 | -- | 241 | Dina Q. Goldin, Todd D. Millstein, Ayferi Kutlu. Bounded similarity querying for time-series data |