BECCUTI, Marco
BECCUTI, Marco
INFORMATICA
(Stochastic) Model Checking in GreatSPN
2014-01-01 E. Amparore;M. Beccuti;S. Donatelli
30 Years of GreatSPN
2016-01-01 Elvio G, Amparore; Gianfranco, Balbo; Marco, Beccuti; Susanna, Donatelli; Giuliana, Franceschinis
A computational analysis of S-(2-succino)cysteine sites in proteins
2016-01-01 Miglio, Gianluca; Sabatino, Alessandro Damiano; Veglia, Eleonora; Giraudo, Maria Teresa; Beccuti, Marco; Cordero, Francesca
A computational approach based on the colored Petri net formalism for studying multiple sclerosis
2019-01-01 Pernice S.; Pennisi M.; Romano G.; Maglione A.; Cutrupi S.; Pappalardo F.; Balbo G.; Beccuti M.; Cordero F.; Calogero R.A.
A computational framework for modeling and studying pertussis epidemiology and vaccination
2020-01-01 Castagno P.; Pernice S.; Ghetti G.; Povero M.; Pradelli L.; Paolotti D.; Balbo G.; Sereno M.; Beccuti M.
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 mathematical-biological joint effort to investigate the tumor-initiating ability of cancer stem cells.
2014-01-01 Fornari C;Beccuti M;Lanzardo S;Conti L;Balbo G;Cavallo F;Calogero RA;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 new symbolic approach for network reliability analysis.
2011-01-01 M. Beccuti; S. Donatelli; G. Franceschinis; R. 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 physical, genetic and functional sequence assembly of the barley genome.
2012-01-01 Mayer KF; Waugh R; Langridge P; Close TJ; Wise RP; Graner A; Matsumoto T; Sato K; Schulman A; Muehlbauer GJ; Stein N; Ariyadasa R; Schulte D; Poursarebani N; Zhou R; Steuernagel B; Mascher M; Scholz U; Shi B; Langridge P; Madishetty K; Svensson JT; Bhat P; Moscou M; Resnik J; Close TJ; Muehlbauer GJ; Hedley P; Liu H; Morris J; Waugh R; Frenkel Z; Korol A; Bergès H; Graner A; Stein N; Steuernagel B; Scholz U; Taudien S; Felder M; Groth M; Platzer M; Stein N; Steuernagel B; Scholz U; Himmelbach A; Taudien S; Felder M; Platzer M; Lonardi S; Duma D; Alpert M; Cordero F; Beccuti M; Ciardo G; Ma Y; Wanamaker S; Close TJ; Stein N; Cattonaro F; Vendramin V; Scalabrin S; Radovic S; Wing R; Schulte D; Steuernagel B; Morgante M; Stein N; Waugh R; Nussbaumer T; Gundlach H; Martis M; Ariyadasa R; Poursarebani N; Steuernagel B; Scholz U; Wise RP; Poland J; Stein N; Mayer KF; Spannagl M; Pfeifer M; Gundlach H; Mayer KF; Gundlach H; Moisy C; Tanskanen J; Scalabrin S; Zuccolo A; Vendramin V; Morgante M; Mayer KF; Schulman A; Pfeifer M; Spannagl M; Hedley P; Morris J; Russell J; Druka A; Marshall D; Bayer M; Swarbreck D; Sampath D; Ayling S; Febrer M; Caccamo M; Matsumoto T; Tanaka T; Sato K; Wise RP; Close TJ; Wannamaker S; Muehlbauer GJ; Stein N; Mayer KF; Waugh R; Steuernagel B; Schmutzer T; Mascher M; Scholz U; Taudien S; Platzer M; Sato K; Marshall D; Bayer M; Waugh R; Stein N; Mayer KF; Waugh R; Brown JW; Schulman A; Langridge P; Platzer M; Fincher GB; Muehlbauer GJ; Sato K; Close TJ; Wise RP; Stein N.
A review of the deterministic and diffusion approximations for stochastic chemical reaction networks
2018-01-01 Mozgunov, Pavel; Beccuti, Marco; Horvath, Andras; Jaki, Thomas; Sirovich, Roberta; Bibbona, Enrico*
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
A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression
2015-01-01 Fornari, Chiara; Balbo, Gianfranco; Halawani, Sami M; Ba-Rukab, Omar; Ahmad, Ab; Calogero, Raffaele A; Cordero, Francesca; Beccuti, Marco
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.
Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis
2015-01-01 Carrara, Matteo; Lum, Josephine; Cordero, Francesca; Beccuti, Marco; Poidinger, Michael; Donatelli, Susanna; Calogero, Raffaele; Zolezzi, Francesca
An Agent-Based Model to Support Infection Control Strategies at School
2022-01-01 Baccega Daniele, Pernice Simone, Terna Pietro, Castagno Paolo, Moirano Giovenale, Richiardi Lorenzo, Sereno Matteo, Rabellino Sergio, Maule Milena, Beccuti Marco
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.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| (Stochastic) Model Checking in GreatSPN | 2014 | E. Amparore;M. Beccuti;S. Donatelli | |
| 30 Years of GreatSPN | 2016 | Elvio G, Amparore; Gianfranco, Balbo; Marco, Beccuti; Susanna, Donatelli; Giuliana, Franceschinis | |
| A computational analysis of S-(2-succino)cysteine sites in proteins | 2016 | Miglio, Gianluca; Sabatino, Alessandro Damiano; Veglia, Eleonora; Giraudo, Maria Teresa; Beccuti, Marco; Cordero, Francesca | |
| A computational approach based on the colored Petri net formalism for studying multiple sclerosis | 2019 | Pernice S.; Pennisi M.; Romano G.; Maglione A.; Cutrupi S.; Pappalardo F.; Balbo G.; Beccuti M.; Cordero F.; Calogero R.A. | |
| A computational framework for modeling and studying pertussis epidemiology and vaccination | 2020 | Castagno P.; Pernice S.; Ghetti G.; Povero M.; Pradelli L.; Paolotti D.; Balbo G.; Sereno M.; Beccuti M. | |
| 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 mathematical-biological joint effort to investigate the tumor-initiating ability of cancer stem cells. | 2014 | Fornari C;Beccuti M;Lanzardo S;Conti L;Balbo G;Cavallo F;Calogero RA;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 new symbolic approach for network reliability analysis. | 2011 | M. Beccuti; S. Donatelli; G. Franceschinis; R. 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 physical, genetic and functional sequence assembly of the barley genome. | 2012 | Mayer KF; Waugh R; Langridge P; Close TJ; Wise RP; Graner A; Matsumoto T; Sato K; Schulman A; Muehlbauer GJ; Stein N; Ariyadasa R; Schulte D; Poursarebani N; Zhou R; Steuernagel B; Mascher M; Scholz U; Shi B; Langridge P; Madishetty K; Svensson JT; Bhat P; Moscou M; Resnik J; Close TJ; Muehlbauer GJ; Hedley P; Liu H; Morris J; Waugh R; Frenkel Z; Korol A; Bergès H; Graner A; Stein N; Steuernagel B; Scholz U; Taudien S; Felder M; Groth M; Platzer M; Stein N; Steuernagel B; Scholz U; Himmelbach A; Taudien S; Felder M; Platzer M; Lonardi S; Duma D; Alpert M; Cordero F; Beccuti M; Ciardo G; Ma Y; Wanamaker S; Close TJ; Stein N; Cattonaro F; Vendramin V; Scalabrin S; Radovic S; Wing R; Schulte D; Steuernagel B; Morgante M; Stein N; Waugh R; Nussbaumer T; Gundlach H; Martis M; Ariyadasa R; Poursarebani N; Steuernagel B; Scholz U; Wise RP; Poland J; Stein N; Mayer KF; Spannagl M; Pfeifer M; Gundlach H; Mayer KF; Gundlach H; Moisy C; Tanskanen J; Scalabrin S; Zuccolo A; Vendramin V; Morgante M; Mayer KF; Schulman A; Pfeifer M; Spannagl M; Hedley P; Morris J; Russell J; Druka A; Marshall D; Bayer M; Swarbreck D; Sampath D; Ayling S; Febrer M; Caccamo M; Matsumoto T; Tanaka T; Sato K; Wise RP; Close TJ; Wannamaker S; Muehlbauer GJ; Stein N; Mayer KF; Waugh R; Steuernagel B; Schmutzer T; Mascher M; Scholz U; Taudien S; Platzer M; Sato K; Marshall D; Bayer M; Waugh R; Stein N; Mayer KF; Waugh R; Brown JW; Schulman A; Langridge P; Platzer M; Fincher GB; Muehlbauer GJ; Sato K; Close TJ; Wise RP; Stein N. | |
| A review of the deterministic and diffusion approximations for stochastic chemical reaction networks | 2018 | Mozgunov, Pavel; Beccuti, Marco; Horvath, Andras; Jaki, Thomas; Sirovich, Roberta; Bibbona, Enrico* | |
| 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 | |
| A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression | 2015 | Fornari, Chiara; Balbo, Gianfranco; Halawani, Sami M; Ba-Rukab, Omar; Ahmad, Ab; Calogero, Raffaele A; Cordero, Francesca; Beccuti, Marco | |
| 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. | |
| Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis | 2015 | Carrara, Matteo; Lum, Josephine; Cordero, Francesca; Beccuti, Marco; Poidinger, Michael; Donatelli, Susanna; Calogero, Raffaele; Zolezzi, Francesca | |
| An Agent-Based Model to Support Infection Control Strategies at School | 2022 | Baccega Daniele, Pernice Simone, Terna Pietro, Castagno Paolo, Moirano Giovenale, Richiardi Lorenzo, Sereno Matteo, Rabellino Sergio, Maule Milena, Beccuti Marco | |
| 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. |