Enthalpies of formation of monoderivatives of hydrocarbons: Interaction of polar groups with an alkyl group. - Otto Exner; Stanislav Böhm (J. Comput. Chem., 2004)

Are calculated enthalpies of formation sometimes more reliable than experimental? A test on alkyl substituted benzoic acids. - Stanislav Böhm; Otto Exner (J. Comput. Chem., 2006)

Inductive effects in radicals calculated from DFT energies; substituted bicyclo[2.2.2]octan-1-yloxy radicals. - Stanislav Böhm; Otto Exner (J. Comput. Chem., 2007)

Interaction of two functional groups through the benzene ring: Theory and experiment. - Stanislav Böhm; Otto Exner (J. Comput. Chem., 2009)

Bisimilarity of One-Counter Processes Is PSPACE-Complete. - Stanislav Böhm; Stefan Göller; Petr Jancar (CONCUR, 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)

Language Equivalence of Deterministic Real-Time One-Counter Automata Is NL-Complete. - Stanislav Böhm; Stefan Göller (MFCS, 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)

Equivalence of deterministic one-counter automata is NL-complete. - Stanislav Böhm; Stefan Göller; Petr Jancar (STOC, 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)

Bisimulation equivalence and regularity for real-time one-counter automata. - Stanislav Böhm; Stefan Göller; Petr Jancar (J. Comput. Syst. Sci., 2014)

Active diagnosis with observable quiescence. - Stanislav Böhm; Stefan Haar; Serge Haddad; Piotr Hofman; Stefan Schwoon (CDC, 2015)

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

State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI. - Stanislav Böhm; Ondrej Meca; Petr Jancar (FM, 2016)

HyperLoom Possibilities for Executing Scientific Workflows on the Cloud. - Vojtech Cima; Stanislav Böhm; Jan Martinovic; Jiri Dvorský; Thomas J. Ashby; Vladimir I. Chupakhin (CISIS, 2017)

On Büchi One-Counter Automata. - Stanislav Böhm; Stefan Göller; Simon Halfon; Piotr Hofman (STACS, 2017)

Haydi: Rapid Prototyping and Combinatorial Objects. - Stanislav Böhm; Jakub Beránek; Martin Surkovský (FoIKS, 2018)

HyperLoom: A Platform for Defining and Executing Scientific Pipelines in Distributed Environments. - Vojtech Cima; Stanislav Böhm; Jan Martinovic; Jiri Dvorský; Katerina Janurová; Tom Vander Aa; Thomas J. Ashby; Vladimir I. Chupakhin (PARMA-DITAM@HiPEAC, 2018)

Runtime vs Scheduler: Analyzing Dask's Overheads. - Stanislav Böhm; Jakub Beránek (WORKS@SC, 2020)

Industry-scale application and evaluation of deep learning for drug target prediction. - Noé Sturm; Andreas Mayr; Thanh Le Van; Vladimir I. Chupakhin; Hugo Ceulemans; Jörg K. Wegner; José Felipe Golib Dzib; Nina Jeliazkova; Yves Vandriessche; Stanislav Böhm; Vojtech Cima; Jan Martinovic; et al. (J. Cheminformatics, 2020)

EVEREST: A design environment for extreme-scale big data analytics on heterogeneous platforms. - Christian Pilato; Stanislav Böhm; Fabien Brocheton; Jerónimo Castrillón; Riccardo Cevasco; Vojtech Cima; Radim Cmar; Dionysios Diamantopoulos; Fabrizio Ferrandi; Jan Martinovic; Gianluca Palermo; Michele Paolino; et al. (DATE, 2021)

Analysis of workflow schedulers in simulated distributed environments. - Jakub Beránek; Stanislav Böhm; Vojtech Cima (J. Supercomput., 2022)