| 1996 | A Deductive Database Support to the Specification of Concurrent Systems. Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi |
| 1996 | A Formal Representation for State Diagrams in the OMT Methodology. Elisa Bertino, Donatella Castelli, Federica Vitale |
| 1996 | A Light-Weight Formalism for the Specification of Reactive Systems. Peter Scholz |
| 1996 | A New Proposal of Concurrent Process Calculus. Salvador Lucas, Javier Oliver |
| 1996 | A Seven-Headed Dragon for Optimal Pattern Searching. Ivana Vovsová |
| 1996 | A Transaction Model for Mobile and Active Database Systems. Olaf Zukunft |
| 1996 | A Unified View to String Matching Algorithms. Ricardo A. Baeza-Yates |
| 1996 | A Visual Approach to VDM. Jeremy Dick, Jérôme Loubersac |
| 1996 | An Output Sensitive Solution to the Set Union and Intersection Problem. Carlo Gaibisso, Enrico Nardelli, Guido Proietti |
| 1996 | An Overview of the Tigger Object-Support Operating System Framework. Vinny Cahill |
| 1996 | Aunt's Problem: Table Rounding. Jirí Síma |
| 1996 | Business Case Processing - Rationale, Survey and Trends. Kenneth Robinson, Damian Mac Randal |
| 1996 | CORBA and Object Services. Jan Kleindienst, Frantisek Plásil, Petr Tuma |
| 1996 | Choosing Reference Views for Image-Based Representation. Tomás Werner, Václav Hlavác, Ales Leonardis, Tomás Pajdla |
| 1996 | Communication in Parallel Systems. Friedhelm Meyer auf der Heide, Christian Scheideler |
| 1996 | Computer Visualization - Concepts, Trends and Current Research. Gitta Domik |
| 1996 | Core Technologies for System Renovation. Mark van den Brand, Paul Klint, Chris Verhoef |
| 1996 | Data Mining and the KESO Project. Arno Siebes |
| 1996 | Database Semantics in Heterogenous Environment. Jaroslav Pokorný |
| 1996 | Decision Trees, Knowledge Rules and Some Related Data Mining Algorithms. Jia Liang Han |
| 1996 | Decision-Theoretic Reasoning and the Human-Computer Interface: Advances in Embedded Intelligent Agents (abstract). Eric Horvitz |
| 1996 | Efficient Tree Pattern Unification. Peter Ruzicka |
| 1996 | Feasible Real Random Access Machines. Vasco Brattka, Peter Hertling |
| 1996 | Genetic Algoriths-Based Creation of Fuzzy-Rule Bases for the Car Control. Jan Zizka, Zdenek Kratochvíl |
| 1996 | High Performance Computing - The Computational Chemistry Perspective. Ludek Matyska |
| 1996 | Interprocess Communication in the T4 System. David Bednárek, Petr Merta, David Obdrzálek, Jakub Yaghob, Filip Zavoral |
| 1996 | Iterative Methods for Unsymmetric Linear Systems. Henk A. van der Vorst |
| 1996 | Knowledge Discovery in Alarm Data Analysis. Jianhua Shao |
| 1996 | Learning in Order to Reason: The Approach. Dan Roth |
| 1996 | On the Role of Orthogonality in the GMRES Method. Miroslav Rozlozník, Zdenek Strakos, Miroslav Tuma |
| 1996 | On the Semantics of Multistage Interconnection Networks. Anna Gambin, Slawomir Lasota |
| 1996 | On the Specification of Visual Languages: Multisets as First-Class Citizens. Massimo Marchiori |
| 1996 | Probabilistic Approaches to Motion Planning. Mark H. Overmars, Petr Svestka |
| 1996 | Recognizing Graph Products and Bundles. Janez Zerovnik |
| 1996 | Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. Antonín Kucera |
| 1996 | Restarting Automata with Rewriting. Frantisek Mráz, Martin Plátek, Jörg Vogel |
| 1996 | SOFSEM '96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings Keith G. Jeffery, Jaroslav Král, Miroslav Bartosek |
| 1996 | Scalable Fault Tolerance. Shay Kutten |
| 1996 | Statecharts: Past, Present and Future (abstract). David Harel |
| 1996 | Temporal Conversion Functions for Multitemporal Relational Databases. Cristina De Castro |
| 1996 | The Arias Distributed Shared Memory: An Overview. Pascal Dechamboux, Daniel Hagimont, Jacques Mossière, Xavier Rousset de Pina |
| 1996 | Trends in Game Tree Search. Arie de Bruin, Wim Pijls |