Luca de Alfaro - Google Scholar

Geciteerd door

	Alles	Sinds 2015
Citaties	10402	2851
h-index	49	27
i10-index	87	57

740

370

185

555

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202042 59 84 88 109 203 308 333 450 502 508 600 636 738 730 693 628 632 645 485 513 456 496 252

Medeauteurs

Thomas HenzingerIST AustriaGeverifieerd e-mailadres voor ist.ac.at
Marco FaellaUniversità di Napoli "Federico II", ItalyGeverifieerd e-mailadres voor unina.it
Rupak MajumdarMPI for Software SystemsGeverifieerd e-mailadres voor mpi-sws.org
Krishnendu ChatterjeeProfessor, IST AustriaGeverifieerd e-mailadres voor ist.ac.at
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteGeverifieerd e-mailadres voor utwente.nl
Vishwanath RamanSoftware Engineer, Oasis LabsGeverifieerd e-mailadres voor oasislabs.com
Pritam RoyMember of Consulting Staff, Mentor Graphics Corp.Geverifieerd e-mailadres voor mentor.com
axel legayUCLouvainGeverifieerd e-mailadres voor uclouvain.be
Stefano MoretVisiting Research Fellow, Imperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
Marco L. Della VedovaUniversità Cattolica del Sacro CuoreGeverifieerd e-mailadres voor unicatt.it
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor cis.upenn.edu
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordGeverifieerd e-mailadres voor comlab.ox.ac.uk
Leandro Dias da SilvaUniversidade Federal de AlagoasGeverifieerd e-mailadres voor ic.ufal.br
Andrea BiancoPolitecnico di Torino - Department of Electronics and TelecommunicationsGeverifieerd e-mailadres voor polito.it
Edward ChangStanford University / DeepQGeverifieerd e-mailadres voor google.com
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceGeverifieerd e-mailadres voor glasgow.ac.uk
David ParkerProfessor of Computer Science, University of BirminghamGeverifieerd e-mailadres voor cs.bham.ac.uk
Rakshit AgrawalCamioGeverifieerd e-mailadres voor camio.com
Roberto PasseroneUniversity of TrentoGeverifieerd e-mailadres voor unitn.it
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu

Luca de Alfaro

Professor, UC Santa Cruz

Geverifieerd e-mailadres voor UCSC.edu - Homepage

Machine Learning Game Theory System Verification


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1587	2001
Model checking of probabilistic and nondeterministic systems A Bianco, L De Alfaro International Conference on Foundations of Software Technology and …, 1995	746	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	584	2007
Formal verification of probabilistic systems L De Alfaro stanford university, 1997	491	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	288	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	255	2008
Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical Computer Science 386 (3), 188-217, 2007	232	2007
Timed interfaces L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 108-122, 2002	229	2002
Discounting the future in systems theory L De Alfaro, TA Henzinger, R Majumdar International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003	174	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	172	2011
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	168	2017
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	168	2000
Quantitative solution of omega-regular games L de Alfaro, R Majumdar Journal of Computer and System Sciences 68 (2), 374-397, 2004	161	2004
Concurrent omega-regular games L de Alfaro, TA Henzinger Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000	161	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	160	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	143	1999

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs