| 2001 | Quantum versus Probabilistic One-Way Finite Automata with Counter. | Richard F. Bonner, Rusins Freivalds, Maksim Kravtsev |
| 2001 | Pipelined Decomposable BSP Computers. | Martin Beran |
| 2001 | Model Checking Communication Protocols. | Pablo Argn, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski |
| 2001 | On the Approximability of Interactive Knapsack Problems. | Isto Aho |
| 2001 | The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences. | Hamideh Afsarmanesh, Ersin Cem Kaletas, Louis O. Hertzberger |
| 2000 | Computing the Dimension of Linear Subspaces. | Martin Ziegler, Vasco Brattka |
| 2000 | MDBAS-A Prototype of a Multidatabase Management System Based on Mobile Agents. | Richard Vlach, Jan Lna, Jan Marek, David Navara |
| 2000 | Information Access Based on Associative Calculation. | Akihiko Takano, Yoshiki Niwa, Shingo Nishioka, Makoto Iwayama, Toru Hisamitsu, Osamu Imaichi, Hirofumi Sakurai |
| 2000 | Robust Implementaion of Finite Automata by Recurrent RBF Networks. | Michal Sorel, Jir Sma |
| 2000 | BioInformatics: Databases + Data Mining (abstract). | Arno Siebes |
| 2000 | Analysis Patterns. | L'ubor Sesera |
| 2000 | Optimisation of Artificial Neural Network Topology Applied in the Prosody Control in Text-to-Speech Synthesis. | Vclav Sebesta, Jana Tuckov |
| 2000 | Simplified Witness Tree Arguments. | Thomas Schickinger, Angelika Steger |
| 2000 | Algorithms for Rational Agents. | Amir Ronen |
| 2000 | Cheap Vision-Exploiting Ecological Niche and Morphology. | Rolf Pfeifer, Dimitrios Lambrinos |
| 2000 | Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power. | Jrg Nievergelt |
| 2000 | Using Consensus Methods for Solving Conflicts of Data in Distributed Systems. | Ngoc Thanh Nguyen |
| 2000 | Software Testing & Diagnostics: Theory & Practice. | Vladimr Mark, Lubos Kral, Radek Mark |
| 2000 | Finitary Observations in Regular Algebras. | Slawomir Lasota |
| 2000 | Massively Parallel Pattern Recognition with Link Failures. | Martin Kutrib, Jan-Thomas Lwe |
| 2000 | Information Mining: Applications in Image Processing. | Rudolf Kruse, Aljoscha Klose |
| 2000 | Autonomous Components. | Jaroslav Krl, Michal Zemlicka |
| 2000 | Hierarchies of Sensing and Control in Visually Guided Agents. | Jana Kosecka |
| 2000 | On Vision-Based Orientation Method of a Robot Head in a Dark Cylindrical Pipe. | Marina Kolesnik |
| 2000 | Parallel Object Server for Fine Grained Objects. | Petr Koha |