Stanislav Böhm

33 papers A* 1A 2B 4C 2Misc 1Journal 13Unranked 10
YearRankTypeTitle / Venue / Authors
2022 J jnl
Analysis of Workflow Schedulers in Simulated Distributed Environments.
CoRR
Jakub Beránek, Stanislav Böhm, Vojtech Cima
2022 J jnl
Analysis of workflow schedulers in simulated distributed environments.
J. Supercomput.
Jakub Beránek, Stanislav Böhm, Vojtech Cima
2021 A conf
EVEREST: A design environment for extreme-scale big data analytics on heterogeneous platforms.
DATE
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
2021 J jnl
EVEREST: A design environment for extreme-scale big data analytics on heterogeneous platforms.
CoRR
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
2020 J jnl
Industry-scale application and evaluation of deep learning for drug target prediction.
J. Cheminformatics
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
2020 — conf
Runtime vs Scheduler: Analyzing Dask's Overheads.
WORKS@SC
Stanislav Böhm, Jakub Beránek
2020 J jnl
Runtime vs Scheduler: Analyzing Dask's Overheads.
CoRR
Stanislav Böhm, Jakub Beránek
2019 J jnl
Haydi: Rapid Prototyping and Combinatorial Objects.
CoRR
Stanislav Böhm, Jakub Beránek, Martin Surkovský
2018 — conf
Haydi: Rapid Prototyping and Combinatorial Objects.
FoIKS
Stanislav Böhm, Jakub Beránek, Martin Surkovský
2018 — conf
HyperLoom: A Platform for Defining and Executing Scientific Pipelines in Distributed Environments.
PARMA-DITAM@HiPEAC
Vojtech Cima, Stanislav Böhm, Jan Martinovic, Jiri Dvorský, Katerina Janurová, Tom Vander Aa, Thomas J. Ashby, Vladimir I. Chupakhin
2017 Misc conf
HyperLoom Possibilities for Executing Scientific Workflows on the Cloud.
CISIS
Vojtech Cima, Stanislav Böhm, Jan Martinovic, Jiri Dvorský, Thomas J. Ashby, Vladimir I. Chupakhin
2017 A conf
On Büchi One-Counter Automata.
STACS
Stanislav Böhm, Stefan Göller, Simon Halfon, Piotr Hofman
2016 — conf
An Approach to Verification of MPI Applications Defined in a High-Level Model.
ACSD
Ondrej Meca, Stanislav Böhm, Marek Behalek, Petr Jancar
2016 B conf
State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI.
FM
Stanislav Böhm, Ondrej Meca, Petr Jancar
2015 — conf
Active diagnosis with observable quiescence.
CDC
Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon
2014 J jnl
Bisimulation equivalence and regularity for real-time one-counter automata.
J. Comput. Syst. Sci.
Stanislav Böhm, Stefan Göller, Petr Jancar
2014 B conf
Kaira: Development Environment for MPI Applications.
Petri Nets
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský
2014 J jnl
Visual programming of MPI applications: Debugging, performance analysis, and performance prediction.
Comput. Sci. Inf. Syst.
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský
2013 J jnl
Equivalence of Deterministic One-Counter Automata is NL-complete
CoRR
Stanislav Böhm, Stefan Göller, Petr Jancar
2013 A* conf
Equivalence of deterministic one-counter automata is NL-complete.
STOC
Stanislav Böhm, Stefan Göller, Petr Jancar
2013 — conf
Prototyping Framework for Parallel Numerical Computations.
PPAM (2)
Ondrej Meca, Stanislav Böhm, Marek Behalek, Martin Surkovský
2013 C conf
Visual Programming of MPI Applications: Debugging and Performance Analysis.
FedCSIS
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský
2012 — conf
Kaira: Generating Parallel Libraries and Their Usage with Octave.
LCPC
Stanislav Böhm, Marek Behalek, Ondrej Meca
2012 — conf
Usage of petri nets for high performance computing.
FHPC@ICFP
Stanislav Böhm, Marek Behalek
2011 — conf
Developing Parallel Applications Using Kaira.
ICDIPC (1)
Stanislav Böhm, Marek Behálek, Ondrej Garncarz
2011 — conf
Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications.
UKSim
Stanislav Böhm, Marek Behalek
2011 B conf
Language Equivalence of Deterministic Real-Time One-Counter Automata Is NL-Complete.
MFCS
Stanislav Böhm, Stefan Göller
2011 C conf
Parallelization of ant colony optimization algorithm using Kaira.
ISDA
Marek Behalek, Stanislav Böhm, Pavel Krömer, Martin Surkovský, Ondrej Meca
2010 B conf
Bisimilarity of One-Counter Processes Is PSPACE-Complete.
CONCUR
Stanislav Böhm, Stefan Göller, Petr Jancar
2009 J jnl
Interaction of two functional groups through the benzene ring: Theory and experiment.
J. Comput. Chem.
Stanislav Böhm, Otto Exner
2007 J jnl
Inductive effects in radicals calculated from DFT energies; substituted bicyclo[2.2.2]octan-1-yloxy radicals.
J. Comput. Chem.
Stanislav Böhm, Otto Exner
2006 J jnl
Are calculated enthalpies of formation sometimes more reliable than experimental? A test on alkyl substituted benzoic acids.
J. Comput. Chem.
Stanislav Böhm, Otto Exner
2004 J jnl
Enthalpies of formation of monoderivatives of hydrocarbons: Interaction of polar groups with an alkyl group.
J. Comput. Chem.
Otto Exner, Stanislav Böhm