Publications

Articles

International Conferences: 1

2020

- Miguel Matos and Paolo Romano and Shady Alaaeldin Issa and Miguel Viegas and Pedro Luís Galvão Raminhas and Nuno Machado, Exploiting Symbolic Execution to Accelerate Deterministic Databases, presented at International Conference on Distributed Computing Systems, Nov. 2020 [bibTex]