Petrov, Tatjana
0000-0002-9041-0905 Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Petrov
Vorname
Tatjana
Name
5 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 5 von 5
- 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öffentlichungZeitschriftenartikelStochastic Fragments : a Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models(2013) Feret, Jérôme; Koeppl, Heinz; Petrov, TatjanaErschienen in: International Journal of Software and Informatics : IJSI. 2013, 7(4), pp. 527-604. eISSN 1673-7288
- 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 KonferenzbandAutomatic Reduction of Stochastic Rules-Based Models in a Nutshell(2010) Camporesi, Ferdinanda; Feret, Jérôme; Koeppl, Heinz; Petrov, TatjanaErschienen in: SIMOS, Theodore E., ed., George PSIHOYIOS, ed., Ch. TSITOURAS, ed.. ICNAAM 2010: International Conference of Numerical Analysis and Applied Mathematics 2010. Melville, NY: AIP, 2010, pp. 1330-1334. ISSN 0094-243X. eISSN 1551-7616. Available under: doi: 10.1063/1.3497965
- VeröffentlichungZeitschriftenartikelCombining Model Reductions(2010) Camporesi, Ferdinanda; Feret, Jérôme; Koeppl, Heinz; Petrov, TatjanaErschienen in: Electronic Notes in Theoretical Computer Science. 2010, 265, pp. 73-96. ISSN 1571-0661. Available under: doi: 10.1016/j.entcs.2010.08.006
