Books and Chapters
2018
Nuno Preguiça, Carlos Baquero, and Marc Shapiro. Conflict-free Replicated Data Types (CRDTs). Springer. Chapter in Encyclopedia of Big Data Technologies. 2018. DOI: 978-3-319-63962-8
Veloso, B., Malheiro, B., Burguillo, J. C., Foss, J., & Gama, J. Personalised dynamic viewer profiling for streamed data. In Á. Rocha, H. Adeli, L. P. Reis, & S. Costanzo (Eds.). Trends and advances in information systems and technologies. 501–510. Cham: Springer International Publishing. 2018
Fabiola Pereira, Shazia Tabassum, Sandra de Amo, and João Gama. Processing evolving social networks for change detection based on centrality measures. In Learning from data streams in evolving environments. Cham: Springer. 2018
2017
João M. P. Cardoso, José Gabriel Coutinho, and Pedro C. Diniz. Embedded Computing for High Performance: Efficient Mapping of Computations Using Customization. Code Transformations and Compilation. Morgan Kaufmann (Elsevier). 2017
Vasco T. Vasconcelos, Francisco Martins, Eduardo R. B. Marques, Nobuko Yoshida, Nicholas Ng. Deductive Verification of MPI Protocols. In Behavioural Types: from Theory to Tools. 16. 353-372. River Publishers. 2017