Petrov, Tatjana
0000-0002-9041-0905 Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Petrov
Vorname
Tatjana
Name
9 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 9 von 9
- 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ö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öffentlichungZeitschriftenartikelModel checking the evolution of gene regulatory networks(2017) Giacobbe, Mirco; Guet, Călin C.; Gupta, Ashutosh; Henzinger, Thomas A.; Paixão, Tiago; Petrov, TatjanaErschienen in: Acta Informatica. 2017, 54(8), pp. 765-787. ISSN 0001-5903. eISSN 1432-0525. Available under: doi: 10.1007/s00236-016-0278-x
- 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
- VeröffentlichungBeitrag zu einem KonferenzbandLinear Distances between Markov Chains(2016) Daca, Przemyslaw; Henzinger, Thomas A.; Kretínský, Jan; Petrov, TatjanaErschienen 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
- VeröffentlichungBeitrag zu einem KonferenzbandModel Checking Gene Regulatory Networks(2015) Giacobbe, Mirco; Guet, Călin C.; Gupta, Ashutosh; Henzinger, Thomas A.; Paixão, Tiago; Petrov, TatjanaErschienen 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
- VeröffentlichungZeitschriftenartikelLumpability abstractions of rule-based systems(2012) Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, TatjanaErschienen in: Theoretical Computer Science. 2012, 431, pp. 137-164. ISSN 0304-3975. eISSN 1879-2294. Available under: doi: 10.1016/j.tcs.2011.12.059
- VeröffentlichungBeitrag zu einem KonferenzbandLumpability Abstractions of Rule-based Systems(2010) Feret, Jérôme; Henzinger, Thomas; Koeppl, Heinz; Petrov, TatjanaErschienen in: BEHRE, Jörn, ed. and others. Proceedings compendium of the Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi : MeCBIC2010 : and of the First Workshop on Applications of Membrane Computing : Concurrency : and Agent-based Modelling in Population Biology : AMCA-POP2010 : satellite events of the Eleventh International Conference on Membrane Computing : CMC11 : Friedrich Schiller University Jena : Germany 23 and 25 August 2010. Berlin: Pro Business, 2010, pp. 135-154. ISBN 978-3-86805-767-6
- VeröffentlichungBeitrag zu einem KonferenzbandInterface theories with component reuse(2008) Doyen, Laurent; Henzinger, Thomas A.; Jobstmann, Barbara; Petrov, TatjanaErschienen in: Proceedings of the 8th ACM international conference on Embedded software : EMSOFT '08. New York, New York, USA: ACM Press, 2008, pp. 79-88. ISBN 978-1-60558-468-3. Available under: doi: 10.1145/1450058.1450070
