Sfoglia per Autore
Identification of components in biochemical pathways: Extensive application to SBML models
2014-01-01 Pardini, Giovanni; Milazzo, Paolo; MAGGIOLO SCHETTINI, Andrea
Compositional semantics and behavioural equivalences for reaction systems with restriction
2014-01-01 Pardini, Giovanni; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods
2014-01-01 Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni
Systolic automata and p systems
2014-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tini, Simone
Case studies of application of probabilistic and statistical model checking in game design
2015-01-01 Milazzo, Paolo; Pardini, Giovanni; Sestini, Dario; Bove, Pasquale
Component identification in biochemical pathways
2015-01-01 Pardini, Giovanni; Milazzo, Paolo; MAGGIOLO SCHETTINI, Andrea
Minimal probabilistic P systems for modelling ecological systems
2015-01-01 Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
Attributed probabilistic P systems and their application to the modelling of social interactions in primates
2015-01-01 Barbuti, Roberto; Bompadre, Alessandro; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
ObjMC: The Objective/MC compiler
2016-01-01 Milazzo, Paolo; Pardini, Giovanni
A high-level model checking language with compile-time pruning of local variables
2016-01-01 Pardini, Giovanni; Milazzo, Paolo
Applications of P systems in population biology and ecology: The cases of MPP and APP systems
2017-01-01 Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
Objective/MC: A high-level model checking language: Formalization of the imperative core and translation into PRISM
2019-01-01 Milazzo, P.; Pardini, G.
A Free Interactive Digital Tool to Introduce Particle Model of Matter and Thermal Particle Motion at Middle School Level
2024-01-01 Belli, Dimitri; Milazzo, Paolo; Pardini, Giovanni; Lischi, Guglielmo; Domenici, Valentina
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile