Luca de Alfaro - Google Scholar

Cited by

	All	Since 2015
Citations	10337	2798
h-index	49	27
i10-index	87	57

740

370

185

555

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202042 59 84 88 107 200 308 333 452 502 508 600 635 739 733 693 629 627 645 481 514 457 497 200

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
Stefano MoretVisiting Research Fellow, Imperial College LondonVerified email at imperial.ac.uk
Marco L. Della VedovaUniversità Cattolica del Sacro CuoreVerified email at unicatt.it
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
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
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 AgrawalCamioVerified email at camio.com
Roberto PasseroneUniversity of TrentoVerified email at unitn.it
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu

Luca de Alfaro

Professor, UC Santa Cruz

Verified email at UCSC.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	1583	2001
Model checking of probabilistic and nondeterministic systems A Bianco, L De Alfaro International Conference on Foundations of Software Technology and …, 1995	741	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	580	2007
Formal verification of probabilistic systems L De Alfaro stanford university, 1997	489	1997
Interface theories for component-based design L De Alfaro, TA Henzinger International Workshop on Embedded Software, 148-165, 2001	480	2001
Interface-based design L De Alfaro, TA Henzinger Engineering theories of software intensive systems, 83-104, 2005	287	2005
Step: the stanford temporal prover Z Manna, A Anuchitanukul, N Bjorner, A Browne, E Chang STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1994	273	1994
Resource interfaces A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 117-133, 2003	262	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	254	2008
Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical Computer Science 386 (3), 188-217, 2007	230	2007
Timed interfaces L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 108-122, 2002	228	2002
Discounting the future in systems theory L De Alfaro, TA Henzinger, R Majumdar International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003	172	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	170	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	167	2000
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	162	2017
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	160	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	159	2008
Concurrent omega-regular games L de Alfaro, TA Henzinger Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000	159	2000
Quantitative solution of omega-regular games L de Alfaro, R Majumdar Journal of Computer and System Sciences 68 (2), 374-397, 2004	158	2004
Computing minimum and maximum reachability times in probabilistic systems L De Alfaro International Conference on Concurrency Theory, 66-81, 1999	143	1999

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