Luca Zanetti

According to our database, Luca Zanetti authored at least 17 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Epistemic and Non-epistemic Values in Earthquake Engineering.

Luca Zanetti, Daniele Chiffi, Lorenza Petrini

Sci. Eng. Ethics, June, 2023

For Better and for Worse. Abstractionism, Good Company, and Pluralism.

Andrea Sereni, Maria Paola Sforza Fogliani, Luca Zanetti

Rev. Symb. Log., March, 2023

2022

Geometric Bounds on the Fastest Mixing Markov Chain.

Sam Olesker-Taylor, Luca Zanetti

Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

2021

Grounding and auto-abstraction.

Luca Zanetti

Synth., 2021

2020

Random Walks on Randomly Evolving Graphs.

Leran Cai, Thomas Sauerwald, Luca Zanetti

Proceedings of the Structural Information and Communication Complexity, 2020

Hermitian matrices for clustering directed graphs: insights and applications.

Mihai Cucuringu, Huan Li, He Sun, Luca Zanetti

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019

Distributed Graph Clustering and Sparsification.

He Sun, Luca Zanetti

ACM Trans. Parallel Comput., 2019

Random Walks on Dynamic Graphs: Mixing Times, HittingTimes, and Return Probabilities.

Thomas Sauerwald, Luca Zanetti

CoRR, 2019

Random Walks on Dynamic Graphs: Mixing Times, Hitting Times, and Return Probabilities.

Thomas Sauerwald, Luca Zanetti

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Hermitian Laplacians and a Cheeger Inequality for the Max-2-Lin Problem.

Huan Li, He Sun, Luca Zanetti

Proceedings of the 27th Annual European Symposium on Algorithms, 2019

2018

Algorithms for partitioning well-clustered graphs.

Luca Zanetti

PhD thesis, 2018

2017

Partitioning Well-Clustered Graphs: Spectral Clustering Works!

Richard Peng, He Sun, Luca Zanetti

SIAM J. Comput., 2017

Distributed Graph Clustering by Load Balancing.

He Sun, Luca Zanetti

Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, 2017

2014

Partitioning Well-Clustered Graphs with k-Means and Heat Kernel.

Richard Peng, He Sun, Luca Zanetti

CoRR, 2014

2013

Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols.

Alessandro Armando, Roberto Carbone, Luca Zanetti

Proceedings of the Network and System Security - 7th International Conference, 2013

2011

Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services.

Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti

Scalable Comput. Pract. Exp., 2011

2010

WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications.

Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010