Journal: J. Comput. Syst. Sci.

Volume 70, Issue 2

101 -- 127David A. Mix Barrington, Neil Immerman, Clemens Lautemann, Nicole Schweikardt, Denis Thérien. First-order expressibility of languages with neutral letters or: The Crane Beach conjecture
128 -- 144Michael H. Goldwasser, Ming-Yang Kao, Hsueh-I Lu. Linear-time algorithms for computing maximum-density sequence segments with bioinformatics applications
145 -- 175Susanne Albers, Lene M. Favrholdt, Oliver Giel. On paging with locality of reference
176 -- 200Daowen Qiu, Huaiqing Wang. A probabilistic model of computing with words
201 -- 220Jia Lee, Susumu Adachi, Ferdinand Peper, Shinro Mashiko. Delay-insensitive computation in asynchronous cellular automata
221 -- 257Frank Neven. Attribute grammars for unranked trees as a query language for structured documents
258 -- 281Antonella Santone, Gigliola Vaglini. A local approach for temporal model checking of Java bytecode