Repin, Denis

Lade...
Profilbild
E-Mail-Adresse
ORCID
Geburtsdatum
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Repin
Vorname
Denis
Name

Suchergebnisse Publikationen

Gerade angezeigt 1 - 2 von 2
  • Veröffentlichung
    Zeitschriftenartikel
    Automated deep abstractions for stochastic chemical reaction networks
    (2021) Repin, Denis; Petrov, Tatjana
    Erschienen in: Information and Computation. Elsevier. 2021, 281, pp. 104788. ISSN 0890-5401. eISSN 1090-2651. Available under: doi: 10.1016/j.ic.2021.104788
    Repin_2-1wrre1cocr5tf0.pdf
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    StochNetV2 : A Tool for Automated Deep Abstractions for Stochastic Reaction Networks
    (2020) Repin, Denis; Phung, Nhat-Huy; Petrov, Tatjana
    Erschienen 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