Repin, Denis
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Repin
Vorname
Denis
Name
2 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 2 von 2
- VeröffentlichungZeitschriftenartikelAutomated deep abstractions for stochastic chemical reaction networks(2021) Repin, Denis; Petrov, TatjanaErschienen in: Information and Computation. Elsevier. 2021, 281, pp. 104788. ISSN 0890-5401. eISSN 1090-2651. Available under: doi: 10.1016/j.ic.2021.104788
- VeröffentlichungBeitrag zu einem KonferenzbandStochNetV2 : A Tool for Automated Deep Abstractions for Stochastic Reaction Networks(2020) Repin, Denis; Phung, Nhat-Huy; Petrov, TatjanaErschienen in: GRIBAUDO, Marco, ed., David N. JANSEN, ed., Anne REMKE, ed.. Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings. Cham: Springer, 2020, pp. 27-32. Lecture Notes in Computer Science. 12289. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-59853-2. Available under: doi: 10.1007/978-3-030-59854-9_4