PARDINI, GIOVANNI Statistiche

PARDINI, GIOVANNI  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.034 secondi).
Titolo Data di pubblicazione Autore(i) File
A Free Interactive Digital Tool to Introduce Particle Model of Matter and Thermal Particle Motion at Middle School Level 1-gen-2024 Belli, Dimitri; Milazzo, Paolo; Pardini, Giovanni; Lischi, Guglielmo; Domenici, Valentina
Objective/MC: A high-level model checking language: Formalization of the imperative core and translation into PRISM 1-gen-2019 Milazzo, P.; Pardini, G.
Applications of P systems in population biology and ecology: The cases of MPP and APP systems 1-gen-2017 Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
A high-level model checking language with compile-time pruning of local variables 1-gen-2016 Pardini, Giovanni; Milazzo, Paolo
ObjMC: The Objective/MC compiler 1-gen-2016 Milazzo, Paolo; Pardini, Giovanni
Attributed probabilistic P systems and their application to the modelling of social interactions in primates 1-gen-2015 Barbuti, Roberto; Bompadre, Alessandro; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
Case studies of application of probabilistic and statistical model checking in game design 1-gen-2015 Milazzo, Paolo; Pardini, Giovanni; Sestini, Dario; Bove, Pasquale
Component identification in biochemical pathways 1-gen-2015 Pardini, Giovanni; Milazzo, Paolo; MAGGIOLO SCHETTINI, Andrea
Minimal probabilistic P systems for modelling ecological systems 1-gen-2015 Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 1-gen-2014 Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni
Compositional semantics and behavioural equivalences for reaction systems with restriction 1-gen-2014 Pardini, Giovanni; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini
Identification of components in biochemical pathways: Extensive application to SBML models 1-gen-2014 Pardini, Giovanni; Milazzo, Paolo; MAGGIOLO SCHETTINI, Andrea
Systolic automata and p systems 1-gen-2014 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tini, Simone