Alessandro Bruni
From MaRDI portal
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 |
|---|---|---|
| Formalizing concentration inequalities in Rocq: infrastructure and automation | 2026-09-01 | Paper |
| Robust Mean estimation by all means (short paper) | 2026-02-10 | Paper |
| Taming differentiable logics with Coq formalisation | 2026-02-10 | Paper |
| Skolemisation for intuitionistic linear logic | 2025-01-31 | Paper |
| Automated analysis of accountability | 2022-11-02 | Paper |
| Security protocols as choreographies | 2022-07-13 | Paper |
| Efficient unfolding of contextual Petri nets Theoretical Computer Science | 2012-08-13 | Paper |
| On the computation of McMillan's prefix for contextual nets and graph grammars Lecture Notes in Computer Science | 2010-10-04 | Paper |
Research outcomes over time
This page was built for person: Alessandro Bruni
