Restriction Site Detection in Optical Mapping Data. - Dolezí, Vít; Gajdos, Petr; Behálek, Marek; Vasinek, Michal (2022)

Determining optical mapping errors by simulations. - Vasinek, Michal; Behálek, Marek; Gajdos, Petr; Fillerova, Regina; Kriegová, Eva (Bioinform., 2021)

QDSOMA: Towards the Utilization of Quantum Computing within SOMA. - Gajdos, Petr; Behálek, Marek; Janousek, Jan; Krömer, Pavel (2019)

An Approach to Verification of MPI Applications Defined in a High-Level Model. - Meca, Ondrej; Böhm, Stanislav; Behalek, Marek; Jancar, Petr (2016)

Visual programming of MPI applications: Debugging, performance analysis, and performance prediction. - Böhm, Stanislav; Behalek, Marek; Meca, Ondrej; Surkovský, Martin (Comput. Sci. Inf. Syst., 2014)

Kaira: Development Environment for MPI Applications. - Böhm, Stanislav; Behalek, Marek; Meca, Ondrej; Surkovský, Martin (2014)

Visual Programming of MPI Applications: Debugging and Performance Analysis. - Böhm, Stanislav; Behalek, Marek; Meca, Ondrej; Surkovský, Martin (2013)

Prototyping Framework for Parallel Numerical Computations. - Meca, Ondrej; Böhm, Stanislav; Behalek, Marek; Surkovský, Martin (2013)

Usage of petri nets for high performance computing. - Böhm, Stanislav; Behalek, Marek (2012)

Kaira: Generating Parallel Libraries and Their Usage with Octave. - Böhm, Stanislav; Behalek, Marek; Meca, Ondrej (2012)

Developing Parallel Applications Using Kaira. - Böhm, Stanislav; Behálek, Marek; Garncarz, Ondrej (2011)

Parallelization of ant colony optimization algorithm using Kaira. - Behalek, Marek; Böhm, Stanislav; Krömer, Pavel; Surkovský, Martin; Meca, Ondrej (2011)

Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications. - Böhm, Stanislav; Behalek, Marek (2011)

Annotation based parser generator. - Porubän, Jaroslav; Forgac, Michal; Sabo, Miroslav; Behalek, Marek (Comput. Sci. Inf. Syst., 2010)

Embedded Process Functional Language. - Behalek, Marek; Saloun, Petr (2009)

Parallel Process Functional Language. - Behalek, Marek; Saloun, Petr (2007)