CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 21
Titolo Data di pubblicazione Autore(i) File
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities 2003 ENRIQUE TERUEL; GIULIANA FRANCESCHINIS; MASSIMILIANO DE PIERRO
System Level Dependability Analysis 2005 A. BOBBIO; D. C. RAITERI; M. DE PIERRO; G. FRANCESCHINIS
A high level language for structural relations in Stochastic Well-formed Nets 2005 L. CAPRA; M. DE PIERRO; G. FRANCESCHINIS
An Application Example of a Symbolic Calculus for SWN Structural Relations 2005 L. CAPRA; M. DE PIERRO; G. FRANCESCHINIS
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
The GreatSPN Tool: Recent Enhancements 2009 Soheib Baarir; M. Beccuti; Davide Cerotti; Massimiliano De Pierro; Susanna Donatelli; Giuliana Franceschinis
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
Tagged Generalized Stochastic Petri Nets 2009 G. Balbo; M. De Pierro; G. Franceschinis
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
Stochastic Petri Nets sensitivity to token scheduling policies 2011 G. Balbo; M. Beccuti; M. De Pierro; G. Franceschinis
First Passage Time Computation in Tagged GSPNs with Queue Places 2011 Gianfranco Balbo; Marco Beccuti; Massimiliano De Pierro; Giuliana 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
Computing First Passage Time Distributions in Stochastic Well-Formed Nets 2011 G. Balbo; M. Beccuti; M. De Pierro; G.Franceschinis
A tool for symbolic manipulation of arc functions in Symmetric Net models 2013 Lorenzo Capra; Massimiliano De Pierro; Giuliana 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
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
SNexpression: A Symbolic Calculator for Symmetric Net Expressions 2020 Capra L.; De Pierro M.; Franceschinis G.
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.
Mostrati risultati da 1 a 20 di 21
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