Journal: Journal of Computer Languages

Volume 19, Issue 2

153 -- 181J. McDermott, Gerard Allwein. A formalism for visual security protocol modeling
182 -- 202Igal Koifman, Ilan Shimshoni, Ayellet Tal. MAVIS: A multi-level algorithm visualization system within a collaborative distance learning environment
203 -- 224Giang P. Nguyen, Marcel Worring. Interactive access to large image collections using similarity-based visualization
225 -- 257Giovanni Casella, Vincenzo Deufemia, Viviana Mascardi, Gennaro Costagliola, Maurizio Martelli. An agent-based framework for sketched symbol interpretation
258 -- 290Giuseppe Cattaneo, Antonio De Santis, Umberto Ferraro Petrillo. Visualization of cryptographic protocols with GRACE
291 -- 301Timothy Arndt. Visual software tools for bioinformatics