Luca de Alfaro - Google Scholar

Cited by

	All	Since 2015
Citations	10486	2925
h-index	49	27
i10-index	88	58

760

380

190

570

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202042 59 84 88 108 204 308 333 451 501 507 600 634 741 729 698 628 632 646 488 511 458 496 320

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
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
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	1595	2001
Model checking of probabilistic and nondeterministic systems A Bianco, L De Alfaro International Conference on Foundations of Software Technology and …, 1995	751	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	586	2007
Formal verification of probabilistic systems L De Alfaro stanford university, 1997	494	1997
Interface theories for component-based design L De Alfaro, TA Henzinger International Workshop on Embedded Software, 148-165, 2001	482	2001
Interface-based design L De Alfaro, TA Henzinger Engineering theories of software intensive systems, 83-104, 2005	289	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	265	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	255	2008
Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical Computer Science 386 (3), 188-217, 2007	238	2007
Timed interfaces L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 108-122, 2002	230	2002
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	185	2017
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	176	2011
Discounting the future in systems theory L De Alfaro, TA Henzinger, R Majumdar International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003	175	2003
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	169	2000
Quantitative solution of omega-regular games L de Alfaro, R Majumdar Journal of Computer and System Sciences 68 (2), 374-397, 2004	162	2004
Concurrent omega-regular games L de Alfaro, TA Henzinger Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000	162	2000
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	161	2008
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
Computing minimum and maximum reachability times in probabilistic systems L De Alfaro International Conference on Concurrency Theory, 66-81, 1999	144	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