conf.researchr.org / Mirco Tribastone
Mirco Tribastone

Registered user since Sat 31 Oct 2015

Name: Mirco Tribastone

Affiliation: IMT Institute for Advanced Studies Lucca, Italy

Contributions

POPL 2020Committee Member in Program Committee within the Research Papers-track
HSB 2019Author of Fixed-point Computation of Equilibria in Biochemical Regulatory Networks within the HSB-track
QAPL 2019Steering Committee Member in Steering Committee within the QAPL-track
ETAPS 2019Author of Markovian equivalences for biochemical reaction networks within the Posters-track
POPL 2017ERC member in External Review Committee within the POPL-track
POPL 2016Author of Symbolic Computation of Differential Equivalences within the Research Papers-track