Luca Zanetti

35 papers A* 3A 3B 3Misc 1Journal 24
YearRankTypeTitle / Venue / Authors
2026 J jnl
Cycle-free polytopal mesh sweeping for Boltzmann transport.
Numer. Algorithms
Ansar Calloo, Matthew Evans, Henry Lockyer, François Madiot, Tristan Pryer, Luca Zanetti
2025 J jnl
An Improved and Generalised Analysis for Spectral Clustering.
CoRR
George Tyler, Luca Zanetti
2025 J jnl
An iterative spectral algorithm for digraph clustering.
CoRR
James Martin, Tim Rogers, Luca Zanetti
2025 J jnl
Emerging Locomotion Behavior by Maximizing Entropy-Based Information Metrics.
IEEE Robotics Autom. Lett.
Enrica Zereik, Luca Zanetti, Fabio Bonsignorio
2025 J jnl
Hierarchical clustering for joint replenishment: an application to spare parts.
Int. J. Prod. Res.
Francesco Lolli, Mohamed Zied Babai, Antonio Maria Coruzzolo, Luca Zanetti
2025 J jnl
Percolation and localisation: Sub-leading eigenvalues of the nonbacktracking matrix.
CoRR
James Martin, Tim Rogers, Luca Zanetti
2025 J jnl
Percolation and localization: sub-leading eigenvalues of the nonbacktracking matrix.
J. Complex Networks
James Martin, Tim Rogers, Luca Zanetti
2025 J jnl
Wireless Network Topology Inference: A Markov Chains Approach.
CoRR
James Martin, Tristan Pryer, Luca Zanetti
2025 J jnl
Wireless Network Topology Inference: A Markov Chains Approach.
IEEE Open J. Commun. Soc.
James Martin, Tristan Pryer, Luca Zanetti
2024 A* conf
An Analysis of Elo Rating Systems via Markov Chains.
NeurIPS
Sam Olesker-Taylor, Luca Zanetti
2024 J jnl
An iterative spectral algorithm for digraph clustering.
J. Complex Networks
James Martin, Tim Rogers, Luca Zanetti
2024 J jnl
Cycle-Free Polytopal Mesh Sweeping for Boltzmann Transport.
CoRR
Ansar Calloo, Matthew Evans, Henry Lockyer, François Madiot, Tristan Pryer, Luca Zanetti
2023 J jnl
Epistemic and Non-epistemic Values in Earthquake Engineering.
Sci. Eng. Ethics
Luca Zanetti, Daniele Chiffi, Lorenza Petrini
2023 J jnl
For Better and for Worse. Abstractionism, Good Company, and Pluralism.
Rev. Symb. Log.
Andrea Sereni, Maria Paola Sforza Fogliani, Luca Zanetti
2022 A conf
Geometric Bounds on the Fastest Mixing Markov Chain.
ITCS
Sam Olesker-Taylor, Luca Zanetti
2021 J jnl
Geometric Bounds on the Fastest Mixing Markov Chain.
CoRR
Sam Olesker-Taylor, Luca Zanetti
2021 J jnl
Grounding and auto-abstraction.
Synth.
Luca Zanetti
2020 A conf
Hermitian matrices for clustering directed graphs: insights and applications.
AISTATS
Mihai Cucuringu, Huan Li, He Sun, Luca Zanetti
2020 B conf
Random Walks on Randomly Evolving Graphs.
SIROCCO
Leran Cai, Thomas Sauerwald, Luca Zanetti
2020 J jnl
Random walks on randomly evolving graphs.
CoRR
Leran Cai, Thomas Sauerwald, Luca Zanetti
2019 J jnl
Distributed Graph Clustering and Sparsification.
ACM Trans. Parallel Comput.
He Sun, Luca Zanetti
2019 A conf
Hermitian Laplacians and a Cheeger Inequality for the Max-2-Lin Problem.
ESA
Huan Li, He Sun, Luca Zanetti
2019 J jnl
Hermitian matrices for clustering directed graphs: insights and applications.
CoRR
Mihai Cucuringu, Huan Li, He Sun, Luca Zanetti
2019 A* conf
Random Walks on Dynamic Graphs: Mixing Times, Hitting Times, and Return Probabilities.
ICALP
Thomas Sauerwald, Luca Zanetti
2019 J jnl
Random Walks on Dynamic Graphs: Mixing Times, HittingTimes, and Return Probabilities.
CoRR
Thomas Sauerwald, Luca Zanetti
2018 — —
Algorithms for partitioning well-clustered graphs.
Luca Zanetti
2018 J jnl
Hermitian Laplacians and a Cheeger inequality for the Max-2-Lin problem.
CoRR
Huan Li, He Sun, Luca Zanetti
2017 J jnl
Distributed Graph Clustering and Sparsification.
CoRR
He Sun, Luca Zanetti
2017 B conf
Distributed Graph Clustering by Load Balancing.
SPAA
He Sun, Luca Zanetti
2017 J jnl
Partitioning Well-Clustered Graphs: Spectral Clustering Works!
SIAM J. Comput.
Richard Peng, He Sun, Luca Zanetti
2015 A* conf
Partitioning Well-Clustered Graphs: Spectral Clustering Works!
COLT
Richard Peng, He Sun, Luca Zanetti
2014 J jnl
Partitioning Well-Clustered Graphs with k-Means and Heat Kernel.
CoRR
Richard Peng, He Sun, Luca Zanetti
2013 B conf
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols.
NSS
Alessandro Armando, Roberto Carbone, Luca Zanetti
2011 J jnl
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services.
Scalable Comput. Pract. Exp.
Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti
2010 Misc conf
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications.
SYNASC
Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti