Marek Behalek

According to our database, Marek Behalek authored at least 16 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Restriction Site Detection in Optical Mapping Data.

Vít Dolezí, Petr Gajdos, Marek Behálek, Michal Vasinek

Proceedings of the Advances in Intelligent Networking and Collaborative Systems, 2022

2021

Determining optical mapping errors by simulations.

Michal Vasinek, Marek Behálek, Petr Gajdos, Regina Fillerova, Eva Kriegová

Bioinform., 2021

2019

QDSOMA: Towards the Utilization of Quantum Computing within SOMA.

Petr Gajdos, Marek Behálek, Jan Janousek, Pavel Krömer

Proceedings of the IEEE Congress on Evolutionary Computation, 2019

2016

An Approach to Verification of MPI Applications Defined in a High-Level Model.

Ondrej Meca, Stanislav Böhm, Marek Behalek, Petr Jancar

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

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

Kaira: Development Environment for MPI Applications.

Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Prototyping Framework for Parallel Numerical Computations.

Ondrej Meca, Stanislav Böhm, Marek Behalek, Martin Surkovský

Proceedings of the Parallel Processing and Applied Mathematics, 2013

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, 2013

2012

Kaira: Generating Parallel Libraries and Their Usage with Octave.

Stanislav Böhm, Marek Behalek, Ondrej Meca

Proceedings of the Languages and Compilers for Parallel Computing, 2012

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, 2012

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, 2011

Parallelization of ant colony optimization algorithm using Kaira.

Marek Behalek, Stanislav Böhm, Pavel Krömer, Martin Surkovský, Ondrej Meca

Proceedings of the 11th International Conference on Intelligent Systems Design and Applications, 2011

Developing Parallel Applications Using Kaira.

Stanislav Böhm, Marek Behálek, Ondrej Garncarz

Proceedings of the Digital Information Processing and Communications, 2011

2010

Annotation based parser generator.

Jaroslav Porubän, Michal Forgac, Miroslav Sabo, Marek Behalek

Comput. Sci. Inf. Syst., 2010

2009

Embedded Process Functional Language.

Marek Behalek, Petr Saloun

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

2007

Parallel Process Functional Language.

Marek Behalek, Petr Saloun

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007