| AEON: attractor bifurcation analysis of parametrised Boolean networks N Beneš, L Brim, J Kadlecaj, S Pastva, D Šafránek Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 44 | 2020 |
| Parameter synthesis by parallel coloured CTL model checking L Brim, M Češka, M Demko, S Pastva, D Šafránek International Conference on Computational Methods in Systems Biology, 251-263, 2015 | 37 | 2015 |
| A model checking approach to discrete bifurcation analysis N Beneš, L Brim, M Demko, S Pastva, D Šafránek FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 24 | 2016 |
| Parallel SMT-based parameter synthesis with application to piecewise multi-affine systems N Beneš, L Brim, M Demko, S Pastva, D Šafránek Automated Technology for Verification and Analysis: 14th International …, 2016 | 22 | 2016 |
| AEON. py: Python library for attractor analysis in asynchronous Boolean networks N Beneš, L Brim, O Huvar, S Pastva, D Šafránek, E Šmijáková Bioinformatics 38 (21), 4978-4980, 2022 | 19 | 2022 |
| Formal analysis of qualitative long-term behaviour in parametrised boolean networks N Beneš, L Brim, S Pastva, J Poláček, D Šafránek Formal Methods and Software Engineering: 21st International Conference on …, 2019 | 19 | 2019 |
| High-performance discrete bifurcation analysis for piecewise-affine dynamical systems L Brim, M Demko, S Pastva, D Šafránek International Workshop on Hybrid Systems Biology, 58-74, 2015 | 19 | 2015 |
| Detecting attractors in biological models with uncertain parameters J Barnat, N Beneš, L Brim, M Demko, M Hajnal, S Pastva, D Šafránek Computational Methods in Systems Biology: 15th International Conference …, 2017 | 18 | 2017 |
| Extended dependency graphs and efficient distributed fixed-point computation AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, TS Jepsen, I Kaufmann, ... Application and Theory of Petri Nets and Concurrency: 38th International …, 2017 | 18 | 2017 |
| Boolean network sketches: a unifying framework for logical model inference N Beneš, L Brim, O Huvar, S Pastva, D Šafránek Bioinformatics 39 (4), btad158, 2023 | 17 | 2023 |
| Pithya: a parallel tool for parameter synthesis of piecewise multi-affine dynamical systems N Beneš, L Brim, M Demko, S Pastva, D Šafránek Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 17 | 2017 |
| Computing bottom SCCs symbolically using transition guided reduction N Beneš, L Brim, S Pastva, D Šafránek Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 15 | 2021 |
| A distributed fixed-point algorithm for extended dependency graphs AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, PG Jensen, TS Jepsen, ... Fundamenta Informaticae 161 (4), 351-381, 2018 | 13 | 2018 |
| High-performance symbolic parameter synthesis of biological models: a case study M Demko, N Beneš, L Brim, S Pastva, D Šafránek International Conference on Computational Methods in Systems Biology, 82-97, 2016 | 11 | 2016 |
| Temporary and permanent control of partially specified Boolean networks L Brim, S Pastva, D Šafránek, E Šmijáková Biosystems 223, 104795, 2023 | 10* | 2023 |
| Parallel One-Step Control of Parametrised Boolean Networks L Brim, S Pastva, D Šafránek, E Šmijáková s Note: MDPI stays neutral with regard to jurisdictional claims in published …, 2021 | 10 | 2021 |
| Fully automated attractor analysis of cyanobacteria models N Beneš, L Brim, S Pastva, D Šafránek, M Troják, J Červený, J Šalagovič 2018 22nd International Conference on System Theory, Control and Computing …, 2018 | 7 | 2018 |
| Repository of logically consistent real-world Boolean network models S Pastva, D Šafránek, N Beneš, L Brim, T Henzinger bioRxiv, 2023.06. 12.544361, 2023 | 6 | 2023 |
| Parallel parameter synthesis algorithm for hybrid CTL N Beneš, L Brim, S Pastva, D Šafránek Science of Computer Programming 185, 102321, 2020 | 6 | 2020 |
| Model checking approach to the analysis of biological systems N Beneš, L Brim, S Pastva, D Šafránek Automated Reasoning for Systems Biology and Medicine, 3-35, 2019 | 5 | 2019 |
Luboš BrimMasaryk university, Faculty of Informatics在 fi.muni.cz 的电子邮件经过验证
