Marco Beccuti
From MaRDI portal
Person:2348025
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Gradient-based variable ordering of decision diagrams for systems with structural units Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
| Stochastic Petri nets sensitivity to token scheduling policies Operations Research Proceedings | 2019-09-13 | Paper |
| A review of the deterministic and diffusion approximations for stochastic chemical reaction networks | 2017-11-07 | Paper |
| Approximate analysis of biological systems by hybrid switching jump diffusion Theoretical Computer Science | 2015-06-10 | Paper |
| Analysis of Petri net models through stochastic differential equations Application and Theory of Petri Nets and Concurrency | 2014-07-08 | Paper |
| Expressing and computing passage time measures of GSPN models with HASL Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Research outcomes over time
This page was built for person: Marco Beccuti
