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:
http://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.