Demo Data from EDBT 2026 / reviewers in the wild / expert
Ondrej Meca
dblp:125/1938
· DBLP profile ↗
7ranked-venue papers
1as first author
2since 2021 · last 2026
0000-0002-4948-606XORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 3 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 2Software engineering, systems software and programming languages · 2Applied, interdisciplinary, general and emerging computing · 2Theory of computation · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
High-performance computing · 55% GPUs and heterogeneous computing · 42% Parallel and multicore computing · 4% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
High-performance computing
domain decomposition |
0.9 | 1 | 2025 | Utilizing Sparsity in the GPU-accelerated Assembly of Schur Complement Matrices in Domain Decomposition Methods · SC 2025 |
GPUs and heterogeneous computing › GPU-accelerated scientific computing
GPU-accelerated numerical computation |
0.9 | 1 | 2025 | Utilizing Sparsity in the GPU-accelerated Assembly of Schur Complement Matrices in Domain Decomposition Methods · SC 2025 |
High-performance computing › sparse linear algebra
sparse matrix computation |
0.3 | 1 | 2025 | Utilizing Sparsity in the GPU-accelerated Assembly of Schur Complement Matrices in Domain Decomposition Methods · SC 2025 |
Program verification
model checking |
0.2 | 1 | 2016 | State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI · FM 2016 |
Program verification › model checking
state space reduction |
0.2 | 1 | 2016 | State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI · FM 2016 |
Parallel and multicore computing › MPI
MPI program analysis |
0.1 | 1 | 2016 | State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI · FM 2016 |
Methods — techniques the papers use, named apart from their topics
sparsity exploitation · 0.9GPU acceleration · 0.9partial order reduction · 0.5deadlock detection · 0.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | GPU acceleration of hybrid FETI solver for problems of transient nonlinear dynamics
Jakub Homola, Ondrej Meca, Lubomir Riha, Tomás Brzobohatý |
Future Gener. Comput. Syst. | 2 |
| 2025 | Utilizing Sparsity in the GPU-accelerated Assembly of Schur Complement Matrices in Domain Decomposition MethodsabstractSchur complement matrices emerge in many domain decomposition methods that can utilize supercomputers to solve complex engineering problems. As most of today’s high-performance clusters’ performance lies in GPUs, these methods should also be accelerated. Jakub Homola, Ondrej Meca, Lubomir Riha, Tomás Brzobohatý |
SC | 2 |
| 2019 | An Approach for Parallel Loading and Pre-Processing of Unstructured Meshes Stored in Spatially Scattered FashionabstractThis paper presents a workflow for parallel loading of database files containing sequentially stored unstructured meshes that are not considered to be efficiently read in parallel. In such a file consecutive elements are not spatially located and their respective nodes are at unknown positions in the file. This makes parallel loading challenging since adjacent elements are on different MPI processes, and their respective nodes are on unknown MPI processes. These two facts lead to a high communication overhead and very poor scalability if not addressed properly. In a standard approach, a sequentially stored mesh is sequentially converted to a particular parallel format accepted by a solver. This represents a significant bottleneck. Our proposed algorithm demonstrates that this bottleneck can be overcome, since it is able to (i) efficiently recreate an arbitrary stored sequential mesh in the distributed memory of a supercomputer without gathering the information into a single MPI rank, and (ii) prepare the mesh for massively parallel solvers. Ondrej Meca, Lubomir Riha, Tomás Brzobohatý |
IPDPS | 1 |
| 2016 | State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI
Stanislav Böhm, Ondrej Meca, Petr Jancar |
FM | 2 |
| 2014 | Kaira: Development Environment for MPI Applications
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský |
Petri Nets | 3 |
| 2013 | Visual Programming of MPI Applications: Debugging and Performance Analysis
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský |
FedCSIS | 3 |
| 2011 | Parallelization of ant colony optimization algorithm using KairaabstractParallel computing can be very useful for meta-heuristic algorithms, because it can reduce time to find a solution with given properties. On the other hand parallel programming is generally more difficult than the sequential one and we need more development time to get a working parallel solution. We are developing a tool named Kaira which is intended for modelling, debugging, and automated generation of parallel applications. The modelling is based on our own variant of Coloured Petri Nets. In this paper we present how to create parallel programs from an existing sequential implementation of Ant Colony Optimization Algorithm using Kaira. This approach simplifies the development process and thus saves the development time and costs. Marek Behalek, Stanislav Böhm, Pavel Krömer, Martin Surkovský, Ondrej Meca |
ISDA | 5 |