DE PIERRO, Massimiliano

DE PIERRO, Massimiliano  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 21 (tempo di esecuzione: 0.05 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
First Passage Time Computation in Tagged GSPNs with Queue Places 2011 Gianfranco Balbo; Marco Beccuti; Massimiliano De Pierro; Giuliana Franceschinis
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
Simplification of a complex signal transduction model using invariants and flow equivalent servers 2011 Francesca Cordero; András Horváth; Daniele Manini; Lucia Napione; Massimiliano De Pierro; Simona Pavan; Andrea Picco; Andrea Veglio; Matteo Sereno; Federico Bussolino; Gianfranco 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
System Level Dependability Analysis 2005 A. BOBBIO; D. C. RAITERI; M. DE PIERRO; G. FRANCESCHINIS
Tagged Generalized Stochastic Petri Nets 2009 G. Balbo; M. De Pierro; G. Franceschinis
The GreatSPN Tool: Recent Enhancements 2009 Soheib Baarir; M. Beccuti; Davide Cerotti; Massimiliano De Pierro; Susanna Donatelli; Giuliana Franceschinis