Technical Reports

A list without abstracts sorted by year - 1999

Timetabling with Annotations

by Hana Rudová, Ludìk Matyska, December 1999, 17 pages.

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

A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

by Jean-Marie Jacquet, Lubo¹ Brim, David Gilbert, Mojmír Køetínský, December 1999, 62 pages.

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

Linear BSP Tree in the Plane for Set of Segments with Low Directional Density

by Petr Tobola, Karel Nechvíle, A full version of the paper which appeared in Proceedings WSCG`99. September 1999, 20 pages.

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

On Birkhoff`s Aesthetic Measure of Vases

by Tomá¹ Staudek, September 1999, 8 pages.

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

Approximating Weak Bisimulation on Basic Process Algebra

by Jitka Støíbrná, This work has been presented at MFCS`99. September 1999, 18 pages.

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

CED -- Program for Corpora Editing

by Marek Veber, September 1999, 9 pages.

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

Corpus-based Rules for Czech Verb Discontinuous Constituents

by Eva ®áèková, Karel Pala, This is an adapted version of the paper accepted for printing in the Proceedings of TSD`99. August 1999, 6 pages.

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

Complexity Issues of the Pattern Equations in Idempotent Semigroups

by Ondøej Klíma, Jiøí Srba, August 1999, 14 pages.

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

On the Pattern Equations

by Ivana Èerná, Ondøej Klíma, Jiøí Srba, This is a full version of the paper accepted to SOFSEM`99. July 1999, 11 pages.

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