CITI - Centro de Informática e Tecnologias da Informação

A data reduction approach using hypergraphs to visualize communities and brokers in social networks
Cavique, L., Marques, N. C. & Gonçalves, A., 1 Dec 2018, In: Social Network Analysis and Mining. 8, 1, 60.
Research output: Contribution to journal › Review article › peer-review
1 Citation (Scopus)
Interactive 3D content insertion in images for multimedia applications
Nóbrega, R. & Correia, N., 2017, In: Multimedia Tools And Applications. 76, p. 163-197
Research output: Contribution to journal › Article › peer-review
7 Citations (Scopus)
Revisiting concurrent separation logic
Soares, P., Ravara, A. & Melo de Sousa, S., Jun 2017, In: Journal of Logical and Algebraic Methods in Programming. 89, p. 41-66 26 p.
Research output: Contribution to journal › Article › peer-review

Innovations in Systems and Software Engineering (Journal)
Miguel Carlos Pacheco Afonso Goulão (Guest editor)
1 Jan 2014
Activity: Publication peer-review and editorial work › Editorial activity
International Journal of Creative Interfaces and Computer Graphics (IJCICG) (Journal)
Teresa Isabel Lopes Romão (Guest editor)
2013
Activity: Publication peer-review and editorial work › Editorial activity
International Journal Of Arts And Technology (Journal)
Nuno Manuel Robalo Correia (Editor)
1 Jan 2011
Activity: Publication peer-review and editorial work › Editorial activity

Organisation profile