WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. - Michele Barletta; Alberto Calvi; Silvio Ranise; Luca Viganò 001; Luca Zanetti (SYNASC, 2010)

Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services. - Michele Barletta; Alberto Calvi; Silvio Ranise; Luca Viganò 001; Luca Zanetti (Scalable Comput. Pract. Exp., 2011)

Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols. - Alessandro Armando; Roberto Carbone; Luca Zanetti (NSS, 2013)

Partitioning Well-Clustered Graphs with k-Means and Heat Kernel. - Richard Peng; He Sun 001; Luca Zanetti (CoRR, 2014)

Distributed Graph Clustering by Load Balancing. - He Sun 001; Luca Zanetti (SPAA, 2017)

Partitioning Well-Clustered Graphs: Spectral Clustering Works! - Richard Peng; He Sun 001; Luca Zanetti (SIAM J. Comput., 2017)

Algorithms for partitioning well-clustered graphs. - Luca Zanetti (2018)

Hermitian Laplacians and a Cheeger Inequality for the Max-2-Lin Problem. - Huan Li 002; He Sun 001; Luca Zanetti (ESA, 2019)

Random Walks on Dynamic Graphs: Mixing Times, Hitting Times, and Return Probabilities. - Thomas Sauerwald; Luca Zanetti (ICALP, 2019)

Random Walks on Dynamic Graphs: Mixing Times, HittingTimes, and Return Probabilities. - Thomas Sauerwald; Luca Zanetti (CoRR, 2019)

Distributed Graph Clustering and Sparsification. - He Sun 001; Luca Zanetti (ACM Trans. Parallel Comput., 2019)

Hermitian matrices for clustering directed graphs: insights and applications. - Mihai Cucuringu; Huan Li 002; He Sun 001; Luca Zanetti (AISTATS, 2020)

Random Walks on Randomly Evolving Graphs. - Leran Cai; Thomas Sauerwald; Luca Zanetti (SIROCCO, 2020)

Grounding and auto-abstraction. - Luca Zanetti (Synth., 2021)

Geometric Bounds on the Fastest Mixing Markov Chain. - Sam Olesker-Taylor; Luca Zanetti (ITCS, 2022)

For Better and for Worse. Abstractionism, Good Company, and Pluralism. - Andrea Sereni; Maria Paola Sforza Fogliani; Luca Zanetti (Rev. Symb. Log., 2023)

Epistemic and Non-epistemic Values in Earthquake Engineering. - Luca Zanetti; Daniele Chiffi; Lorenza Petrini (Sci. Eng. Ethics, 2023)

An Analysis of Elo Rating Systems via Markov Chains. - Sam Olesker-Taylor; Luca Zanetti (NeurIPS, 2024)

Cycle-Free Polytopal Mesh Sweeping for Boltzmann Transport. - Ansar Calloo; Matthew Evans; Henry Lockyer; François Madiot; Tristan Pryer; Luca Zanetti (CoRR, 2024)

An iterative spectral algorithm for digraph clustering. - James Martin; Tim Rogers; Luca Zanetti (J. Complex Networks, 2024)

Wireless Network Topology Inference: A Markov Chains Approach. - James Martin; Tristan Pryer; Luca Zanetti (IEEE Open J. Commun. Soc., 2025)

Percolation and localisation: Sub-leading eigenvalues of the nonbacktracking matrix. - James Martin; Tim Rogers; Luca Zanetti (CoRR, 2025)