Stanislav Böhm

According to our database, Stanislav Böhm authored at least 28 papers between 2004 and 2022.

Collaborative distances:

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

2022

Analysis of workflow schedulers in simulated distributed environments.

Jakub Beránek, Stanislav Böhm, Vojtech Cima

J. Supercomput., 2022

2021

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, Antonio Parodi, Lorenzo Pittaluga, Daniel Raho, Francesco Regazzoni, Katerina Slaninová, Christoph Hagleitner

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

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, Nigel Greene, Tom Vander Aa, Thomas J. Ashby, Sepp Hochreiter, Ola Engkvist, Günter Klambauer, Hongming Chen

J. Cheminformatics, 2020

Runtime vs Scheduler: Analyzing Dask's Overheads.

Stanislav Böhm, Jakub Beránek

Proceedings of the IEEE/ACM Workflows in Support of Large-Scale Science, 2020

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

Proceedings of the 9th Workshop on Parallel Programming and RunTime Management Techniques for Manycore Architectures and 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2018

Haydi: Rapid Prototyping and Combinatorial Objects.

Stanislav Böhm, Jakub Beránek, Martin Surkovský

Proceedings of the Foundations of Information and Knowledge Systems, 2018

2017

On Büchi One-Counter Automata.

Stanislav Böhm, Stefan Göller, Simon Halfon, Piotr Hofman

Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

HyperLoom Possibilities for Executing Scientific Workflows on the Cloud.

Vojtech Cima, Stanislav Böhm, Jan Martinovic, Jiri Dvorský, Thomas J. Ashby, Vladimir I. Chupakhin

Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2017

2016

State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI.

Stanislav Böhm, Ondrej Meca, Petr Jancar

Proceedings of the FM 2016: Formal Methods, 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

2015

Active diagnosis with observable quiescence.

Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Bisimulation equivalence and regularity for real-time one-counter automata.

Stanislav Böhm, Stefan Göller, Petr Jancar

J. Comput. Syst. Sci., 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

Equivalence of deterministic one-counter automata is NL-complete.

Stanislav Böhm, Stefan Göller, Petr Jancar

Proceedings of the Symposium on Theory of Computing Conference, 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

Language Equivalence of Deterministic Real-Time One-Counter Automata Is NL-Complete.

Stanislav Böhm, Stefan Göller

Proceedings of the Mathematical Foundations of Computer Science 2011, 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

Bisimilarity of One-Counter Processes Is PSPACE-Complete.

Stanislav Böhm, Stefan Göller, Petr Jancar

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Interaction of two functional groups through the benzene ring: Theory and experiment.

Stanislav Böhm, Otto Exner

J. Comput. Chem., 2009

2007

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

2006

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

2004

Enthalpies of formation of monoderivatives of hydrocarbons: Interaction of polar groups with an alkyl group.

Otto Exner, Stanislav Böhm

J. Comput. Chem., 2004