Petrov, Tatjana
0000-0002-9041-0905 Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Petrov
Vorname
Tatjana
Name
11 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 11
- VeröffentlichungBeitrag zu einem KonferenzbandUnderstanding Social Feedback in Biological Collectives with Smoothed Model Checking(2022) Klein, Julia; Petrov, TatjanaErschienen 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öffentlichungZeitschriftenartikelExtracting individual characteristics from population data reveals a negative social effect during honeybee defence(2022) Petrov, Tatjana; Hajnal, Matej; Klein, Julia; Šafránek, David; Nouvian, MorganeErschienen 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öffentlichungBeitrag zu einem KonferenzbandLumping Reductions for Multispread in Multi-Layer Networks(2022) Petrov, Tatjana; Tognazzi, StefanoErschienen 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ö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öffentlichungZeitschriftenartikelLong 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öffentlichungZeitschriftenartikelExact and approximate role assignment for multi-layer networks(2021) Petrov, Tatjana; Tognazzi, StefanoErschienen 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öffentlichungBeitrag zu einem KonferenzbandDiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications(2021) Hajnal, Matej; Šafránek, David; Petrov, TatjanaErschienen 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öffentlichungBeitrag zu einem KonferenzbandAccelerating Reactions at the DNA Can Slow Down Transient Gene Expression(2020) Bokes, Pavol; Klein, Julia; Petrov, TatjanaErschienen 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öffentlichungZeitschriftenartikelTropical Abstraction of Biochemical Reaction Networks with Guarantees(2020) Beica, Andreea; Feret, Jérôme; Petrov, TatjanaErschienen 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ö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. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-59853-2. Available under: doi: 10.1007/978-3-030-59854-9_4
