Journal: Inf. Comput.

Volume 131, Issue 2

95 -- 109Diana Rooß, Klaus W. Wagner. On the Power of DNA-Computing
111 -- 139Carlo Blundo, Alfredo De Santis, Ugo Vaccaro. Randomness in Distribution Protocols
141 -- 178Davide Sangiorgi. Bisimulation for Higher-Order Process Calculi
179 -- 189Manindra Agrawal, Vikraman Arvind. A Note on Decision versus Search for Graph Automorphism

Volume 131, Issue 1

1 -- 46Filomena Ferrucci, Giuliano Pacini, Giorgio Satta, Maria I. Sessa, Genoveffa Tortora, Maurizio Tucci, Giuliana Vitiello. Symbol-Relation Grammars: A Formalism for Graphical Languages
47 -- 61Lila Kari, Gabriel Thierrin. Contextual Insertions/Deletions and Computability
63 -- 79Ming-Yang Kao, John H. Reif, Stephen R. Tate. Searching in an Unknown Environment: An Optimal Randomized Algorithm for the Cow-Path Problem
81 -- 93Claudia Bertram-Kretzberg, Thomas Hofmeister. Multiple Product Modulo Arbitrary Numbers