| 2001 | ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs. Adriano Di Pasquale, Enrico Nardelli |
| 2001 | Agreement Problems in Fault-Tolerant Distributed Systems. Bernadette Charron-Bost |
| 2001 | Approximative Learning of Regular Languages. Henning Fernau |
| 2001 | Beyond the Turing Limit: Evolving Interactive Systems. Jan van Leeuwen, Jirí Wiedermann |
| 2001 | Bounding Lamport's Bakery Algorithm. Prasad Jayanti, King Tan, Gregory Friedland, Amir Katz |
| 2001 | Distributed Computations by Autonomous Mobile Robots. Nicola Santoro |
| 2001 | Fast Independent Component Analysis in Kernel Feature Spaces. András Kocsor, János Csirik |
| 2001 | Formal Verification Methods for Industrial Hardware Design. Anna Slobodová |
| 2001 | From Metacomputing to Grid Computing: Evolution or Revolution? Domenico Laforenza |
| 2001 | How Can Computer Science Contribute to Knowledge Discovery? Osamu Watanabe |
| 2001 | How to Employ Reverse Search in Distributed Single Source Shortest Paths. Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek |
| 2001 | Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited. Sándor Jenei |
| 2001 | Knowledge-Based Control Systems. Simon C. Lambert |
| 2001 | Lemmatizer for Document Information Retrieval Systems in JAVA. Leo Galambos |
| 2001 | Model Checking Communication Protocols. Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski |
| 2001 | Multi-agent Systems as Concurrent Constraint Processes. Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský |
| 2001 | Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes. William I. Grosky, Rong Zhao |
| 2001 | On Majority Voting Games in Trees. Rastislav Kralovic |
| 2001 | On the Approximability of Interactive Knapsack Problems. Isto Aho |
| 2001 | P-Hardness of Equivalence Testing on Finite-State Processes. Zdenek Sawa, Petr Jancar |
| 2001 | Pipelined Decomposable BSP Computers. Martin Beran |
| 2001 | Quantum Finite State Transducers. Rusins Freivalds, Andreas J. Winter |
| 2001 | Quantum versus Probabilistic One-Way Finite Automata with Counter. Richard F. Bonner, Rusins Freivalds, Maksim Kravtsev |
| 2001 | Recent Advances in Wavelength Routing. Christos Kaklamanis |
| 2001 | SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001, Proceedings Leszek Pacholski, Peter Ruzicka |
| 2001 | Software Geography: Physical and Economic Aspects. Vaughan R. Pratt |
| 2001 | The HiQoS Rendering System. Tomás Plachetka, Olaf Schmidt, Frank Albracht |
| 2001 | The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences. Hamideh Afsarmanesh, Ersin Cem Kaletas, Louis O. Hertzberger |
| 2001 | The Reconstruction of Polyominoes from Approximately Orthogonal Projections. Maciej Gebala |
| 2001 | Time and Space Complexity of Reversible Pebbling. Richard Královic |
| 2001 | Two-Way Restarting Automata and J-Monotonicity. Martin Plátek |