DE PIERRO, Massimiliano
DE PIERRO, Massimiliano
INFORMATICA
A high level language for structural relations in Stochastic Well-formed Nets
2005-01-01 L. CAPRA; M. DE PIERRO; G. FRANCESCHINIS
A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks
2011-01-01 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-01-01 Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis
A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models
2019-01-01 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-01-01 L. CAPRA; M. DE PIERRO; G. FRANCESCHINIS
Computing First Passage Time Distributions in Stochastic Well-Formed Nets
2011-01-01 G. Balbo; M. Beccuti; M. De Pierro; G.Franceschinis
Computing Structural Properties of Symmetric Nets
2015-01-01 Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding
2018-01-01 Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
Efficient analysis algorithms for Parametric Fault Trees
2005-01-01 A. BOBBIO; D. C. RAITERI; M. DE PIERRO; G. FRANCESCHINIS
Efficient enabling test in simulation of swn
2006-01-01 L. CAPRA; M. DE PIERRO
First Passage Time Computation in Tagged GSPNs with Queue Places
2011-01-01 Gianfranco Balbo; Marco Beccuti; Massimiliano De Pierro; Giuliana Franceschinis
General composition for Symmetric Net arc functions with applications
2021-01-01 Capra Lorenzo; De Pierro Massimiliano; Franceschinis Giuliana
Multiple sclerosis disease: A computational approach for investigating its drug interactions
2020-01-01 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-01-01 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-01-01 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-01-01 Capra L.; De Pierro M.; Franceschinis G.
Stochastic Petri Nets sensitivity to token scheduling policies
2011-01-01 G. Balbo; M. Beccuti; M. De Pierro; G. Franceschinis
System Level Dependability Analysis
2005-01-01 A. BOBBIO; D. C. RAITERI; M. DE PIERRO; G. FRANCESCHINIS
Tagged Generalized Stochastic Petri Nets
2009-01-01 G. Balbo; M. De Pierro; G. Franceschinis
The GreatSPN Tool: Recent Enhancements
2009-01-01 Soheib Baarir; M. Beccuti; Davide Cerotti; Massimiliano De Pierro; Susanna Donatelli; Giuliana Franceschinis
| 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 |