( en | de | ru )

 

Disambiguierung von "Milazzo, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Characterization and computation of ancestors in reaction systems.

, , , und . Soft Comput., 25 (3): 1683-1698 (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Caterina Milazzo

Giordano Paolo

Paolo Molteni

Paolo Bavaj

Paolo Fornara

 

Weitere Publikationen von Autoren mit dem selben Namen

An intermediate language for the stochastic simulation of biological systems., , , und . Theor. Comput. Sci., 410 (33-34): 3085-3109 (2009)IoT based dynamic Bayesian prediction of crop evapotranspiration in soilless cultivations., , , , , und . Comput. Electron. Agric., (Februar 2023)Specialized Predictor for Reaction Systems with Context Properties., , , und . CS&P, Volume 1492 von CEUR Workshop Proceedings, Seite 31-43. CEUR-WS.org, (2015)Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings., , , und . Int. Conf. on Membrane Computing, Volume 6501 von Lecture Notes in Computer Science, Seite 103-118. Springer, (2010)Objective/MC: A high-level model checking language - Formalization of the imperative core and translation into PRISM., und . J. Intell. Inf. Syst., 52 (3): 533-571 (2019)Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates., , , und . RP, Volume 5797 von Lecture Notes in Computer Science, Seite 64-78. Springer, (2009)A Compositional Semantics of Reaction Systems with Restriction., , , , und . CiE, Volume 7921 von Lecture Notes in Computer Science, Seite 330-339. Springer, (2013)Computing Preimages and Ancestors in Reaction Systems., , , und . TPNC, Volume 11324 von Lecture Notes in Computer Science, Seite 23-35. Springer, (2018)An alternative to Gillespie’s algorithm for simulating chemical reactions, , und . Computational Methods in Systems Biology (CMSB’05), (2005)Formal characterization and efficient verification of a biological robustness property., , und . FormaliSE@ICSE, Seite 13-18. IEEE, (2021)