Assistant professor, Department of Computer Systems and Communications
office: B421
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 7287 |
|---|
| social and academic networks: |
|---|
Total number of publications: 66
Computational Methods in Systems Biology, year: 2024
Bioinformatics, year: 2023, volume: 39, edition: 4, DOI
Computational Methods in Systems Biology, year: 2023
BIOINFORMATICS, year: 2022, volume: 38, edition: 21, DOI
Logical Methods in Computer Science, year: 2022, volume: 18, edition: 1, DOI
BMC Bioinformatics, year: 2022, volume: 23, edition: 173, DOI
International Conference on Computational Methods in Systems Biology (CMSB 2021), year: 2021
Computer Aided Verification - 33rd International Conference, CAV 2021, year: 2021
Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, year: 2021
Computer Aided Verification. CAV 2020, year: 2020