Petrov, Tatjana
0000-0002-9041-0905 Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Petrov
Vorname
Tatjana
Name
3 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 3 von 3
- 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 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. AIP Conference Proceedings. 1281. ISSN 0094-243X. eISSN 1551-7616. Available under: doi: 10.1063/1.3497965
- 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
