Technical Reports

A list without abstracts sorted by year - 2000

Bounding Volume Hierarchy Analysis (Case Study)

by Radek Oslejšek, December 2000, 12 pages.

FIMU-RS-2000-13. Abstract, Postscript, PDF.

Constrained Rewrite Transition Systems

by Jan Strejček, December 2000, 30 pages.

FIMU-RS-2000-12. Abstract, Postscript, PDF.

High Performance Computing in JAVA -- Fact or Fiction?

by Václav Dvořák, Lubomír Markovič, December 2000, 20 pages.

FIMU-RS-2000-11. Abstract, Postscript, PDF.

Distributed LTL Model-Checking in SPIN

by Jiří Barnat, Luboš Brim, Jitka Stříbrná, December 2000, 19 pages.

FIMU-RS-2000-10. Abstract, Postscript, PDF.

Some Remarks on Weak Bisimilarity of BPA-Processes

by Ivana Černá, Jitka Stříbrná, December 2000, 26 pages.

FIMU-RS-2000-09. Abstract, Postscript, PDF.

Biometric Authentication Systems

by Zdeněk Říha, Václav Matyáš, November 2000, 44 pages.

FIMU-RS-2000-08. Abstract, Postscript, PDF.

On Disambiguation in Czech Corpora

by Luboš Popelínský, Tomáš Pavelek, Tomáš Ptáčník, October 2000, 26 pages.

FIMU-RS-2000-07. Abstract, Postscript, PDF.

Ways to the High-Resolution Cytometry Network

by Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.

FIMU-RS-2000-06. Abstract, Postscript, PDF.

On Simulation-Checking with Sequential Systems

by Antonín Kučera, This is a full version of the paper accepted for ASIAN 2000. September 2000, 34 pages.

FIMU-RS-2000-05. Abstract, Postscript, PDF.

Linear BSP Trees for Sets of Hyperrectangles with Low Directional Density

by Petr Tobola, Karel Nechvíle, September 2000, 27 pages.

FIMU-RS-2000-04. Abstract, Postscript, PDF.

Efficient Verification Algorithms for One-Counter Processes

by Antonín Kučera, This is a full version of the paper presented at ICALP 2000. March 2000, 24 pages.

FIMU-RS-2000-03. Abstract, Postscript, PDF.

Logical Markup from RTF

by Michal Chocholáč, February 2000, 20 pages.

FIMU-RS-2000-02. Abstract, Postscript, PDF.

A Logical Viewpoint on Process-Algebraic Quotients

by Antonín Kučera, Javier Esparza, This is a full and revised version of a paper which previously appeared in Proceedings of CSL`99. January 2000, 26 pages.

FIMU-RS-2000-01. Abstract, Postscript, PDF.

Responsible contact: unix(atsign)fi(dot)muni(dot)cz