Giorgio Delzanno

Cited by

	All	Since 2017
Citations	2980	641
h-index	30	15
i10-index	66	22

220

110

165

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202215 13 3 37 59 66 99 81 163 102 94 168 134 163 138 110 160 174 154 150 204 116 127 107 95 158 38

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Maurizio MartelliUniversity of GenovaVerified email at unige.it
Ahmed RezineLinköping UniversityVerified email at liu.se
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it
Giovanna GuerriniUniversità di GenovaVerified email at unige.it
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Floriano ZiniFree University of Bozen-BolzanoVerified email at unibz.it
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Marco MontaliFull Professor, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaVerified email at unive.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Luigi LiquoriDirecteur de Recherche INRIAVerified email at inria.fr
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Bianca FedericiUniversity of Genova, ItalyVerified email at unige.it
Tevfik BultanProfessor of Computer Science, University of California, Santa BarbaraVerified email at cs.ucsb.edu

Giorgio Delzanno

Associate Professor, Università di Genova

Verified email at unige.it

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Model checking in CLP G Delzanno, A Podelski International Conference on Tools and Algorithms for the Construction and …, 1999	238	1999
Automatic verification of parameterized cache coherence protocols G Delzanno International Conference on Computer Aided Verification, 53-68, 2000	218	2000
Regular model checking without transducers (on efficient verification of parameterized systems) PA Abdulla, G Delzanno, NB Henda, A Rezine International Conference on Tools and Algorithms for the Construction and …, 2007	120	2007
Constraint-based deductive model checking G Delzanno, A Podelski International Journal on Software Tools for Technology Transfer 3 (3), 250-270, 2001	113	2001
Towards the automated verification of multithreaded Java programs G Delzanno, JF Raskin, LV Begin International Conference on Tools and Algorithms for the Construction and …, 2002	112	2002
Parameterized verification of ad hoc networks G Delzanno, A Sangnier, G Zavattaro International Conference on Concurrency Theory, 313-327, 2010	110	2010
Constraint-based verification of parameterized cache coherence protocols G Delzanno Formal Methods in System Design 23 (3), 257-301, 2003	110	2003
Parameterized verification of infinite-state processes with global conditions PA Abdulla, G Delzanno, A Rezine International Conference on Computer Aided Verification, 145-157, 2007	96	2007
Constraint-based analysis of broadcast protocols G Delzanno, A Podelski, J Esparza International Workshop on Computer Science Logic, 50-66, 1999	67	1999
Automatic verification of time sensitive cryptographic protocols G Delzanno, P Ganty International Conference on Tools and Algorithms for the Construction and …, 2004	63	2004
Parameterized verification through view abstraction P Abdulla, F Haziza, L Holík International Journal on Software Tools for Technology Transfer 18 (5), 495-516, 2016	58	2016
On the power of cliques in the parameterized verification of ad hoc networks G Delzanno, A Sangnier, G Zavattaro International Conference on Foundations of Software Science and …, 2011	58	2011
On the complexity of parameterized reachability in reconfigurable broadcast networks G Delzanno, A Sangnier, R Traverso, G Zavattaro	51	2012
On the decidability status of reachability and coverability in graph transformation systems N Bertrand, G Delzanno, B König, A Sangnier, J Stückrath 23rd International Conference on Rewriting Techniques and Applications (RTA'12), 2012	48	2012
Handling parameterized systems with non-atomic global conditions PA Abdulla, NB Henda, G Delzanno, A Rezine International Workshop on Verification, Model Checking, and Abstract …, 2008	46	2008
Beyond parameterized verification M Bozzano, G Delzanno International Conference on Tools and Algorithms for the Construction and …, 2002	42	2002
Attacking symbolic state explosion G Delzanno, JF Raskin, LV Begin International Conference on Computer Aided Verification, 298-310, 2001	42	2001
Logic Programming and Multi-Agent Systems: A synergic combination for applications and semantics M Bozzano, G Delzanno, M Martelli, V Mascardi, F Zini The Logic Programming Paradigm, 5-32, 1999	42	1999
Verification of ad hoc networks with node and communication failures G Delzanno, A Sangnier, G Zavattaro Formal Techniques for Distributed Systems, 235-250, 2012	41	2012
A classification of the expressive power of well-structured transition systems PA Abdulla, G Delzanno, L Van Begin Information and computation 209 (3), 248-279, 2011	38	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors