| 2000 | A Temporal Layered Knowledge Architecture for an Evolving Structured Environment. Cristina De Castro |
| 2000 | Algorithms for Rational Agents. Amir Ronen |
| 2000 | An Automatic Composition Algorithm for Functional Logic Programs. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal |
| 2000 | Analysis Patterns. L'ubor Sesera |
| 2000 | Autonomous Components. Jaroslav Král, Michal Zemlicka |
| 2000 | BioInformatics: Databases + Data Mining (abstract). Arno Siebes |
| 2000 | Cheap Vision-Exploiting Ecological Niche and Morphology. Rolf Pfeifer, Dimitrios Lambrinos |
| 2000 | Computing the Dimension of Linear Subspaces. Martin Ziegler, Vasco Brattka |
| 2000 | Domain Engineering: A Software Engineering Discipline in Need of Research. Dines Bjørner |
| 2000 | Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power. Jürg Nievergelt |
| 2000 | Fast Evolutionary Chains. Maxime Crochemore, Costas S. Iliopoulos, Yoan J. Pinzón |
| 2000 | Finitary Observations in Regular Algebras. Slawomir Lasota |
| 2000 | Hierarchies of Sensing and Control in Visually Guided Agents. Jana Kosecka |
| 2000 | Information Access Based on Associative Calculation. Akihiko Takano, Yoshiki Niwa, Shingo Nishioka, Makoto Iwayama, Toru Hisamitsu, Osamu Imaichi, Hirofumi Sakurai |
| 2000 | Information Mining: Applications in Image Processing. Rudolf Kruse, Aljoscha Klose |
| 2000 | Information Society Technologies in Healthcare. Dimitrios G. Katehakis, Manolis Tsiknakis, Stelios C. Orphanoudakis |
| 2000 | MDBAS-A Prototype of a Multidatabase Management System Based on Mobile Agents. Richard Vlach, Jan Lána, Jan Marek, David Navara |
| 2000 | Massively Parallel Pattern Recognition with Link Failures. Martin Kutrib, Jan-Thomas Löwe |
| 2000 | On Vision-Based Orientation Method of a Robot Head in a Dark Cylindrical Pipe. Marina Kolesnik |
| 2000 | On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common Suerstring Problem. Dirk Bongartz |
| 2000 | On-Line Maximum-Order Induces Hereditary Subgraph Problems. Marc Demange, Xavier Paradon, Vangelis Th. Paschos |
| 2000 | Optimisation of Artificial Neural Network Topology Applied in the Prosody Control in Text-to-Speech Synthesis. Václav Sebesta, Jana Tucková |
| 2000 | Parallel Object Server for Fine Grained Objects. Petr Koha |
| 2000 | Physical Design of CMOS Chips in Six Easy Steps. Sidney E. Benda |
| 2000 | Quantum Pushdown Automata. Marats Golovkins |
| 2000 | Recognizing Objects by Their Appearance Using Eigenimages. Horst Bischof, Ales Leonardis |
| 2000 | Robust Implementaion of Finite Automata by Recurrent RBF Networks. Michal Sorel, Jirí Síma |
| 2000 | SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 - December 2, 2000, Proceedings Václav Hlavác, Keith G. Jeffery, Jirí Wiedermann |
| 2000 | Simplified Witness Tree Arguments. Thomas Schickinger, Angelika Steger |
| 2000 | Software Testing & Diagnostics: Theory & Practice. Vladimír Marík, Lubos Kral, Radek Marík |
| 2000 | Some Notes on the Information Flow in Read-Once Branching Programs. Stasys Jukna, Stanislav Zák |
| 2000 | The Incompressibility Method. Tao Jiang, Ming Li, Paul M. B. Vitányi |
| 2000 | Towards High Speed Grammar Induction on Large Text Corpora. Pieter W. Adriaans, Marten Trautwein, Marco Vervoort |
| 2000 | Use of Dependency Microcontexts in Information Retrieval. Martin Holub |
| 2000 | Using Consensus Methods for Solving Conflicts of Data in Distributed Systems. Ngoc Thanh Nguyen |