Books and Chapters

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