Petrov, Tatjana


Suchergebnisse Publikationen

Gerade angezeigt 1 - 10 von 38
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    Understanding Social Feedback in Biological Collectives with Smoothed Model Checking
    (2022) Klein, Julia; Petrov, Tatjana
    Erschienen in: MARGARIA, Tiziana, ed., Bernhard STEFFEN, ed.. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Proceedings, Part III. Cham: Springer, 2022, pp. 181-198. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-031-19758-1. Available under: doi: 10.1007/978-3-031-19759-8_12
  • Veröffentlichung
    Extracting individual characteristics from population data reveals a negative social effect during honeybee defence
    (2022) Petrov, Tatjana; Hajnal, Matej; Klein, Julia; Šafránek, David; Nouvian, Morgane
    Erschienen in: PLoS Computational Biology. Public Library of Science (PLoS). 2022, 18(9), e1010305. ISSN 1553-734X. eISSN 1553-7358. Available under: doi: 10.1371/journal.pcbi.1010305
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    Lumping Reductions for Multispread in Multi-Layer Networks
    (2022) Petrov, Tatjana; Tognazzi, Stefano
    Erschienen in: BENITO, Rosa Maria, ed., Chantal CHERIFI, ed., Hocine CHERIFI, ed. and others. Complex Networks & Their Applications X : Volume 2, Proceedings of the Tenth International Conference on Complex Networks and Their Applications. Cham: Springer, 2022, pp. 289-300. ISSN 1860-949X. eISSN 1860-9503. ISBN 978-3-030-93412-5. Available under: doi: 10.1007/978-3-030-93413-2_25
  • Veröffentlichung
    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
  • Veröffentlichung
    Long lived transients in gene regulation
    (2021) Petrov, Tatjana; Igler, Claudia; Sezgin, Ali; Henzinger, Thomas A.; Guet, Calin C.
    Erschienen in: Theoretical Computer Science. Elsevier. 2021, 893, pp. 1-16. ISSN 0304-3975. eISSN 1879-2294. Available under: doi: 10.1016/j.tcs.2021.05.023
  • Veröffentlichung
    Exact and approximate role assignment for multi-layer networks
    (2021) Petrov, Tatjana; Tognazzi, Stefano
    Erschienen in: Journal of Complex Networks. Oxford University Press. 2021, 9(5), cnab027. ISSN 2051-1310. eISSN 2051-1329. Available under: doi: 10.1093/comnet/cnab027
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    DiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications
    (2021) Hajnal, Matej; Šafránek, David; Petrov, Tatjana
    Erschienen in: BALLARINI, Paolo, ed., Hind CASTEL, ed., Ioannis DIMITRIOU, ed. and others. Performance Engineering and Stochastic Modeling : 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings. Cham: Springer, 2021, pp. 79-95. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-91824-8. Available under: doi: 10.1007/978-3-030-91825-5_5
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression
    (2020) Bokes, Pavol; Klein, Julia; Petrov, Tatjana
    Erschienen in: ABATE, Alessandro, ed., Tatjana PETROV, ed., Verena WOLF, ed.. Computational Methods in Systems Biology : 18th International Conference, CMSB 2020 : Proceedings. Cham: Springer, 2020, pp. 44-60. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-60326-7. Available under: doi: 10.1007/978-3-030-60327-4_3
  • Veröffentlichung
    Tropical Abstraction of Biochemical Reaction Networks with Guarantees
    (2020) Beica, Andreea; Feret, Jérôme; Petrov, Tatjana
    Erschienen in: Electronic Notes in Theoretical Computer Science. Elsevier. 2020, 350, pp. 3-32. ISSN 1571-0661. Available under: doi: 10.1016/j.entcs.2020.06.002
  • 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. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-59853-2. Available under: doi: 10.1007/978-3-030-59854-9_4