Zobrazeno 1 - 10
of 228
pro vyhledávání: '"Tschaikowski M."'
Autor:
Argyris GA; Department of Applied Mathematics and Computer Science, Technical University of Denmark, Lyngby, Denmark., Lluch Lafuente A; Department of Applied Mathematics and Computer Science, Technical University of Denmark, Lyngby, Denmark., Tribastone M; SysMA Unit, IMT School for Advanced Studies, Lucca, Italy., Tschaikowski M; Department of Computer Science, University of Aalborg, Aalborg, Denmark., Vandin A; Department of Applied Mathematics and Computer Science, Technical University of Denmark, Lyngby, Denmark. andrea.vandin@santannapisa.it.; Department of Excellence EMbeDS and Institute of Economics, Sant'Anna School for Advanced Studies, Pisa, Italy. andrea.vandin@santannapisa.it.
Publikováno v:
BMC bioinformatics [BMC Bioinformatics] 2023 May 23; Vol. 24 (Suppl 1), pp. 212. Date of Electronic Publication: 2023 May 23.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ilieva M; Center for RNA Medicine, Department of Clinical Medicine Aalborg University Copenhagen Denmark., Tschaikowski M; Department of Computer Science Aalborg University Aalborg Denmark., Vandin A; Institute of Economics and EMbeDS Sant'Anna School of Advanced Studies Pisa Italy.; Department of Applied Mathematics and Computer Science Technical University of Denmark Kongens Lyngby Denmark., Uchida S; Center for RNA Medicine, Department of Clinical Medicine Aalborg University Copenhagen Denmark.
Publikováno v:
Clinical and translational discovery [Clin Transl Discov] 2022 Sep; Vol. 2 (3), pp. e104. Date of Electronic Publication: 2022 Jul 17.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Cardelli, L, Tribastone, M, Tschaikowski, M, Vandin, A, Aceto, L, Bacci, G, Ingólfsdóttir, A, Legay, A, Mardare, R
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319631202
Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
In chemical reaction networks (CRNs) with stochastic semantics based on continuous-time Markov chains (CTMCs), the typically large populations of species cause combinatorially large state spaces. This makes the analysis very difficult in practice and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1d58752c898df58708f25a9daca54ee
https://ora.ox.ac.uk/objects/uuid:6b46dbcb-a2f0-4bef-8b8f-f1d8ea278129
https://ora.ox.ac.uk/objects/uuid:6b46dbcb-a2f0-4bef-8b8f-f1d8ea278129
Autor:
Cardelli L; Department of Computer Science, University of Oxford, Oxford 34127, OX1 3QD, UK., Perez-Verona IC; IMT School for Advanced Studies, Lucca 55100, Italy., Tribastone M; IMT School for Advanced Studies, Lucca 55100, Italy., Tschaikowski M; Department of Computer Science, University of Aalborg, Aalborg 34127, 9220, Denmark., Vandin A; Sant'Anna School of Advanced Studies, Pisa 56127, Italy., Waizmann T; IMT School for Advanced Studies, Lucca 55100, Italy.
Publikováno v:
Bioinformatics (Oxford, England) [Bioinformatics] 2021 Aug 09; Vol. 37 (15), pp. 2175-2182.
Autor:
Bortolussi L., Ciancia V., Gilmore S., Hillston J., Latella D., Loreti M., Massink M., Nenzi L., Paskauskas R., Tribastone M., Tschaikowski M.
Publikováno v:
ISTI Technical reports, 2016
This Internal Report describes the status of the work performed in the project on the extension of the theoretical foundations of scalable model-checking approaches with suitable notions of spatial verification. Various forms of scalable model-checki
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::00f68fa37f979e471e6416543cc3bc33
https://openportal.isti.cnr.it/doc?id=people______::00f68fa37f979e471e6416543cc3bc33
https://openportal.isti.cnr.it/doc?id=people______::00f68fa37f979e471e6416543cc3bc33
Autor:
Duecker, Katharina1,2 (AUTHOR) katharina.duecker@gmail.com, Idiart, Marco3 (AUTHOR), van Gerven, Marcel4 (AUTHOR), Jensen, Ole1 (AUTHOR)
Publikováno v:
PLoS Computational Biology. 9/11/2024, Vol. 20 Issue 9, p1-26. 26p.