External Links

    Journal: Inf. Comput.

    Volume 205, Issue 12

    1685 -- 1720Michael Backes, Birgit Pfitzmann, Michael Waidner. The reactive simulatability (RSIM) framework for asynchronous systems
    1721 -- 1740Amos Korman, David Peleg. Labeling schemes for weighted dynamic trees
    1741 -- 1776Ralf Küsters, Thomas Wilke. Transducer-based analysis of cryptographic protocols
    1777 -- 1805Sanjay Jain, Efim B. Kinber. Iterative learning from positive data and negative counterexamples
    runs on