Marco Beccuti

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 38

Top Topics

Differential Equations

Biological Systems

Top Venues

Publications

Simone Alessandri, Maria L. Ratto, Sergio Rabellino, Gabriele Piacenti, Sandro Gepiro Contaldo, Simone Pernice, Marco Beccuti, Raffaele A. Calogero, Luca Alessandrì
CREDO: a friendly Customizable, REproducible, DOcker file generator for bioinformatics applications. BMC Bioinform. 25 (1) (2024)
Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Simone Pernice, Giuliana Franceschinis, Marzio Pennisi
From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models. ACM Trans. Model. Perform. Evaluation Comput. Syst. 9 (1) (2024)
Simone Pernice, Roberta Sirovich, Elena Grassi, Marco Viviani, Martina Ferri, Francesco Sassi, Luca Alessandrì, Dora Tortarolo, Raffaele A. Calogero, Livio Trusolino, Andrea Bertotti, Marco Beccuti, Martina Olivero, Francesca Cordero
CONNECTOR, fitting and clustering of longitudinal data to reveal a new risk stratification system. Bioinform. 39 (5) (2023)
Marco Beccuti, Antonio d'Acierno, Simone Donetti, Sandro Gepiro Contaldo, Paolo Romano, Giovanna Cristina Varese
ICT Infrastructure Supporting the Italian Research Infrastructure on Microbial Resources MIRRI-IT. CoRDI (2023)
Dora Tortarolo, Simone Pernice, Fabiana Clapero, Donatella Valdembri, Guido Serini, Federica Riccardo, Lidia Tarone, Chiara Enrico Bena, Carla Bosia, Sandro Gepiro Contaldo, Marco Beccuti, Marzio Pennisi, Francesca Cordero
OmniReprodubileCellAnalysis: a comprehensive toolbox for the analysis of cellular biology data. BIBM (2023)
Carlo Alberto Barbano, Marco Beccuti, Francesca Cordero, Desislav Nikolaev Ivanov, Nicola Licheri, Simone Pernice, Alberto Presta, Riccardo Renzulli, Marco Grangetto
Artificial intelligence methods for biomedical imaging and omics data. Ital-IA (2023)
Simone Avesani, Vincenzo Bonnici, Simone Pernice, Marco Beccuti, Rosalba Giugno
MODIMO: Workshop on Multi-Omics Data Integration for Modelling Biological Systems. CIKM (2023)
Simone Pernice, Alessandro Maglione, Dora Tortarolo, Roberta Sirovich, Marinella Clerico, Simona Rolla, Marco Beccuti, Francesca Cordero
A new computational workflow to guide personalized drug therapy. J. Biomed. Informatics 148 (2023)
Daniele Baccega, Simone Pernice, Pietro Terna, Paolo Castagno, Giovenale Moirano, Lorenzo Richiardi, Matteo Sereno, Sergio Rabellino, Milena Maria Maule, Marco Beccuti
An Agent-Based Model to Support Infection Control Strategies at School. J. Artif. Soc. Soc. Simul. 25 (3) (2022)
Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations. EPEW (2021)
Nicola Licheri, Elvio Amparone, Vincenzo Bonnici, Rosalba Giugno, Marco Beccuti
An Entropy Heuristic to Optimize Decision Diagrams for Index-driven Search in Biological Graph Databases. CIKM Workshops (2021)
Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice
Multiformalism modeling and simulation of immune system mechanisms. BIBM (2021)
Marco Beccuti, Vincenzo Bonnici, Rosalba Giugno
MODIMO: Workshop on Multi-Omics Data Integration for Modelling Biological Systems. CIKM (2021)
Nicola Licheri, Vincenzo Bonnici, Marco Beccuti, Rosalba Giugno
GRAPES-DD: exploiting decision diagrams for index-driven search in biological graph databases. BMC Bioinform. 22 (1) (2021)
Simone Pernice, Laura Follia, Gianfranco Balbo, Luciano Milanesi, Giulia Sartini, Niccoló Totis, Pietro Lió, Ivan Merelli, Francesca Cordero, Marco Beccuti
Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice. Fundam. Informaticae 171 (1-4) (2020)
Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero
Multiple Sclerosis disease: a computational approach for investigating its drug interactions. CoRR (2020)
Simone Pernice, Laura Follia, Alessandro Maglione, Marzio Pennisi, Francesco Pappalardo, Francesco Novelli, Marinella Clerico, Marco Beccuti, Francesca Cordero, Simona Rolla
Computational modeling of the immune response in multiple sclerosis using epimod framework. BMC Bioinform. (17) (2020)
Paolo Castagno, Simone Pernice, Gianni Ghetti, Massimiliano Povero, Lorenzo Pradelli, Daniela Paolotti, Gianfranco Balbo, Matteo Sereno, Marco Beccuti
A computational framework for modeling and studying pertussis epidemiology and vaccination. BMC Bioinform. (8) (2020)
Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero
Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions. CIBB (2019)
Simone Pernice, Greta Romano, Giulia Russo, Marco Beccuti, Marzio Pennisi, Francesco Pappalardo
Exploiting Stochastic Petri Net formalism to capture the Relapsing Remitting Multiple Sclerosis variability under Daclizumab administration. BIBM (2019)
Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Laura Follia, Simone Pernice
A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models. MASCOTS (2019)
Simone Pernice, Marzio Pennisi, Greta Romano, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Gianfranco Balbo, Marco Beccuti, Francesca Cordero, Raffaele A. Calogero
A computational approach based on the colored Petri net formalism for studying multiple sclerosis. BMC Bioinform. (6) (2019)
Elvio Gilberto Amparore, Marco Beccuti, Marco Botta, Susanna Donatelli, Fabio Tango
Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems. ATT@IJCAI (2018)
Neha Kulkarni, Luca Alessandrì, Riccardo Panero, Maddalena Arigoni, Martina Olivero, Giulio Ferrero, Francesca Cordero, Marco Beccuti, Raffaele A. Calogero
Reproducible bioinformatics project: a community for reproducible bioinformatics analysis pipelines. BMC Bioinform. (10) (2018)
Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. EPEW (2018)
Niccoló Totis, Andrea Tangherloni, Marco Beccuti, Paolo Cazzaniga, Marco S. Nobile, Daniela Besozzi, Marzio Pennisi, Francesco Pappalardo
Efficient and Settings-Free Calibration of Detailed Kinetic Metabolic Models with Enzyme Isoforms Characterization. CIBB (2018)
Simone Pernice, Marco Beccuti, Pietro Do', Marzio Pennisi, Francesco Pappalardo
Estimating Daclizumab effects in Multiple Sclerosis using Stochastic Symmetric Nets. BIBM (2018)
Marco Beccuti, Francesca Cordero, Maddalena Arigoni, Riccardo Panero, Elvio Gilberto Amparore, Susanna Donatelli, Raffaele A. Calogero
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer. Bioinform. 34 (5) (2018)
Marco Beccuti, Paolo Cazzaniga, Marzio Pennisi, Daniela Besozzi, Marco S. Nobile, Simone Pernice, Giulia Russo, Andrea Tangherloni, Francesco Pappalardo
GPU Accelerated Analysis of Treg-Teff Cross Regulation in Relapsing-Remitting Multiple Sclerosis. Euro-Par Workshops (2018)
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. ATVA (2017)
Marco Beccuti, Elisa Genuardi, Greta Romano, Luigia Monitillo, Daniela Barbero, Mario Boccadoro, Marco Ladetto, Raffaele A. Calogero, Simone Ferrero, Francesca Cordero
HashClone: a new tool to quantify the minimal residual disease in B-cell lymphoma from deep sequencing data. BMC Bioinform. 18 (1) (2017)
Paolo Ballarini, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Jeremy Sproston
Analysis of Timed Properties Using the Jump-Diffusion Approximation. EPEW (2017)
Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
Decision Diagrams for Petri Nets: Which Variable Ordering? PNSE @ Petri Nets (2017)
Giorgia Chivassa, Chiara Fornari, Roberta Sirovich, Marzio Pennisi, Marco Beccuti, Francesca Cordero
A mathematical model to study breast cancer growth. BIBM (2017)
Niccoló Totis, Laura Follia, Chiara Riganti, Francesco Novelli, Francesca Cordero, Marco Beccuti
Overcoming the lack of kinetic information in biochemical reactions networks. SIGMETRICS Perform. Evaluation Rev. 44 (4) (2017)
Niccoló Totis, Marco Beccuti, Francesca Cordero, Laura Follia, Chiara Riganti, Francesco Novelli
Dealing with indetermination in biochemical networks. VALUETOOLS (2016)
Marco Beccuti, Chiara Fornari, Giuliana Franceschinis, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo
From Symmetric Nets to Differential Equations exploiting Model Symmetries. Comput. J. 58 (1) (2015)
Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis
Markov Decision Petri Nets with Uncertainty. EPEW (2015)
Chiara Fornari, Gianfranco Balbo, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Raffaele A. Calogero, Francesca Cordero, Marco Beccuti
A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression. BMC Syst. Biol. 9 (S-3) (2015)
Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich
Approximate analysis of biological systems by hybrid switching jump diffusion. Theor. Comput. Sci. 587 (2015)
Matteo Carrara, Josephine Lum, Francesca Cordero, Marco Beccuti, Michael Poidinger, Susanna Donatelli, Raffaele A. Calogero, Francesca Zolezzi
Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis. BMC Bioinform. 16 (S-9) (2015)
Denise Duma, Francesca Cordero, Marco Beccuti, Gianfranco Ciardo, Timothy J. Close, Stefano Lonardi
Scrible: Ultra-Accurate Error-Correction of Pooled Sequenced Reads. WABI (2015)
Marco Beccuti
Mathematical models on cancer progression. BioPPN@Petri Nets (2014)
Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
Analysis of Petri Net Models through Stochastic Differential Equations. Petri Nets (2014)
Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich
Approximate analysis of biological systems by hybrid switching jump diffusion. CoRR (2014)
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
(Stochastic) Model Checking in GreatSPN. Petri Nets (2014)
Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. Comput. J. 57 (12) (2014)
Elvio Gilberto Amparore, Marco Beccuti, Simona Collina, Flavia De Simone, Susanna Donatelli, Fabio Tango
Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving. ICINCO (2) (2014)
Marco Beccuti, Matteo Carrara, Francesca Cordero, Fulvio Lazzarato, Susanna Donatelli, Francesca Nadalin, Alberto Policriti, Raffaele A. Calogero
Chimera: a Bioconductor package for secondary analysis of fusion products. Bioinform. 30 (24) (2014)
Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
Analysis of Petri Net Models through Stochastic Differential Equations. CoRR (2014)
Stefano Lonardi, Denisa Duma, Matthew Alpert, Francesca Cordero, Marco Beccuti, Prasanna R. Bhat, Yonghui Wu, Gianfranco Ciardo, Burair Alsaihati, Yaqin Ma, Steve Wanamaker, Josh Resnik, Serdar Bozdag, Ming-Cheng Luo, Timothy J. Close
Combinatorial Pooling Enables Selective Sequencing of the Barley Gene Space. PLoS Comput. Biol. 9 (4) (2013)
Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR (2013)
Francesca Cordero, Marco Beccuti, Chiara Fornari, Stefania Lanzardo, Laura Conti, Federica Cavallo, Gianfranco Balbo, Raffaele A. Calogero
Multi-level model for the investigation of oncoantigen-driven vaccination effect. BMC Bioinform. 14 (S-6) (2013)
Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets (2013)
Matteo Carrara, Marco Beccuti, Federica Cavallo, Susanna Donatelli, Fulvio Lazzarato, Francesca Cordero, Raffaele A. Calogero
State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? BMC Bioinform. 14 (S-7) (2013)
Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. SIGSIM-PADS (2013)
Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis
Quantification of dependencies between electrical and information infrastructures. Int. J. Crit. Infrastructure Prot. 5 (1) (2012)
Marco Beccuti, Giuliana Franceschinis
Efficient simulation of stochastic well-formed nets through symmetry exploitation. WSC (2012)
Marco Beccuti, Andrea Bobbio, Giuliana Franceschinis, Roberta Terruggia
A new symbolic approach for network reliability analysis. DSN (2012)
Marco Beccuti, Massimiliano De Pierro, András Horváth, Ádám Horváth, Károly Farkas
A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks. VTC Spring (2011)
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Computing first passage time distributions in stochastic well-formed nets. ICPE (2011)
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
First Passage Time Computation in Tagged GSPNs with Queue Places. Comput. J. 54 (5) (2011)
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Probe Automata for Passage Time Specification. QEST (2011)
Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Lumping partially symmetrical stochastic models. Perform. Evaluation 68 (1) (2011)
Stefano Lonardi, Denisa Duma, Matthew Alpert, Francesca Cordero, Marco Beccuti, Prasanna Bhat, Yonghui Wu, Gianfranco Ciardo, Burair Alsaihati, Yaqin Ma, Steve Wanamaker, Josh Resnik, Timothy J. Close
Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space CoRR (2011)
Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner
GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets (2010)
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Stochastic Petri Nets Sensitivity to Token Scheduling Policies. OR (2010)
Marco Beccuti, V. Fragnelli, Giuliana Franceschinis, S. Villa
Dynamic Simulations of Kidney Exchanges. OR (2010)
Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad
Parametric NdRFT for the derivation of optimal repair strategies. DSN (2009)
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis
Multiple abstraction levels in performance analysis of WSN monitoring systems. VALUETOOLS (2009)
Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani
Modeling Clinical Guidelines through Petri Nets. AIME (2009)
Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Evaluation Rev. 36 (4) (2009)
Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis
From partially to fully lumped Markov chains in stochastic well formed Petri nets. VALUETOOLS (2009)
Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. CRITIS (2008)
Souheib Baarir, Marco Beccuti, Giuliana Franceschinis
New Solvers for Asymmetric Systems in GreatSPN. QEST (2008)
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Non deterministic repairable fault trees for computing optimal repair strategy. VALUETOOLS (2008)
Marco Beccuti, Giuliana Franceschinis, Serge Haddad
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN (2007)
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
A framework to design and solve Markov Decision Well-formed Net models. QEST (2007)
Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie
Efficient lumpability check in partially symmetric systems. QEST (2006)
Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux
Extended SWN Solvers in GreatSPN. QEST (2004)