Projects
Filter Projects: 2018 - 2021
MIXEDUP
From 2018 to 2020, financed by FCT
CoMEDy
From 2016 to 2019, financed by FCT
ERGODiC
Formal methods for the analysis of modular gEnetic ReGulatOry network DynamiCs
From 2016 to 2019, financed by FCT (PTDC/EEICTP/2914/2014)
CANTROL
From 2016 to 2019, financed by FCT
IFCT
Towards a semi-automatic model revision of logical regulatory network
From 2015 to 2018, financed by FCT