Stanislav Böhm

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Analysis of workflow schedulers in simulated distributed environments.
J. Supercomput., 2022

2021
EVEREST: A design environment for extreme-scale big data analytics on heterogeneous platforms.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020
Industry-scale application and evaluation of deep learning for drug target prediction.
J. Cheminformatics, 2020

Runtime vs Scheduler: Analyzing Dask's Overheads.
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.
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.
Proceedings of the Foundations of Information and Knowledge Systems, 2018

2017
On Büchi One-Counter Automata.
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

HyperLoom Possibilities for Executing Scientific Workflows on the Cloud.
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.
Proceedings of the FM 2016: Formal Methods, 2016

An Approach to Verification of MPI Applications Defined in a High-Level Model.
Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015
Active diagnosis with observable quiescence.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Bisimulation equivalence and regularity for real-time one-counter automata.
J. Comput. Syst. Sci., 2014

Visual programming of MPI applications: Debugging, performance analysis, and performance prediction.
Comput. Sci. Inf. Syst., 2014

Kaira: Development Environment for MPI Applications.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013
Equivalence of deterministic one-counter automata is NL-complete.
Proceedings of the Symposium on Theory of Computing Conference, 2013

Prototyping Framework for Parallel Numerical Computations.
Proceedings of the Parallel Processing and Applied Mathematics, 2013

Visual Programming of MPI Applications: Debugging and Performance Analysis.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012
Kaira: Generating Parallel Libraries and Their Usage with Octave.
Proceedings of the Languages and Compilers for Parallel Computing, 2012

Usage of petri nets for high performance computing.
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.
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.
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

Parallelization of ant colony optimization algorithm using Kaira.
Proceedings of the 11th International Conference on Intelligent Systems Design and Applications, 2011

Developing Parallel Applications Using Kaira.
Proceedings of the Digital Information Processing and Communications, 2011

2010
Bisimilarity of One-Counter Processes Is PSPACE-Complete.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Interaction of two functional groups through the benzene ring: Theory and experiment.
J. Comput. Chem., 2009

2007
Inductive effects in radicals calculated from DFT energies; substituted bicyclo[2.2.2]octan-1-yloxy radicals.
J. Comput. Chem., 2007

2006
Are calculated enthalpies of formation sometimes more reliable than experimental? A test on alkyl substituted benzoic acids.
J. Comput. Chem., 2006

2004
Enthalpies of formation of monoderivatives of hydrocarbons: Interaction of polar groups with an alkyl group.
J. Comput. Chem., 2004


  Loading...