Petrov, Tatjana
0000-0002-9041-0905 Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Petrov
Vorname
Tatjana
Name
23 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 23
- 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ö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ö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
- VeröffentlichungBeitrag zu einem KonferenzbandCentrality-Preserving Exact Reductions of Multi-Layer Networks(2020) Petrov, Tatjana; Tognazzi, StefanoErschienen in: MARGARIA, Tiziana, ed., Bernhard STEFFEN, ed.. 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. Cham: Springer, 2020, pp. 397-415. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-61469-0. Available under: doi: 10.1007/978-3-030-61470-6_24
- VeröffentlichungBeitrag zu einem KonferenzbandData-Informed Parameter Synthesis for Population Markov Chains(2019) Hajnal, Matej; Nouvian, Morgane; Petrov, Tatjana; Safranek, DavidErschienen in: BORTOLUSSI, Luca, ed., Guido SANGUINETTI, ed.. Computational methods in systems biology : 17th international conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings. Cham: Springer, 2019, pp. 383-386. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-31303-6. Available under: doi: 10.1007/978-3-030-31304-3_32
- VeröffentlichungBeitrag zu einem KonferenzbandTransient Memory in Gene Regulation(2019) Guet, Calin; Henzinger, Thomas A.; Igler, Claudia; Petrov, Tatjana; Sezgin, AliErschienen in: BORTOLUSSI, Luca, ed., Guido SANGUINETTI, ed.. Computational Methods in Systems Biology : 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, proceedings. Cham: Springer, 2019, pp. 155-187. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-31303-6. Available under: doi: 10.1007/978-3-030-31304-3_9
- VeröffentlichungBeitrag zu einem KonferenzbandData-Informed Parameter Synthesis for Population Markov Chains(2019) Hajnal, Matej; Nouvian, Morgane; Safranek, David; Petrov, TatjanaErschienen in: ČEŠKA, Milan, ed., Nicola PAOLETTI, ed.. Hybrid Systems Biology : 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers. Cham: Springer, 2019, pp. 147-164. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-28041-3. Available under: doi: 10.1007/978-3-030-28042-0_10
- VeröffentlichungBeitrag zu einem KonferenzbandEfficient Reduction of Kappa Models by Static Inspection of the Rule-Set(2016) Beica, Andreea; Guet, Calin C.; Petrov, TatjanaErschienen in: ABATE, Alessandro, ed., David SAFRANEK, ed.. Hybrid Systems Biology : Fourth International Workshop. Cham: Springer, 2016, pp. 173-191. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-26915-3. Available under: doi: 10.1007/978-3-319-26916-0_10
- VeröffentlichungBeitrag zu einem KonferenzbandFaster Statistical Model Checking for Unbounded Temporal Properties(2016) Przemysław, Daca; Henzinger, Thomas A.; Křetínský, Jan; Petrov, TatjanaErschienen in: CHECHIK, Marsha, ed., Jean-François RASKIN, ed.. Tools and algorithms for the construction and analysis of systems : 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Berlin: Springer, 2016, pp. 112-129. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-662-49673-2. Available under: doi: 10.1007/978-3-662-49674-9_7
- «
- 1 (current)
- 2
- 3
- »