Author Info
Name
Affiliation
Papers
STANISLAV BÖHM
Technical University of Ostrava, Ostrava, Czech Rep
20
Collaborators
Citations 
PageRank 
20
50
8.69
Referers 
Referees 
References 
66
273
175
Search Limit
100273
Title
Citations
PageRank
Year
Haydi: Rapid Prototyping and Combinatorial Objects.00.342018
On Büchi One-Counter Automata.00.342017
HyperLoom Possibilities for Executing Scientific Workflows on the Cloud.00.342017
An Approach to Verification of MPI Applications Defined in a High-Level Model00.342016
State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI.30.372016
Bisimulation equivalence and regularity for real-time one-counter automata40.492014
Visual programming of MPI applications: Debugging, performance analysis, and performance prediction.00.342014
Kaira: Development Environment for MPI Applications.10.382014
Equivalence of deterministic one-counter automata is NL-complete120.542013
Visual programming of MPI applications: Debugging and performance analysis10.382013
Usage of petri nets for high performance computing30.462012
Kaira: Generating Parallel Libraries and Their Usage with Octave.00.342012
Parallelization of ant colony optimization algorithm using Kaira.40.742011
Language equivalence of deterministic real-time one-counter automata is NL-complete60.472011
Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications30.592011
Bisimilarity of one-counter processes is PSPACE-complete100.622010
Interaction of two functional groups through the benzene ring: theory and experiment.00.342009
Inductive effects in radicals calculated from DFT energies; substituted bicyclo[2.2.2]octan-1-yloxy radicals.00.342007
Are calculated enthalpies of formation sometimes more reliable than experimental? A test on alkyl substituted benzoic acids.20.532006
Enthalpies of formation of monoderivatives of hydrocarbons: Interaction of polar groups with an alkyl group.10.432004