Luca Zanetti

ORCID

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 18

Top Venues

University of Bristol, UK (PHD)

Education History

University of Bristol, UK

PHD

Publications

Andrea Sereni, Maria Paola Sforza Fogliani, Luca Zanetti
For Better and for Worse. Abstractionism, Good Company, and Pluralism. Rev. Symb. Log. 16 (1) (2023)
Luca Zanetti, Daniele Chiffi, Lorenza Petrini
Epistemic and Non-epistemic Values in Earthquake Engineering. Sci. Eng. Ethics 29 (3) (2023)
Sam Olesker-Taylor, Luca Zanetti
Geometric Bounds on the Fastest Mixing Markov Chain. ITCS (2022)
Sam Olesker-Taylor, Luca Zanetti
Geometric Bounds on the Fastest Mixing Markov Chain. CoRR (2021)
Luca Zanetti
Grounding and auto-abstraction. Synth. 198 (11) (2021)
Leran Cai, Thomas Sauerwald, Luca Zanetti
Random walks on randomly evolving graphs. CoRR (2020)
Leran Cai, Thomas Sauerwald, Luca Zanetti
Random Walks on Randomly Evolving Graphs. SIROCCO (2020)
Mihai Cucuringu, Huan Li, He Sun, Luca Zanetti
Hermitian matrices for clustering directed graphs: insights and applications. AISTATS (2020)
Thomas Sauerwald, Luca Zanetti
Random Walks on Dynamic Graphs: Mixing Times, HittingTimes, and Return Probabilities. CoRR (2019)
Mihai Cucuringu, Huan Li, He Sun, Luca Zanetti
Hermitian matrices for clustering directed graphs: insights and applications. CoRR (2019)
Thomas Sauerwald, Luca Zanetti
Random Walks on Dynamic Graphs: Mixing Times, Hitting Times, and Return Probabilities. ICALP (2019)
Huan Li, He Sun, Luca Zanetti
Hermitian Laplacians and a Cheeger Inequality for the Max-2-Lin Problem. ESA (2019)
He Sun, Luca Zanetti
Distributed Graph Clustering and Sparsification. ACM Trans. Parallel Comput. 6 (3) (2019)
Huan Li, He Sun, Luca Zanetti
Hermitian Laplacians and a Cheeger inequality for the Max-2-Lin problem. CoRR (2018)
Richard Peng, He Sun, Luca Zanetti
Partitioning Well-Clustered Graphs: Spectral Clustering Works! SIAM J. Comput. 46 (2) (2017)
He Sun, Luca Zanetti
Distributed Graph Clustering by Load Balancing. SPAA (2017)
He Sun, Luca Zanetti
Distributed Graph Clustering and Sparsification. CoRR (2017)
Richard Peng, He Sun, Luca Zanetti
Partitioning Well-Clustered Graphs: Spectral Clustering Works! COLT (2015)
Richard Peng, He Sun, Luca Zanetti
Partitioning Well-Clustered Graphs with k-Means and Heat Kernel. CoRR (2014)
Alessandro Armando, Roberto Carbone, Luca Zanetti
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols. NSS (2013)
Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services. Scalable Comput. Pract. Exp. 12 (1) (2011)
Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. SYNASC (2010)

Luca Zanetti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luca Zanetti