Mirco Tribastone -

Registered user since Sat 31 Oct 2015

Name:Mirco Tribastone

Affiliation:IMT Institute for Advanced Studies Lucca, Italy

Contributions

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