CISE3: Verificação de aplicações com consistência fraca em Why3. - Filipe Meirim; Mário Pereira; Carla Ferreira 001 (CoRR, 2019)

CISE3: Verifying Weakly Consistent Applications with Why3. - Filipe Meirim; Mário Pereira; Carla Ferreira 001 (CoRR, 2020)

A coordination-free, convergent, and safe replicated tree. - Sreeja Nair 001; Filipe Meirim; Mário Pereira; Carla Ferreira 001; Marc Shapiro 001 (CoRR, 2021)