Journal: J. Comput. Syst. Sci.

Volume 61, Issue 1

1 -- 50Roderick Bloem, Joost Engelfriet. A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars
51 -- 80Dario Catalano, Rosario Gennaro. New Efficient and Secure Protocols for Verifiable Signature Sharing and Other Applications
81 -- 107Suresh Chari, Pankaj Rohatgi, Aravind Srinivasan. Improved Algorithms via Approximations of Probability Distributions
108 -- 143Gheorghe Paun. Computing with Membranes