From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Linear Distances between Markov Chains., , , и . CONCUR, том 59 из LIPIcs, стр. 20:1-20:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Lumping Reductions for Multispread in Multi-Layer Networks., и . COMPLEX NETWORKS, том 1016 из Studies in Computational Intelligence, стр. 289-300. Springer, (2021)Automated deep abstractions for stochastic chemical reaction networks., и . Inf. Comput., (2021)DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications., , и . EPEW, том 13104 из Lecture Notes in Computer Science, стр. 79-95. Springer, (2021)Model Checking Gene Regulatory Networks., , , , , и . TACAS, том 9035 из Lecture Notes in Computer Science, стр. 469-483. Springer, (2015)Data-Informed Parameter Synthesis for Population Markov Chains., , , и . HSB, том 11705 из Lecture Notes in Computer Science, стр. 147-164. Springer, (2019)StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks., , и . QEST, том 12289 из Lecture Notes in Computer Science, стр. 27-32. Springer, (2020)Faster Statistical Model Checking for Unbounded Temporal Properties., , , и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 112-129. Springer, (2016)Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set., , и . HSB, том 9271 из Lecture Notes in Computer Science, стр. 173-191. Springer, (2015)Tropical Abstraction of Biochemical Reaction Networks with Guarantees., , и . SASB, том 350 из Electronic Notes in Theoretical Computer Science, стр. 3-32. Elsevier, (2020)