Luca de Alfaro

Cited by

	All	Since 2018
Citations	12145	2684
h-index	52	24
i10-index	90	43

740

370

185

555

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202339 61 69 80 128 220 319 340 486 507 514 627 633 740 714 693 649 680 660 492 530 474 497 475 484 558 193

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
Stefano MoretPrincipal Investigator & Group Leader, ETH ZurichVerified email at ethz.ch
Marco L. Della VedovaSenior Lecturer at Chalmers University of TechnologyVerified email at chalmers.se
Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Verified email at nvidia.com
axel legayUCLouvainVerified email at uclouvain.be
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Andrea BiancoPolitecnico di Torino - Department of Electronics and TelecommunicationsVerified email at polito.it
Rakshit AgrawalCamioVerified email at camio.com
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
J. J. Garcia-Luna-AcevesDistinguished Professor, University of California at Santa CruzVerified email at soe.ucsc.edu
Molly Can ZhangUniversity of California Santa CruzVerified email at ucsc.edu
Leandro Dias da SilvaUniversidade Federal de AlagoasVerified email at ic.ufal.br

Luca de Alfaro

Professor, UC Santa Cruz

Verified email at alumni.stanford.edu - Homepage

Data Science 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	1740	2001
Model checking of probabilistic and nondeterministic systems A Bianco, L de Alfaro International Conference on Foundations of Software Technology and …, 1995	831	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	645	2007
Formal verification of probabilistic systems L De Alfaro stanford university, 1998	553	1998
Interface theories for component-based design L de Alfaro, TA Henzinger International Workshop on Embedded Software, 148-165, 2001	522	2001
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	498	2017
Interface-based design L De Alfaro, TA Henzinger Engineering Theories of Software Intensive Systems: Proceedings of the NATO …, 2005	319	2005
Resource interfaces A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia …, 2003	302	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	291	2008
Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical computer science 386 (3), 188-217, 2007	288	2007
Step: the stanford temporal prover Z Manna, A Anuchitanukul, N Bjorner, A Browne, E Chang STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1994	279	1994
Timed interfaces L De Alfaro, TA Henzinger, M Stoelinga Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002	254	2002
Wikipedia vandalism detection: Combining natural language, metadata, and reputation features BT Adler, L De Alfaro, SM Mola-Velasco, P Rosso, AG West	209	2011
Concurrent omega-regular games L De Alfaro, TA Henzinger Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000	194	2000
Discounting the future in systems theory L De Alfaro, TA Henzinger, R Majumdar Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003	189	2003
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation L De Alfaro, M Kwiatkowska, G Norman, D Parker, R Segala Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000	189	2000
Quantitative solution of omega-regular games380872 L de Alfaro, R Majumdar Proceedings of the thirty-third annual ACM symposium on Theory of computing …, 2001	182	2001
The element of surprise in timed games L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003	180	2003
Automatic online fake news detection combining content and social signals ML Della Vedova, E Tacchini, S Moret, G Ballarin, M DiPierro, L De Alfaro 2018 22nd conference of open innovations association (FRUCT), 272-279, 2018	178	2018
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	175	2008

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

Cited by

Co-authors