BECCUTI, Marco
BECCUTI, Marco
INFORMATICA
(Stochastic) Model Checking in GreatSPN
2014-01-01 E. Amparore;M. Beccuti;S. Donatelli
A framework to design and solve Markov Decision Well-formed Net models
2007-01-01 M. Beccuti; D. Codetta-Raiter; G. Franceschinis; S. Haddad
A mathematical model to study breast cancer growth
2017-01-01 Chivassa, G; Fornari, C; Sirovich, R; Pennisi, M; Beccuti, M; Cordero, F
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 new symbolic approach for network reliability analysis
2012-01-01 Marco Beccuti; Andrea Bobbio;Giuliana Franceschinis;Roberta Terruggia
A Petri net formalism to study systems at different scales exploiting agent-based and stochastic simulations.
2021-01-01 Beccuti, M., Castagno, P., Franceschinis, G., Pennisi, M., Pernice, S.
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
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems
2018-01-01 Amparore E.G.; Beccuti M.; Botta M.; Donatelli S.; Tango F.
AI generativa (chatBot) in didattica
2023-01-01 Ivan Molineris, Leonardo Agasso, Ugo Ala, Beatrice Albanesi, Marco Beccuti, Marco Amato Cianci , Riccardo Casciaro , Franco Cauda , Riccardo Massimo Coda, Francesca Cordero, Luigi Di Caro , Ferdinando Di Cunto , Valerio Dimonte, Elena Mazzi , Gian Marco Mongiovi' , Gian Luca Pozzato, Luisa Tibiletti, Mariacristina Uberti , Erica Varese
An entropy heuristic to optimize decision diagrams for index-driven search in biological graph databases
2021-01-01 Licheri N.; Amparore E.; Bonnici V.; Giugno R.; Beccuti M.
An integrative transcriptomic analysis of glycolytic genes reveals distinct metabolic subtypes in pancreatic cancer
2018-01-01 Laura Follia, Giulio Ferrero, Giorgia Mandili, Marco Beccuti, Hiroyuki Katayama, Hong Wang, Amin A. Momin, Michela Capello, Samir M. Hanash, Francesco Novelli, Francesca Cordero
Analysis of timed properties using the jump-diffusion approximation
2017-01-01 Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy
Artificial intelligence methods for biomedical imaging and omics data
2023-01-01 Barbano C.A.; Beccuti M.; Cordero F.; Ivanov D.N.; Licheri N.; Pernice S.; Presta A.; Renzulli R.; Grangetto M.
Biological and technical variables on lncRNA quantification by RNA-Seq experiments.
2013-01-01 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-01-01 Amparore, Elvio; Beccuti, Marco; Collina, Simona; De Simone, Flavia; Donatelli, Susanna; Tango, Fabio
Computational modeling of pancreatic cancer cells metabolism
2015-01-01 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-01-01 G. Balbo; M. Beccuti; M. De Pierro; G.Franceschinis
Dealing with indetermination in biochemical networks
2017-01-01 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-01-01 Amparore E.G.; Donatelli S.; Beccuti M.; Garbi G.; Miner A.
Decision diagrams for Petri nets: which variable ordering?
2017-01-01 Amparore, E. G., Donatelli, S., Beccuti, M., Garbi, G., Miner Andrew
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| (Stochastic) Model Checking in GreatSPN | 2014 | E. Amparore;M. Beccuti;S. Donatelli | |
| A framework to design and solve Markov Decision Well-formed Net models | 2007 | M. Beccuti; D. Codetta-Raiter; G. Franceschinis; S. Haddad | |
| A mathematical model to study breast cancer growth | 2017 | Chivassa, G; Fornari, C; Sirovich, R; Pennisi, M; Beccuti, M; Cordero, F | |
| 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 new symbolic approach for network reliability analysis | 2012 | Marco Beccuti; Andrea Bobbio;Giuliana Franceschinis;Roberta Terruggia | |
| A Petri net formalism to study systems at different scales exploiting agent-based and stochastic simulations. | 2021 | Beccuti, M., Castagno, P., Franceschinis, G., Pennisi, M., Pernice, S. | |
| 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. | |
| AI generativa (chatBot) in didattica | 2023 | Ivan Molineris, Leonardo Agasso, Ugo Ala, Beatrice Albanesi, Marco Beccuti, Marco Amato Cianci , Riccardo Casciaro , Franco Cauda , Riccardo Massimo Coda, Francesca Cordero, Luigi Di Caro , Ferdinando Di Cunto , Valerio Dimonte, Elena Mazzi , Gian Marco Mongiovi' , Gian Luca Pozzato, Luisa Tibiletti, Mariacristina Uberti , Erica Varese | |
| An entropy heuristic to optimize decision diagrams for index-driven search in biological graph databases | 2021 | Licheri N.; Amparore E.; Bonnici V.; Giugno R.; Beccuti M. | |
| An integrative transcriptomic analysis of glycolytic genes reveals distinct metabolic subtypes in pancreatic cancer | 2018 | Laura Follia, Giulio Ferrero, Giorgia Mandili, Marco Beccuti, Hiroyuki Katayama, Hong Wang, Amin A. Momin, Michela Capello, Samir M. Hanash, Francesco Novelli, Francesca Cordero | |
| Analysis of timed properties using the jump-diffusion approximation | 2017 | Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy | |
| Artificial intelligence methods for biomedical imaging and omics data | 2023 | Barbano C.A.; Beccuti M.; Cordero F.; Ivanov D.N.; Licheri N.; Pernice S.; Presta A.; Renzulli R.; Grangetto M. | |
| 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 |