SOFSEM 2001: Theory and Practice of Informatics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540429128, 9783540456278

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Distributed Computations by Autonomous Mobile Robots

SOFSEM 2001: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-45627-9_9 ◽

2001 ◽

pp. 110-115 ◽

Author(s):

Nicola Santoro

Keyword(s):

Mobile Robots ◽

Autonomous Mobile Robots ◽

Distributed Computations

Download Full-text

P-Hardness of Equivalence Testing on Finite-State Processes

SOFSEM 2001: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-45627-9_29 ◽

2001 ◽

pp. 326-335 ◽

Author(s):

Zdeněk Sawa ◽

Petr Jančar

Keyword(s):

Equivalence Testing ◽

Download Full-text

The HiQoS Rendering System

SOFSEM 2001: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-45627-9_27 ◽

2001 ◽

pp. 304-315 ◽

Author(s):

Tomas Plachetka ◽

Olaf Schmidt ◽

Frank Albracht

Download Full-text

On Majority Voting Games in Trees

SOFSEM 2001: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-45627-9_25 ◽

2001 ◽

pp. 282-291 ◽

Author(s):

Rastislav Královič

Keyword(s):

Majority Voting ◽

Download Full-text

Time and Space Complexity of Reversible Pebbling

SOFSEM 2001: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-45627-9_26 ◽

2001 ◽

pp. 292-303 ◽

Author(s):

Richard Král’ovič

Keyword(s):

Space Complexity ◽

Time And Space ◽

Time And Space Complexity

Download Full-text

Model Checking Communication Protocols

SOFSEM 2001: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-45627-9_13 ◽

2001 ◽

pp. 160-170 ◽

Author(s):

Pablo Argón ◽

Giorgio Delzanno ◽

Supratik Mukhopadhyay ◽

Andreas Podelski

Keyword(s):

Model Checking ◽

Communication Protocols

Download Full-text

Formal Verification Methods for Industrial Hardware Design

SOFSEM 2001: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-45627-9_10 ◽

2001 ◽

pp. 116-135

Author(s):

Anna Slobodová

Keyword(s):

Formal Verification ◽

Hardware Design ◽

Verification Methods

Download Full-text

Beyond the Turing Limit: Evolving Interactive Systems

SOFSEM 2001: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-45627-9_8 ◽

2001 ◽

pp. 90-109 ◽

Author(s):

Jan van Leeuwen ◽

Jiří Wiedermann

Keyword(s):

Interactive Systems

Download Full-text

How to Employ Reverse Search in Distributed Single Source Shortest Paths

SOFSEM 2001: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-45627-9_16 ◽

2001 ◽

pp. 191-200 ◽

Author(s):

Luboš Brim ◽

Ivana Černá ◽

Pavel Krčál ◽

Radek Pelánek

Keyword(s):

Shortest Paths ◽

Download Full-text

On the Approximability of Interactive Knapsack Problems

SOFSEM 2001: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-45627-9_12 ◽

2001 ◽

pp. 152-159

Author(s):

Isto Aho

Keyword(s):

Knapsack Problems

Download Full-text