DE PIERRO, Massimiliano

DE PIERRO, Massimiliano  

INFORMATICA  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.004 secondi).
Titolo Data di pubblicazione Autore(i) File
A high level language for structural relations in Stochastic Well-formed Nets 2005 L. CAPRA; M. DE PIERRO; G. FRANCESCHINIS
A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks 2011 Beccuti Marco ; De Pierro Massimiliano; Horváth András ; Horváth Ádám ; Farkas Károly
A tool for symbolic manipulation of arc functions in Symmetric Net models 2013 Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis
A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models 2019 Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Laura Follia, Simone Pernice
An Application Example of a Symbolic Calculus for SWN Structural Relations 2005 L. CAPRA; M. DE PIERRO; G. FRANCESCHINIS
Computing First Passage Time Distributions in Stochastic Well-Formed Nets 2011 G. Balbo; M. Beccuti; M. De Pierro; G.Franceschinis
Computing Structural Properties of Symmetric Nets 2015 Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding 2018 Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
Efficient analysis algorithms for Parametric Fault Trees 2005 A. BOBBIO; D. C. RAITERI; M. DE PIERRO; G. FRANCESCHINIS
Efficient enabling test in simulation of swn 2006 L. CAPRA; M. DE PIERRO
General composition for Symmetric Net arc functions with applications 2021 Capra Lorenzo; De Pierro Massimiliano; Franceschinis Giuliana
Multiple sclerosis disease: A computational approach for investigating its drug interactions 2020 Pernice S.; Beccuti M.; Romano G.; Pennisi M.; Maglione A.; Cutrupi S.; Pappalardo F.; Capra L.; Franceschinis G.; De Pierro M.; Balbo G.; Cordero F.; Calogero R.
On the use of stochastic Petri nets in the analysis of Signal Transduction Pathways for Angiogenesis process 2009 L. Napione; D. Manini; F. Cordero; A. Horvath; A. Picco; M. De Pierro; S. Pavan; M. Sereno; A. Veglio; F. Bussolino; G. Balbo
SNexpression: A Symbolic Calculator for Symmetric Net Expressions 2020 Capra L.; De Pierro M.; Franceschinis G.
Stochastic Petri Nets sensitivity to token scheduling policies 2011 G. Balbo; M. Beccuti; M. De Pierro; G. Franceschinis
Tagged Generalized Stochastic Petri Nets 2009 G. Balbo; M. De Pierro; G. Franceschinis