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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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