| 2001 | How Can Computer Science Contribute to Knowledge Discovery? | Osamu Watanabe |
| 2001 | Formal Verification Methods for Industrial Hardware Design. | Anna Slobodov |
| 2001 | P-Hardness of Equivalence Testing on Finite-State Processes. | Zdenek Sawa, Petr Jancar |
| 2001 | Distributed Computations by Autonomous Mobile Robots. | Nicola Santoro |
| 2001 | Software Geography: Physical and Economic Aspects. | Vaughan R. Pratt |
| 2001 | Two-Way Restarting Automata and J-Monotonicity. | Martin Pltek |
| 2001 | The HiQoS Rendering System. | Toms Plachetka, Olaf Schmidt, Frank Albracht |
| 2001 | ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs. | Adriano Di Pasquale, Enrico Nardelli |
| 2001 | Beyond the Turing Limit: Evolving Interactive Systems. | Jan van Leeuwen, Jir Wiedermann |
| 2001 | Knowledge-Based Control Systems. | Simon C. Lambert |
| 2001 | From Metacomputing to Grid Computing: Evolution or Revolution? | Domenico Laforenza |
| 2001 | Time and Space Complexity of Reversible Pebbling. | Richard Krlovic |
| 2001 | On Majority Voting Games in Trees. | Rastislav Kralovic |
| 2001 | Fast Independent Component Analysis in Kernel Feature Spaces. | Andrs Kocsor, Jnos Csirik |
| 2001 | Recent Advances in Wavelength Routing. | Christos Kaklamanis |
| 2001 | Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited. | Sndor Jenei |
| 2001 | Bounding Lamport's Bakery Algorithm. | Prasad Jayanti, King Tan, Gregory Friedland, Amir Katz |
| 2001 | Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes. | William I. Grosky, Rong Zhao |
| 2001 | The Reconstruction of Polyominoes from Approximately Orthogonal Projections. | Maciej Gebala |
| 2001 | Lemmatizer for Document Information Retrieval Systems in JAVA. | Leo Galambos |
| 2001 | Quantum Finite State Transducers. | Rusins Freivalds, Andreas J. Winter |
| 2001 | Approximative Learning of Regular Languages. | Henning Fernau |
| 2001 | Agreement Problems in Fault-Tolerant Distributed Systems. | Bernadette Charron-Bost |
| 2001 | Multi-agent Systems as Concurrent Constraint Processes. | Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmr Kretnsk |
| 2001 | How to Employ Reverse Search in Distributed Single Source Shortest Paths. | Lubos Brim, Ivana Cern, Pavel Krcl, Radek Pelnek |