| 1995 | A Formal Lazy Replication Regime for Spreading Conversion Functions over Objectbases. Clara Smith, Carlos A. Tau |
| 1995 | A Methodology for Performance and Scalability Analysis. Efthimios Tambouris, Peter Van Santen |
| 1995 | A Modular History-Oriented Access Structure for Bitemporal Relational Databases. Alessandro Cappelli, Cristina De Castro, Maria Rita Scalas |
| 1995 | A Simple and Efficient Incremental LL(1) parsing. Warren X. Li |
| 1995 | Constraint Logic Programming with Fuzzy Sets. Ludek Matyska, Hynek Bures |
| 1995 | Database: Introduction to Problems. Keith G. Jeffery |
| 1995 | Development of Safety-Critical Real-Time Systems. Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber |
| 1995 | Distributed Algorithm for Finding a Core of a Tree Network. Esther Jennings |
| 1995 | Distributed Information Systems. Jane Grimson |
| 1995 | Experience with Chorus. Christian Bac, Guy Bernard, Denis Conan, Quang Hong Nguyen, Chantal Taconet |
| 1995 | Extending Database Technology. Norman W. Paton |
| 1995 | Formal Methods in Practice: A Comparison of Two Support Systems for Proof. Juan Bicarregui, Brian Matthews |
| 1995 | Fundamentals of Context=Sensitive Rewriting. Salvador Lucas |
| 1995 | Fuzzy Logic From The Logical Point of View. Petr Hájek |
| 1995 | Fuzzy Set Theory and Medical Expert Systems: Survey and Model. Nguyen Hoang Phuong |
| 1995 | High-Level Languages for Parallel Scientific Computing. Barbara M. Chapman, Piyush Mehrotra, Hans P. Zima |
| 1995 | Hopfield Languages. Jirí Síma |
| 1995 | Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution. Peter Borovanský |
| 1995 | Inconsistency Conflict Resolution. Julius Stuller |
| 1995 | Integration of Object-Oriented Analysis and Algebraic Specifications. Zuzana Repaská |
| 1995 | Introducing SSADM4+ and PRINCE. A. J. G. Betts |
| 1995 | Logic Programming in RPL and RQL. Peter Vojtás, Leonard Paulík |
| 1995 | Maximum Flow Problem in Distributed Environment. Lenka Motyckova |
| 1995 | On Some New Aspects of Networked Multimedia Systems. Hermann A. Maurer |
| 1995 | On the Efficiency of Superscalar and Vector Computer for some Problems in Scientif Computing. Miroslav Tuma, Miroslav Rozlozník |
| 1995 | On the Implementation of Some Residual Minimizing Krylov Space Methods. Miroslav Rozlozník, Zdenek Strakos |
| 1995 | Parallel Machine Models: How They Are and Where Are They Going. Jirí Wiedermann |
| 1995 | Parallel Processing of Image Database Queries. François Meunier, Petr Zemánek |
| 1995 | Parsing of Free-Word-Order Languages. Tomás Holan, Vladislav Kubon, Martin Plátek |
| 1995 | Quo Vadis GIS: From GIS to GIMS and Open GIS. Ales Limpouch, Karel Charvát |
| 1995 | Recognition of Handwritten Characters Using Instance-Based Learning Algorithms. Jan Zizka, Irena Snajdárková |
| 1995 | SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995, Proceedings Miroslav Bartosek, Jan Staudek, Jirí Wiedermann |
| 1995 | Sense of Direction in Processor Networks. Gerard Tel |
| 1995 | Software Engineering Meets Human-Computer Interaction: Integrating User Interface Design in an Object-Oriented Methodology. Hans-Werner Gellersen |
| 1995 | Stepwise Synthesis of Reactive Programs. Petr Kozák |
| 1995 | The Fusion Object-Oriented Method: an Evaluation. Alain Pirotte, Thierry Van den Berghe, Esteban Zimányi |
| 1995 | WWW - The World Wide Web. Victoria A. Marshall |
| 1995 | Welcoming the Super Turing Theories. Hava T. Siegelmann |
| 1995 | What NARX Networks Can Compute. Bill G. Horne, Hava T. Siegelmann, C. Lee Giles |
| 1995 | Why Use Evolving Algebras for Hardware and Software Engineering? Egon Börger |