Restriction Site Detection in Optical Mapping Data - Vít Dolezí; Petr Gajdos; Marek Behálek; Michal Vasinek (Advances in Intelligent Networking and Collaborative Systems - The 14th International Conference on Intelligent Networking and Collaborative Systems, INCoS 2022, Sanda-Shi, Japan, 7-9 September 2022, 2022)

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

QDSOMA: Towards the Utilization of Quantum Computing within SOMA - Petr Gajdos; Marek Behálek; Jan Janousek; Pavel Krömer (IEEE Congress on Evolutionary Computation, CEC 2019, Wellington, New Zealand, June 10-13, 2019, 2019)

An Approach to Verification of MPI Applications Defined in a High-Level Model - Ondrej Meca; Stanislav Böhm; Marek Behalek; Petr Jancar (16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, 2016)

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)

Kaira: Development Environment for MPI Applications - Stanislav Böhm; Marek Behalek; Ondrej Meca; Martin Surkovský (Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings, 2014)

Visual Programming of MPI Applications: Debugging and Performance Analysis - Stanislav Böhm; Marek Behalek; Ondrej Meca; Martin Surkovský (Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013, 2013)

Prototyping Framework for Parallel Numerical Computations - Ondrej Meca; Stanislav Böhm; Marek Behalek; Martin Surkovský (Parallel Processing and Applied Mathematics - 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II, 2013)

Usage of petri nets for high performance computing - Stanislav Böhm; Marek Behalek (Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, Copenhagen, Denmark, FHPC@ICFP 2012, September 9-15, 2012, 2012)

Kaira: Generating Parallel Libraries and Their Usage with Octave - Stanislav Böhm; Marek Behalek; Ondrej Meca (Languages and Compilers for Parallel Computing, 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers, 2012)

Developing Parallel Applications Using Kaira - Stanislav Böhm; Marek Behálek; Ondrej Garncarz (Digital Information Processing and Communications - International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I, 2011)

Parallelization of ant colony optimization algorithm using Kaira - Marek Behalek; Stanislav Böhm; Pavel Krömer; Martin Surkovský; Ondrej Meca (11th International Conference on Intelligent Systems Design and Applications, ISDA 2011, Córdoba, Spain, November 22-24, 2011, 2011)

Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications - Stanislav Böhm; Marek Behalek (Proceedings of the 13th UKSim-AMSS International Conference on Computer Modelling and Simulation, Cambridge University, Emmanuel College, Cambridge, UK, 30 March - 1 April 2011, 2011)

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

Embedded Process Functional Language - Marek Behalek; Petr Saloun (Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic, 2009)

Parallel Process Functional Language - Marek Behalek; Petr Saloun (SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II, 2007)