| Inferring causal molecular networks: empirical assessment through a community-based effort SM Hill, LM Heiser, T Cokelaer, M Unger, NK Nesser, DE Carlin, Y Zhang, ... Nature methods 13 (4), 310-318, 2016 | 237 | 2016 |
| PyBoolNet: a python package for the generation, analysis and visualization of boolean networks H Klarner, A Streck, H Siebert Bioinformatics 33 (5), 770-772, 2017 | 105 | 2017 |
| On parameter synthesis by parallel model checking J Barnat, L Brim, A Krejci, A Streck, D Safranek, M Vejnar, T Vejpustek IEEE/ACM Transactions on Computational Biology and Bioinformatics 9 (3), 693-705, 2011 | 72 | 2011 |
| Parameter identification and model ranking of thomas networks H Klarner, A Streck, D Šafránek, J Kolčák, H Siebert International Conference on Computational Methods in Systems Biology, 207-226, 2012 | 39 | 2012 |
| Logical-continuous modelling of post-translationally regulated bistability of curli fiber expression in Escherichia coli KP Yousef, A Streck, C Schütte, H Siebert, R Hengge, M Kleist BMC systems biology 9, 1-17, 2015 | 15 | 2015 |
| Toolkit for reverse engineering of molecular pathways via parameter identification A Streck | 12 | 2016 |
| Analysing cell line specific EGFR signalling via optimized automata based model checking A Streck, K Thobe, H Siebert Computational Methods in Systems Biology: 13th International Conference …, 2015 | 9 | 2015 |
| Model integration and crosstalk analysis of logical regulatory networks K Thobe, A Streck, H Klarner, H Siebert Computational Methods in Systems Biology: 12th International Conference …, 2014 | 9 | 2014 |
| Comparative statistical analysis of qualitative parametrization sets A Streck, K Thobe, H Siebert Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid …, 2015 | 7 | 2015 |
| Extensions for LTL model checking of Thomas networks A Streck, H Siebert Adv Syst Synth Biol, 2015 | 6 | 2015 |
| Esther: Introducing an online platform for parameter identification of boolean networks A Streck, J Kolcák, H Siebert, D Šafránek CMSB, 257-258, 2013 | 6 | 2013 |
| Neomento-Towards building a universal solution for virtual reality exposure psychotherapy A Streck, P Stepnicka, J Klaubert, T Wolbers 2019 IEEE Conference on Games (CoG), 1-2, 2019 | 5 | 2019 |
| Data-driven optimizations for model checking of multi-valued regulatory networks A Streck, K Thobe, H Siebert Biosystems 149, 125-138, 2016 | 5 | 2016 |
| Minimization and equivalence in multi-valued logical models of regulatory networks A Streck, T Lorenz, H Siebert Natural Computing 14, 555-566, 2015 | 5 | 2015 |
| SMITH: spatially constrained stochastic model for simulation of intra-tumour heterogeneity A Streck, TL Kaufmann, RF Schwarz Bioinformatics 39 (3), btad102, 2023 | 4 | 2023 |
| On parameter synthesis by parallel model checking A Streck, A Krejci, L Brim, J Barnat, D Safranek, M Vejnar, T Vejpustek IEEE/ACM Transactions on Computational Biology and Bioinformatics 9 (03 …, 2012 | 4 | 2012 |
| neomento SAD-VR treatment for social anxiety A Streck, P Stepnicka, J Klaubert, T Wolbers 2019 IEEE International Conference on Artificial Intelligence and Virtual …, 2019 | 3 | 2019 |
| Using Discrete Time Markov Chains for Control of Idle Character Animation A Streck, T Wolbers 2018 IEEE Conference on Computational Intelligence and Games (CIG), 1-4, 2018 | 2 | 2018 |
| Equivalences in Multi-valued Asynchronous Models of Regulatory Networks HS Adam Streck 11th International Conference on Cellular Automata for Research and Industry …, 2014 | 2* | 2014 |
| Model building for Parsybone Version 2.1 A Streck Discrete Biomathematics, FU Berlin, 2014 | 2 | 2014 |
David Safranekassistant professor, Masaryk university, Faculty of informaticsVerified email at safranek.cz
