Luca de Alfaro - Google Scholar Citations

Cited by

	All	Since 2015
Citations	10124	2628
h-index	48	26
i10-index	87	56

740

370

185

555

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202026 41 63 83 89 109 187 305 337 458 495 511 600 629 733 734 685 613 617 645 480 508 460 475 55

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
Vishwanath RamanSoftware Engineer, 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
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Stefano MoretVisiting Research Fellow, Imperial College LondonVerified email at imperial.ac.uk
Marco L. Della VedovaUniversità Cattolica del Sacro CuoreVerified email at unicatt.it
Leandro Dias da SilvaUniversidade Federal de AlagoasVerified email at ic.ufal.br
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Andrea BiancoPolitecnico di Torino - Department of Electronics and TelecommunicationsVerified email at polito.it
Edward ChangStanford University / DeepQVerified email at google.com
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
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
Rakshit AgrawalUniversity of California, Santa CruzVerified email at ucsc.edu

Luca de Alfaro

Professor, UC Santa Cruz

Verified email at UCSC.edu - Homepage

Machine Learning Game Theory System Verification


Title	Cited by	Year
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1566	2001
Model checking of probabilistic and nondeterministic systems A Bianco, L De Alfaro International Conference on Foundations of Software Technology and …, 1995	724	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	564	2007
Formal verification of probabilistic systems L De Alfaro stanford university, 1997	477	1997
Interface theories for component-based design L De Alfaro, TA Henzinger International Workshop on Embedded Software, 148-165, 2001	474	2001
Interface-based design L De Alfaro, TA Henzinger Engineering theories of software intensive systems, 83-104, 2005	285	2005
Step: the stanford temporal prover Z Manna, A Anuchitanukul, N Bjorner, A Browne, E Chang STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1994	274	1994
Resource interfaces A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 117-133, 2003	263	2003
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	251	2008
Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical Computer Science 386 (3), 188-217, 2007	227	2007
Timed interfaces L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 108-122, 2002	224	2002
Discounting the future in systems theory L De Alfaro, TA Henzinger, R Majumdar International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003	169	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	168	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	162	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	159	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	158	2008
Concurrent omega-regular games L de Alfaro, TA Henzinger Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000	158	2000
Quantitative solution of omega-regular games L de Alfaro, R Majumdar Journal of Computer and System Sciences 68 (2), 374-397, 2004	152	2004
Computing minimum and maximum reachability times in probabilistic systems L De Alfaro International Conference on Concurrency Theory, 66-81, 1999	141	1999
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	137	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