Person: Repin, Denis
Loading...
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Repin
First Name
Denis
Name
2 results
Search Results
Now showing 1 - 2 of 2
- PublicationJournal articleAutomated deep abstractions for stochastic chemical reaction networks(2021) Repin, Denis; Petrov, TatjanaPublished in: Information and Computation ; 281 (2021). - pp. 104788. - Elsevier. - ISSN 0890-5401. - eISSN 1090-2651
- PublicationContribution to a conference collectionStochNetV2 : A Tool for Automated Deep Abstractions for Stochastic Reaction Networks(2020) Repin, Denis; Phung, Nhat-Huy; Petrov, TatjanaPublished in: Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings / Gribaudo, Marco; Jansen, David N.; Remke, Anne (ed.). - Cham : Springer, 2020. - (Lecture Notes in Computer Science ; 12289). - pp. 27-32. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-59853-2
