Journal: Inf. Comput.

Volume 194, Issue 2

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

Volume 194, Issue 1

1 -- 18Doron Bustan, Orna Grumberg. Applicability of fair simulation
19 -- 48Alexander Okhotin. Boolean grammars
49 -- 75Pavol Duris, Juraj Hromkovic, Stasys Jukna, Martin Sauerhoff, Georg Schnitger. On multi-partition communication complexity