Zobrazeno 1 - 10
of 144
pro vyhledávání: '"Gianfranco Ciardo"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 14, Iss Proc. PDMC 2009, Pp 1-17 (2009)
State-space exploration is an essential step in many modeling and analysis problems. Its goal is to find the states reachable from the initial state of a discrete-state model described. The state space can used to answer important questions, e.g., "I
Externí odkaz:
https://doaj.org/article/19efda4800a24e0789a4eb091d41e86a
Autor:
Stefano Lonardi, Denisa Duma, Matthew Alpert, Francesca Cordero, Marco Beccuti, Prasanna R Bhat, Yonghui Wu, Gianfranco Ciardo, Burair Alsaihati, Yaqin Ma, Steve Wanamaker, Josh Resnik, Serdar Bozdag, Ming-Cheng Luo, Timothy J Close
Publikováno v:
PLoS Computational Biology, Vol 9, Iss 4, p e1003010 (2013)
For the vast majority of species - including many economically or ecologically important organisms, progress in biological research is hampered due to the lack of a reference genome sequence. Despite recent advances in sequencing technologies, severa
Externí odkaz:
https://doaj.org/article/5fa96e19829943ec800e8e510ec5fa63
Publikováno v:
Linear Algebra and its Applications. 651:209-229
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da85fb2ee1f0d7864329742a25d7b235
https://doi.org/10.1016/j.laa.2022.06.016
https://doi.org/10.1016/j.laa.2022.06.016
Publikováno v:
International Journal on Software Tools for Technology Transfer. 24:89-109
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6cde4f3e8a0de636540bf16d03c01fe7
https://doi.org/10.1007/s10009-021-00640-0
https://doi.org/10.1007/s10009-021-00640-0
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783031336195
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3ff601a55503bf398c06460dcabbd963
https://doi.org/10.1007/978-3-031-33620-1_14
https://doi.org/10.1007/978-3-031-33620-1_14
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031077265
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d7d0f9a179c8879e7c6a0da6ce31ad1d
https://doi.org/10.1007/978-3-031-07727-2_12
https://doi.org/10.1007/978-3-031-07727-2_12
Publikováno v:
Tests and Proofs ISBN: 9783031098260
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da84de028162aaffb1f864fc42952c87
https://doi.org/10.1007/978-3-031-09827-7_3
https://doi.org/10.1007/978-3-031-09827-7_3
Autor:
Kishor S. Trivedi, Gianfranco Ciardo
Publikováno v:
Numerical Solution of Markov Chains ISBN: 9781003210160
Numerical Solution of Markov Chains
Numerical Solution of Markov Chains
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c844ce6f3e8d08a2e5d7beb650de6e50
https://doi.org/10.1201/9781003210160-30
https://doi.org/10.1201/9781003210160-30
Publikováno v:
Numerical Solution of Markov Chains ISBN: 9781003210160
Numerical Solution of Markov Chains
Numerical Solution of Markov Chains
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0320aad62d391748eca43f1924a7446
https://doi.org/10.1201/9781003210160-47
https://doi.org/10.1201/9781003210160-47
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XVII. These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applica