| 1996 | Restarting Automata with Rewriting. | Frantisek Mrz, Martin Pltek, Jrg Vogel |
| 1996 | High Performance Computing - The Computational Chemistry Perspective. | Ludek Matyska |
| 1996 | On the Specification of Visual Languages: Multisets as First-Class Citizens. | Massimo Marchiori |
| 1996 | A New Proposal of Concurrent Process Calculus. | Salvador Lucas, Javier Oliver |
| 1996 | Scalable Fault Tolerance. | Shay Kutten |
| 1996 | Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. | Antonn Kucera |
| 1996 | CORBA and Object Services. | Jan Kleindienst, Frantisek Plsil, Petr Tuma |
| 1996 | Decision-Theoretic Reasoning and the Human-Computer Interface: Advances in Embedded Intelligent Agents (abstract). | Eric Horvitz |
| 1996 | Communication in Parallel Systems. | Friedhelm Meyer auf der Heide, Christian Scheideler |
| 1996 | Statecharts: Past, Present and Future (abstract). | David Harel |
| 1996 | Decision Trees, Knowledge Rules and Some Related Data Mining Algorithms. | Jia Liang Han |
| 1996 | On the Semantics of Multistage Interconnection Networks. | Anna Gambin, Slawomir Lasota |
| 1996 | An Output Sensitive Solution to the Set Union and Intersection Problem. | Carlo Gaibisso, Enrico Nardelli, Guido Proietti |
| 1996 | Computer Visualization - Concepts, Trends and Current Research. | Gitta Domik |
| 1996 | A Visual Approach to VDM. | Jeremy Dick, Jrme Loubersac |
| 1996 | The Arias Distributed Shared Memory: An Overview. | Pascal Dechamboux, Daniel Hagimont, Jacques Mossire, Xavier Rousset de Pina |
| 1996 | Temporal Conversion Functions for Multitemporal Relational Databases. | Cristina De Castro |
| 1996 | An Overview of the Tigger Object-Support Operating System Framework. | Vinny Cahill |
| 1996 | Trends in Game Tree Search. | Arie de Bruin, Wim Pijls |
| 1996 | Feasible Real Random Access Machines. | Vasco Brattka, Peter Hertling |
| 1996 | Core Technologies for System Renovation. | Mark van den Brand, Paul Klint, Chris Verhoef |
| 1996 | A Formal Representation for State Diagrams in the OMT Methodology. | Elisa Bertino, Donatella Castelli, Federica Vitale |
| 1996 | Interprocess Communication in the T4 System. | David Bednrek, Petr Merta, David Obdrzlek, Jakub Yaghob, Filip Zavoral |
| 1996 | A Unified View to String Matching Algorithms. | Ricardo A. Baeza-Yates |
| 1996 | A Deductive Database Support to the Specification of Concurrent Systems. | Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi |