Technical Reports

A list sorted by author - V

Pavlína Vaøeková

e-mail:

xvareko1(a)fi.muni.cz

Partial Order Reduction for State/Event LTL

by Nikola Bene¹, Lubo¹ Brim, Ivana Èerná, Jiøí Sochor, Pavlína Vaøeková, Barbora Zimmerová, July 2008, 21 pages.

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

Model Checking of Control-User Component-Based Parametrised Systems

by Pavlína Vaøeková, Ivana Èerná, A full version of the paper presented at conference CBSE 2008. July 2008, 27 pages.

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

Component-Interaction Automata Modelling Language

by Ivana Èerná, Pavlína Vaøeková, Barbora Zimmerová, October 2006, 25 pages.

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

Marek Veber

e-mail:

mara(a)fi.muni.cz

home page:

https://www.fi.muni.cz/~mara

CED -- Program for Corpora Editing

by Marek Veber, September 1999, 9 pages.

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

Roland Vollmar

Towards Adjusting Informatics Education to Information Era

by Jozef Gruska, Roland Vollmar, A slightly extended version of the invited paper for IFIP TC3 WG3.2 Workshop "Informatics as a discipline and in other disciplines: What is in common?" May 1997, 33 pages.

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

Petr Volny

e-mail:

xvolny1(a)fi.muni.cz

Employing Subsequence Matching in Audio Data Processing

by Petr Volny, David Novák, Pavel Zezula, September 2011, 29 pages.

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

Ondøej Výborný

e-mail:

xvyborny(a)fi.muni.cz

telephone:

+420 549 491 871

fax:

+420 549 491 820

Privacy Preserving Data Mining, State-of-the-Art

by Ondøej Výborný, September 2006, 19 pages.

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