28. SOFSEM 2001: Piestany, Slovak Republic

@proceedings{DBLP:conf/sofsem/2001,
  editor    = {Leszek Pacholski and
               Peter Ruzicka},
  title     = {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},
  booktitle = {SOFSEM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2234},
  year      = {2001},
  isbn      = {3-540-42912-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Hamideh Afsarmanesh, Ersin Cem Kaletas, Louis O. Hertzberger:
  The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences. 1-9
  Electronic Edition (Springer LINK) BibTeX
• Bernadette Charron-Bost:
  Agreement Problems in Fault-Tolerant Distributed Systems. 10-32
  Electronic Edition (Springer LINK) BibTeX
• William I. Grosky, Rong Zhao:
  Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes. 33-52
  Electronic Edition (Springer LINK) BibTeX
• Sándor Jenei:
  Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited. 53-57
  Electronic Edition (Springer LINK) BibTeX
• Christos Kaklamanis:
  Recent Advances in Wavelength Routing. 58-72
  Electronic Edition (Springer LINK) BibTeX
• Domenico Laforenza:
  From Metacomputing to Grid Computing: Evolution or Revolution? 73-74
  Electronic Edition (Springer LINK) BibTeX
• Simon C. Lambert:
  Knowledge-Based Control Systems. 75-89
  Electronic Edition (Springer LINK) BibTeX
• Jan van Leeuwen, Jirí Wiedermann:
  Beyond the Turing Limit: Evolving Interactive Systems. 90-109
  Electronic Edition (Springer LINK) BibTeX
• Nicola Santoro:
  Distributed Computations by Autonomous Mobile Robots. 110-115
  Electronic Edition (Springer LINK) BibTeX
• Anna Slobodová:
  Formal Verification Methods for Industrial Hardware Design. 116-135
  Electronic Edition (Springer LINK) BibTeX
• Osamu Watanabe:
  How Can Computer Science Contribute to Knowledge Discovery? 136-151
  Electronic Edition (Springer LINK) BibTeX
• Isto Aho:
  On the Approximability of Interactive Knapsack Problems. 152-159
  Electronic Edition (Springer LINK) BibTeX
• Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski:
  Model Checking Communication Protocols. 160-170
  Electronic Edition (Springer LINK) BibTeX
• Martin Beran:
  Pipelined Decomposable BSP Computers. 171-180
  Electronic Edition (Springer LINK) BibTeX
• Richard F. Bonner, Rusins Freivalds, Maksim Kravtsev:
  Quantum versus Probabilistic One-Way Finite Automata with Counter. 181-190
  Electronic Edition (Springer LINK) BibTeX
• Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek:
  How to Employ Reverse Search in Distributed Single Source Shortest Paths. 191-200
  Electronic Edition (Springer LINK) BibTeX
• Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský:
  Multi-agent Systems as Concurrent Constraint Processes. 201-210
  Electronic Edition (Springer LINK) BibTeX
• Adriano Di Pasquale, Enrico Nardelli:
  ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs. 211-222
  Electronic Edition (Springer LINK) BibTeX
• Henning Fernau:
  Approximative Learning of Regular Languages. 223-232
  Electronic Edition (Springer LINK) BibTeX
• Rusins Freivalds, Andreas Winter:
  Quantum Finite State Transducers. 233-242
  Electronic Edition (Springer LINK) BibTeX
• Leo Galambos:
  Lemmatizer for Document Information Retrieval Systems in JAVA. 243-252
  Electronic Edition (Springer LINK) BibTeX
• Maciej Gebala:
  The Reconstruction of Polyominoes from Approximately Orthogonal Projections. 253-260
  Electronic Edition (Springer LINK) BibTeX
• Prasad Jayanti, King Tan, Gregory Friedland, Amir Katz:
  Bounding Lamport's Bakery Algorithm. 261-270
  Electronic Edition (Springer LINK) BibTeX
• András Kocsor, János Csirik:
  Fast Independent Component Analysis in Kernel Feature Spaces. 271-281
  Electronic Edition (Springer LINK) BibTeX
• Rastislav Kralovic:
  On Majority Voting Games in Trees. 282-291
  Electronic Edition (Springer LINK) BibTeX
• Richard Královic:
  Time and Space Complexity of Reversible Pebbling. 292-303
  Electronic Edition (Springer LINK) BibTeX
• Tomas Plachetka, Olaf Schmidt, Frank Albracht:
  The HiQoS Rendering System. 304-315
  Electronic Edition (Springer LINK) BibTeX
• Martin Plátek:
  Two-Way Restarting Automata and J-Monotonicity. 316-325
  Electronic Edition (Springer LINK) BibTeX
• Zdenek Sawa, Petr Jancar:
  P-Hardness of Equivalence Testing on Finite-State Processes. 326-335
  Electronic Edition (Springer LINK) BibTeX
• Vaughan R. Pratt:
  Software Geography: Physical and Economic Aspects. 336-346
  Electronic Edition (Springer LINK) BibTeX