Person: Petrov, Tatjana
Loading...
Email Address
ORCID
0000-0002-9041-0905
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Petrov
First Name
Tatjana
Name
38 results
Search Results
Now showing 1 - 10 of 38
- PublicationContribution to a conference collectionUnderstanding Social Feedback in Biological Collectives with Smoothed Model Checking(2022) Klein, Julia; Petrov, TatjanaPublished in: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Proceedings, Part III / Margaria, Tiziana; Steffen, Bernhard (ed.). - Cham : Springer, 2022. - (Lecture Notes in Computer Science ; 13703). - pp. 181-198. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-031-19758-1
- PublicationJournal articleExtracting individual characteristics from population data reveals a negative social effect during honeybee defence(2022) Petrov, Tatjana; Hajnal, Matej; Klein, Julia; Šafránek, David; Nouvian, MorganePublished in: PLoS Computational Biology ; 18 (2022), 9. - e1010305. - Public Library of Science (PLoS). - ISSN 1553-734X. - eISSN 1553-7358
- PublicationContribution to a conference collectionLumping Reductions for Multispread in Multi-Layer Networks(2022) Petrov, Tatjana; Tognazzi, StefanoPublished in: Complex Networks & Their Applications X : Volume 2, Proceedings of the Tenth International Conference on Complex Networks and Their Applications / Benito, Rosa Maria; Cherifi, Chantal; Cherifi, Hocine et al. (ed.). - Cham : Springer, 2022. - (Studies in Computational Intelligence ; 1016). - pp. 289-300. - ISSN 1860-949X. - eISSN 1860-9503. - ISBN 978-3-030-93412-5
- 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
- PublicationJournal articleLong lived transients in gene regulation(2021) Petrov, Tatjana; Igler, Claudia; Sezgin, Ali; Henzinger, Thomas A.; Guet, Calin C.Published in: Theoretical Computer Science ; 893 (2021). - pp. 1-16. - Elsevier. - ISSN 0304-3975. - eISSN 1879-2294
- PublicationJournal articleExact and approximate role assignment for multi-layer networks(2021) Petrov, Tatjana; Tognazzi, StefanoPublished in: Journal of Complex Networks ; 9 (2021), 5. - cnab027. - Oxford University Press. - ISSN 2051-1310. - eISSN 2051-1329
- PublicationContribution to a conference collectionDiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications(2021) Hajnal, Matej; Šafránek, David; Petrov, TatjanaPublished in: 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 / Ballarini, Paolo; Castel, Hind; Dimitriou, Ioannis et al. (ed.). - Cham : Springer, 2021. - (Lecture Notes in Computer Science ; 13104). - pp. 79-95. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-91824-8
- PublicationContribution to a conference collectionAccelerating Reactions at the DNA Can Slow Down Transient Gene Expression(2020) Bokes, Pavol; Klein, Julia; Petrov, TatjanaPublished in: Computational Methods in Systems Biology : 18th International Conference, CMSB 2020 : Proceedings / Abate, Alessandro; Petrov, Tatjana; Wolf, Verena (ed.). - Cham : Springer, 2020. - (Lecture Notes in Computer Science ; 12314). - pp. 44-60. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-60326-7
- PublicationJournal articleTropical Abstraction of Biochemical Reaction Networks with Guarantees(2020) Beica, Andreea; Feret, Jérôme; Petrov, TatjanaPublished in: Electronic Notes in Theoretical Computer Science ; 350 (2020). - pp. 3-32. - Elsevier. - ISSN 1571-0661
- PublicationContribution to a conference collectionCentrality-Preserving Exact Reductions of Multi-Layer Networks(2020) Petrov, Tatjana; Tognazzi, StefanoPublished in: Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles, 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, proceedings, part II / Margaria, Tiziana; Steffen, Bernhard (ed.). - Cham : Springer, 2020. - (Lecture Notes in Computer Science ; 12477). - pp. 397-415. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-61469-0