Výsledky vyhledávání
- 1.0536273 - ÚVGZ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Troják, M. - Šafránek, D. - Brim, L. - Šalagovič, Jakub - Červený, Jan
Executable Biochemical Space for Specification and Analysis of Biochemical Systems.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Freiburg: Elsevier, 2020, s. 91-116. ISSN 1571-0661.
[9th International Workshop on Static Analysis and Systems Biology (SASB). Freiburg (DE), 28.08.2018-28.08.2018]
Grant CEP: GA MŠMT(CZ) LM2015055
Institucionální podpora: RVO:86652079
Klíčová slova: annotation * simulation * framework * semantics * kappa * rule-based modelling * formal specification * static analysis
Obor OECD: Environmental biotechnology
https://www.sciencedirect.com/science/article/pii/S1571066120300347?via%3Dihub
Trvalý link: http://hdl.handle.net/11104/0314081 - 2.0497427 - ÚVGZ 2019 RIV RO eng C - Konferenční příspěvek (zahraniční konf.)
Beneš, N. - Brim, L. - Pastva, S. - Šafránek, D. - Troják, M. - Červený, Jan - Šalagovič, Jakub
Fully Automated Attractor Analysis of Cyanobacteria Models.
22nd International Conference on System Theory, Control and Computing (ICSTCC). Sinaia: IEE, 2018, s. 354-359. ISSN 2372-1618.
[International Conference on System Theory, Control and Computing (ICSTCC) /22./. Sinaia (RO), 10.12.2018-12.12.2018]
Grant CEP: GA MŠMT(CZ) LM2015055
Institucionální podpora: RVO:86652079
Klíčová slova: biological system modeling * mathematical model * computational modeling * numerical models * analytical models * data models
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8514498
Trvalý link: http://hdl.handle.net/11104/0290004