A list without abstracts sorted by year - 2000
Bounding Volume Hierarchy Analysis (Case Study)
by Radek Oslejšek, December 2000, 12 pages.
Constrained Rewrite Transition Systems
by Jan Strejček, December 2000, 30 pages.
High Performance Computing in JAVA -- Fact or Fiction?
Distributed LTL Model-Checking in SPIN
Some Remarks on Weak Bisimilarity of BPA-Processes
Biometric Authentication Systems
On Disambiguation in Czech Corpora
Ways to the High-Resolution Cytometry Network
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.
Linear BSP Trees for Sets of Hyperrectangles with Low Directional Density
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.
Logical Markup from RTF
by Michal Chocholáč, February 2000, 20 pages.
A Logical Viewpoint on Process-Algebraic Quotients
Please install a newer browser for this site to function properly.