Luca de Alfaro

Cited by

	All	Since 2016
Citations	10997	2658
h-index	49	25
i10-index	89	55

760

380

190

570

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202139 60 86 83 112 191 308 339 465 506 507 621 623 747 739 710 635 642 664 504 520 472 487 460 208

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Thomas HenzingerIST AustriaVerified email at ist.ac.at
Marco FaellaUniversità di Napoli "Federico II", ItalyVerified email at unina.it
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
B. Thomas AdlerFacebook, Inc.Verified email at alumni.caltech.edu
Vishwanath RamanPrivacy Architect, Oasis LabsVerified email at oasislabs.com
Pritam RoyMember of Consulting Staff, Mentor Graphics Corp.Verified email at mentor.com
axel legayUCLouvainVerified email at uclouvain.be
Stefano MoretResearch Associate, Imperial College LondonVerified email at imperial.ac.uk
Marco L. Della VedovaAssistant Professor of Computer Science, Università Cattolica del Sacro Cuore, ItalyVerified email at unicatt.it
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Edward Y ChangStanford UniversityVerified email at cs.stanford.edu
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Tomas Uriberelational.aiVerified email at relational.ai
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Leandro Dias da SilvaUniversidade Federal de AlagoasVerified email at ic.ufal.br
Andrea BiancoPolitecnico di Torino - Department of Electronics and TelecommunicationsVerified email at polito.it
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk

Luca de Alfaro

Professor, UC Santa Cruz

Verified email at alumni.stanford.edu - Homepage

Machine Learning Game Theory System Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1658	2001
Model checking of probabilistic and nondeterministic systems A Bianco, L De Alfaro International Conference on Foundations of Software Technology and …, 1995	777	1995
A content-driven reputation system for the Wikipedia BT Adler, L De Alfaro Proceedings of the 16th international conference on World Wide Web, 261-270, 2007	619	2007
Formal verification of probabilistic systems L De Alfaro stanford university, 1998	510	1998
Interface theories for component-based design L De Alfaro, TA Henzinger International Workshop on Embedded Software, 148-165, 2001	503	2001
Interface-based design L De Alfaro, TA Henzinger Engineering theories of software intensive systems, 83-104, 2005	306	2005
Resource interfaces A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 117-133, 2003	280	2003
Step: the stanford temporal prover Z Manna, A Anuchitanukul, N Bjorner, A Browne, E Chang STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1994	269	1994
Assigning trust to Wikipedia content BT Adler, K Chatterjee, L De Alfaro, M Faella, I Pye, V Raman Proceedings of the 4th International Symposium on Wikis, 1-12, 2008	264	2008
Some like it hoax: Automated fake news detection in social networks E Tacchini, G Ballarin, ML Della Vedova, S Moret, L de Alfaro arXiv preprint arXiv:1704.07506, 2017	260	2017
Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical Computer Science 386 (3), 188-217, 2007	245	2007
Timed interfaces L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 108-122, 2002	242	2002
Discounting the future in systems theory L De Alfaro, TA Henzinger, R Majumdar International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003	184	2003
Wikipedia vandalism detection: Combining natural language, metadata, and reputation features BT Adler, L De Alfaro, SM Mola-Velasco, P Rosso, AG West International Conference on Intelligent Text Processing and Computational …, 2011	183	2011
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation L De Alfaro, M Kwiatkowska, G Norman, D Parker, R Segala International Conference on Tools and Algorithms for the Construction and …, 2000	171	2000
Concurrent omega-regular games L de Alfaro, TA Henzinger Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000	168	2000
The element of surprise in timed games L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga International Conference on Concurrency Theory, 144-158, 2003	166	2003
Measuring author contributions to the Wikipedia BT Adler, L De Alfaro, I Pye, V Raman Proceedings of the 4th International Symposium on Wikis, 1-10, 2008	165	2008
Quantitative solution of omega-regular games L de Alfaro, R Majumdar Journal of Computer and System Sciences 68 (2), 374-397, 2004	162	2004
Convertibility verification and converter synthesis: Two faces of the same coin R Passerone, L De Alfaro, TA Henzinger, AL Sangiovanni-Vincentelli Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002	154	2002

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

Upload PDF

Follow this author

Cited by

Co-authors