Petrov, Tatjana

Profilbild
E-Mail-Adresse
ORCID
ORCID logo 0000-0002-9041-0905
Geburtsdatum
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Petrov
Vorname
Tatjana
Name

Filter

2010 - 201926
Filter zurücksetzen

Einstellungen

Anfangsdatum: 2010 × Enddatum: 2019 ×

Suchergebnisse Publikationen

Gerade angezeigt 1 - 10 von 26
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    Data-Informed Parameter Synthesis for Population Markov Chains
    (2019) Hajnal, Matej; Nouvian, Morgane; Petrov, Tatjana; Safranek, David
    Erschienen 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
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    Transient Memory in Gene Regulation
    (2019) Guet, Calin; Henzinger, Thomas A.; Igler, Claudia; Petrov, Tatjana; Sezgin, Ali
    Erschienen 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
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    Data-Informed Parameter Synthesis for Population Markov Chains
    (2019) Hajnal, Matej; Nouvian, Morgane; Safranek, David; Petrov, Tatjana
    Erschienen 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
  • Vorschaubild
    Veröffentlichung
    Zeitschriftenartikel
    Model checking the evolution of gene regulatory networks
    (2017) Giacobbe, Mirco; Guet, Călin C.; Gupta, Ashutosh; Henzinger, Thomas A.; Paixão, Tiago; Petrov, Tatjana
    Erschienen in: Acta Informatica. 2017, 54(8), pp. 765-787. ISSN 0001-5903. eISSN 1432-0525. Available under: doi: 10.1007/s00236-016-0278-x
    Giacobbe_2-egxwg6wqgydt8.pdf
  • Vorschaubild
    Veröffentlichung
    Zeitschriftenartikel
    Faster Statistical Model Checking for Unbounded Temporal Properties
    (2017) Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana
    Erschienen in: ACM Transactions on Computational Logic. 2017, 18(2), 12. ISSN 1529-3785. eISSN 1557-945X. Available under: doi: 10.1145/3060139
    Daca_2-16l0jts3wgeoz5.pdf
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set
    (2016) Beica, Andreea; Guet, Calin C.; Petrov, Tatjana
    Erschienen 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
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    Faster Statistical Model Checking for Unbounded Temporal Properties
    (2016) Przemysław, Daca; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana
    Erschienen 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
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    Linear Distances between Markov Chains
    (2016) Daca, Przemyslaw; Henzinger, Thomas A.; Kretínský, Jan; Petrov, Tatjana
    Erschienen in: DESHARNAIS, Josée, ed., Radha JAGADEESAN, ed.. 27th International Conference on Concurrency Theory : CONCUR'16. Saarbrücken/Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik GmbH, 2016, 20. ISSN 1868-8969. ISBN 978-3-95977-017-0. Available under: doi: 10.4230/LIPIcs.CONCUR.2016.20
    Daca_2-1g5yruc0yq68q7.pdf
  • Vorschaubild
    Veröffentlichung
    Zeitschriftenartikel
    Optimal Kullback-Leibler Aggregation via Information Bottleneck
    (2015) Geiger, Bernhard C.; Petrov, Tatjana; Kubin, Gernot; Koeppl, Heinz
    Erschienen in: IEEE Transactions on Automatic Control. 2015, 60(4), pp. 1010-1022. ISSN 0018-9286. eISSN 1558-2523. Available under: doi: 10.1109/TAC.2014.2364971
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    Model Checking Gene Regulatory Networks
    (2015) Giacobbe, Mirco; Guet, Călin C.; Gupta, Ashutosh; Henzinger, Thomas A.; Paixão, Tiago; Petrov, Tatjana
    Erschienen in: BAIER, Christel, ed., Cesare TINELLI, ed.. Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Heidelberg: Springer, 2015, pp. 469-483. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-662-46680-3. Available under: doi: 10.1007/978-3-662-46681-0_47