BECCUTI, Marco

BECCUTI, Marco  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 56 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
A framework to design and solve Markov Decision Well-formed Net models 2007 M. Beccuti; D. Codetta-Raiter; G. Franceschinis; S. Haddad
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
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems 2018 Amparore E.G.; Beccuti M.; Botta M.; Donatelli S.; Tango F.
Analysis of timed properties using the jump-diffusion approximation 2017 Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy
Biological and technical variables on lncRNA quantification by RNA-Seq experiments. 2013 Ferrero Giulio, Miano Valentina, Beccuti Marco, Balbo Gianfranco, Cordero Francesca, De Bortoli Michele
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving 2014 Amparore, Elvio; Beccuti, Marco; Collina, Simona; De Simone, Flavia; Donatelli, Susanna; Tango, Fabio
Computational modeling of pancreatic cancer cells metabolism 2015 Niccolò Totis, Chiara Fornari, Laura Follia, Chiara Riganti, Marco Beccuti, Francesco Novelli, Gianfranco Balbo, Francesca Cordero
Computing First Passage Time Distributions in Stochastic Well-Formed Nets 2011 G. Balbo; M. Beccuti; M. De Pierro; G.Franceschinis
Dealing with indetermination in biochemical networks 2017 Totis, Niccolò; Beccuti, Marco; Cordero, Francesca; Follia, Laura; Riganti, Chiara; Novelli, Francesco; Balbo, Gianfranco
Decision diagrams for Petri nets: a comparison of variable ordering algorithms 2018 Amparore E.G.; Donatelli S.; Beccuti M.; Garbi G.; Miner A.
Decision diagrams for Petri nets: which variable ordering? 2017 Amparore, E. G., Donatelli, S., Beccuti, M., Garbi, G., Miner Andrew
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding 2018 Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
Dynamic simulations of kidney exchanges 2011 M. Beccuti; V. Fragnelli; G. Franceschinis; S. Villa
Efficient lumpability check in partially symmetric systems 2006 M. BECCUTI; G. FRANCESCHINIS; S. BAARIR; J.-M. ILIE
Efficient lumpability check in partially symmetric systems 2006 M. BECCUTI
Efficient Simulation of Stochastic Well-formed Nets Through Symmetry Exploitation 2012 M. Beccuti; G. Franceschinis
Estimating Daclizumab effects in Multiple Sclerosis using Stochastic Symmetric Nets 2018 Pernice S., Beccuti M., Do P., Pennisi M., Pappalardo F.
Exploiting Stochastic Petri Net formalism to capture the Relapsing Remitting Multiple Sclerosis variability under Daclizumab administration 2019 Pernice S.; Romano G.; Russo G.; Beccuti M.; Pennisi M.; Pappalardo F.
Expressing and computing passage time measures of GSPN models with HASL 2013 E. G. Amparore; P. Ballarini; M. Beccuti; S. Donatelli; G. Franceschinis
Extended SWN Solvers in GreatSPN 2004 J.M. Ilie; S. Baarir; M. Beccuti; C. Delamare; S. Donatelli; C. Dutheillet; G. Franceschinis; R. Gaeta; P. Moreaux