activity
20112020
most citedModel Checking Contest @ Petri Nets, Report on the 2013 edition

9 citations · 17 across the 5 of their papers we have counts for

collaborators

6 papers

q-bio.QM2020

Multiple Sclerosis disease: a computational approach for investigating its drug interactions

Simone Pernice, Marco Beccuti, Greta Romano +10

Multiple Sclerosis (MS) is a chronic and potentially highly disabling disease that can cause permanent damage and deterioration of the central nervous system. In Europe it is the l…

math.PR2017

A review of the deterministic and diffusion approximations for stochastic chemical reaction networks

Pavel Mozgunov, Marco Beccuti, Andras Horvath +3

This work reviews deterministic and diffusion approximations of the stochastic chemical reaction networks and explains their applications. We discuss the added value the diffusion…

cs.PF2014

Approximate analysis of biological systems by hybrid switching jump diffusion

Alessio Angius, Gianfranco Balbo, Marco Beccuti +3

In this paper we consider large state space continuous time Markov chains (MCs) arising in the field of systems biology. For density dependent families of MCs that represent the in…

cs.PF2014★ 5 cited

Analysis of Petri Net Models through Stochastic Differential Equations

Marco Beccuti, Enrico Bibbona, Andras Horvath +3

It is well known, mainly because of the work of Kurtz, that density dependent Markov chains can be approximated by sets of ordinary differential equations (ODEs) when their indexin…

cs.SE2013★ 9 cited

Model Checking Contest @ Petri Nets, Report on the 2013 edition

Fabrice Kordon, Alban Linard, Marco Beccuti +14

This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of…

q-bio.GN2011★ 3 cited

Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space

Stefano Lonardi, Denisa Duma, Matthew Alpert +10

We propose a new sequencing protocol that combines recent advances in combinatorial pooling design and second-generation sequencing technology to efficiently approach de novo selec…