Computer Journal

Capsule Reviews
pp. 1-3(3)

New Models of Computation
pp. 4-9(6)
Authors: Wegner, Peter; Eberbach, Eugene

Generalized Template Splay: A Basic Theory and Calculus
pp. 10-19(10)
Authors: Georgakopoulos, George F.; McClurkin, David J.

The Tower of Hanoi with Forbidden Moves
pp. 20-24(5)
Author: Sapir, Amir

Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation
pp. 25-45(21)
Authors: Barbuti, Roberto; Bernardeschi, Cinzia; De Francesco, Nicoletta

Inversion Coding
pp. 46-57(12)
Author: Arnavut, Ziya

Combining Encryption and Proof of Knowledge in the Random Oracle Model
pp. 58-70(13)
Author: Abe, Masayuki

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
pp. 71-84(14)
Authors: Xu, Ying; Song, Xiaoyu; Cerny, Eduard; Mohamed, Otmane Ait

Diagnosis of Symmetric Graphs Under the BGM Model
pp. 85-92(8)
Authors: Albini, L. C. P.; Chessa, S.; Maestrini, P.

A Suggestion for a Fast Residue Multiplier for a Family of Moduli of the Form (2ⁿ - (2^p ± 1))
pp. 93-102(10)
Author: Hiasat, Ahmad A.

Building Footprint Simplification Techniques and Their Effects on Radio Propagation Predictions
pp. 103-133(31)
Authors: Chen, Zhongqiang; Delis, Alex; Bertoni, Henry L.

AspectJ in Action—Practical Aspect-Oriented Programming
pp. 134-135(2)
Author: Colyer, Adrian

Real-Time Rendering, 2nd edition
pp. 134-134(1)
Author: Reinhard, Erik

Term Rewriting Systems
pp. 135-135(1)
Author: Jouannaud, Jean-Pierre