BECCUTI, Marco

BECCUTI, Marco  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 130 (tempo di esecuzione: 0.023 secondi).
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.