Research output per year
Research output per year
Search results
-
2018
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) -
2014
Linear logical relations and observational equivalences for session-based concurrency
Pérez, J. A., Caires, L., Pfenning, F. & Toninho, B., 2014, In: Information and Computation. 239, p. 254-302 49 p.Research output: Contribution to journal › Review article › peer-review