Luca Zanetti

Orcid: 0000-0002-4667-2764

According to our database1, Luca Zanetti authored at least 18 papers between 2010 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An iterative spectral algorithm for digraph clustering.
J. Complex Networks, February, 2024

2023
Epistemic and Non-epistemic Values in Earthquake Engineering.
Sci. Eng. Ethics, June, 2023

For Better and for Worse. Abstractionism, Good Company, and Pluralism.
Rev. Symb. Log., March, 2023

2022
Geometric Bounds on the Fastest Mixing Markov Chain.
Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

2021
Grounding and auto-abstraction.
Synth., 2021

2020
Random Walks on Randomly Evolving Graphs.
Proceedings of the Structural Information and Communication Complexity, 2020

Hermitian matrices for clustering directed graphs: insights and applications.
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019
Distributed Graph Clustering and Sparsification.
ACM Trans. Parallel Comput., 2019

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

Random Walks on Dynamic Graphs: Mixing Times, Hitting Times, and Return Probabilities.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Hermitian Laplacians and a Cheeger Inequality for the Max-2-Lin Problem.
Proceedings of the 27th Annual European Symposium on Algorithms, 2019

2018
Algorithms for partitioning well-clustered graphs.
PhD thesis, 2018

2017
Partitioning Well-Clustered Graphs: Spectral Clustering Works!
SIAM J. Comput., 2017

Distributed Graph Clustering by Load Balancing.
Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, 2017

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

2013
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols.
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.
Scalable Comput. Pract. Exp., 2011

2010
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010


  Loading...