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