AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Ada Böhm|Stanislav Böhm

Ada Böhm|Stanislav Böhm

Technical University of Ostrava - Ostrava / Czech Republic
Others
AD Scientific Index ID: 5912244
VSB - Technical University of Ostrava
person_outline Ada Böhm|Stanislav Böhm's MOST POPULAR ARTICLES
1-) Industry-scale application and evaluation of deep learning for drug target prediction Journal of Cheminformatics 12 (1), 26, 2020
2-) Equivalence of deterministic one-counter automata is NL-complete Proceedings of the forty-fifth annual ACM symposium on Theory of computing …, 2013
3-) Bisimilarity of one-counter processes is PSPACE-complete International Conference on Concurrency Theory, 177-191, 2010
4-) Bisimulation equivalence and regularity for real-time one-counter automata Journal of Computer and System Sciences 80 (4), 720-743, 2014
5-) Hyperloom: A platform for defining and executing scientific pipelines in distributed environments Proceedings of the 9th Workshop and 7th Workshop on Parallel Programming and …, 2018