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öffentlichungZeitschriftenartikelMarkov chain aggregation and its applications to combinatorial reaction networks(2014) Ganguly, Arnab; Petrov, Tatjana; Koeppl, HeinzErschienen in: Journal of Mathematical Biology. 2014, 69(3), pp. 767-797. ISSN 0303-6812. eISSN 1432-1416. Available under: doi: 10.1007/s00285-013-0738-7
- 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öffentlichungZeitschriftenartikelModel Decomposition and Stochastic Fragments(2012) Petrov, Tatjana; Ganguly, Arnab; Koeppl, HeinzErschienen in: Electronic Notes in Theoretical Computer Science. 2012, 284, pp. 105-124. ISSN 1571-0661. Available under: doi: 10.1016/j.entcs.2012.05.018
- 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öffentlichungZeitschriftenartikelStochastic Semantics of Signaling as a Composition of Agent-view Automata(2011) Koeppl, Heinz; Petrov, TatjanaErschienen in: Electronic Notes in Theoretical Computer Science. 2011, 272, pp. 3-17. ISSN 1571-0661. Available under: doi: 10.1016/j.entcs.2011.04.002
