Non-Blocking Concurrent Imperative Programming with Session Types. - Miguel E. P. Silva; Mário Florido; Frank Pfenning (LINEARITY, 2016)

A Survey on Subgraph Counting: Concepts, Algorithms, and Applications to Network Motifs and Graphlets. - Pedro Ribeiro 004; Pedro Paredes 002; Miguel E. P. Silva; David Aparício; Fernando M. A. Silva (ACM Comput. Surv., 2022)

Predictive Maintenance, Adversarial Autoencoders and Explainability. - Miguel E. P. Silva; Bruno Veloso; João Gama 001 (ECML/PKDD (7), 2023)

Comparing directed networks via denoising graphlet distributions. - Miguel E. P. Silva; Robert E. Gaunt; Luis Ospina-Forero; Caroline Jay; Thomas House (J. Complex Networks, 2023)

Tracking the structure and sentiment of vaccination discussions on Mumsnet. - Miguel E. P. Silva; Rigina Skeva; Thomas House; Caroline Jay (Soc. Netw. Anal. Min., 2023)

Studying and Improving Graph Neural Network-based Motif Estimation. - Pedro C. Vieira; Miguel E. P. Silva; Pedro Manuel Pinto Ribeiro (CoRR, 2025)