Luca de Alfaro

Citata da

	Tutte	Dal 2019
Citazioni	12872	2917
Indice H	52	24
i10-index	97	46

740

370

185

555

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202438 66 76 92 115 216 322 355 490 525 516 616 618 733 731 677 640 671 654 484 537 490 511 474 489 564 522 356

Accesso pubblico

Visualizza tutto

20 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Thomas HenzingerIST AustriaEmail verificata su ist.ac.at
Marco FaellaUniversità di Napoli "Federico II", ItalyEmail verificata su unina.it
Rupak MajumdarMPI for Software SystemsEmail verificata su mpi-sws.org
Krishnendu ChatterjeeProfessor, IST AustriaEmail verificata su ist.ac.at
B. Thomas AdlerFacebook, Inc.Email verificata su alumni.caltech.edu
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteEmail verificata su utwente.nl
Vishwanath RamanPrivacy Architect, Oasis LabsEmail verificata su oasislabs.com
Stefano MoretPrincipal Investigator & Group Leader, ETH ZurichEmail verificata su ethz.ch
Marco L. Della VedovaSenior Lecturer at Chalmers University of TechnologyEmail verificata su chalmers.se
Ashutosh KulshreshthaGoogleEmail verificata su google.com
Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Email verificata su nvidia.com
axel legayUCLouvainEmail verificata su uclouvain.be
Elena BaralisFull Professor, Computer engineering, Politecnico di Torino, ItalyEmail verificata su polito.it
Eliana PastorPolitecnico di TorinoEmail verificata su polito.it
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaEmail verificata su seas.upenn.edu
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordEmail verificata su comlab.ox.ac.uk
J.J. Garcia-Luna-AcevesProfessor & CERC, University of Toronto; Distinguished Professor Emeritus, UC Santa CruzEmail verificata su soe.ucsc.edu
Molly Can ZhangUniversity of California Santa CruzEmail verificata su ucsc.edu
Andrea BiancoPolitecnico di Torino - Department of Electronics and TelecommunicationsEmail verificata su polito.it
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceEmail verificata su glasgow.ac.uk

Segui

Luca de Alfaro

Professor, Computer Science and Engineering, UC Santa Cruz

Email verificata su alumni.stanford.edu - Home page

Data Science Game Theory System Verification


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1779	2001
Model checking of probabilistic and nondeterministic systems A Bianco, L de Alfaro International Conference on Foundations of Software Technology and …, 1995	860	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	663	2007
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	612	2017
Formal verification of probabilistic systems L De Alfaro stanford university, 1998	588	1998
Interface theories for component-based design L de Alfaro, TA Henzinger International Workshop on Embedded Software, 148-165, 2001	537	2001
Interface-based design L De Alfaro, TA Henzinger Engineering Theories of Software Intensive Systems: Proceedings of the NATO …, 2005	335	2005
Resource interfaces A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 117-133, 2003	315	2003
Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical computer science 386 (3), 188-217, 2007	306	2007
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	302	2008
Timed interfaces L De Alfaro, TA Henzinger, M Stoelinga Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002	253	2002
STeP: The stanford temporal prover Z Manna, N Bjørner, A Browne, E Chang, M Colón, L de Alfaro, ... TAPSOFT'95: Theory and Practice of Software Development: 6th International …, 1995	251	1995
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	245	2018
Wikipedia vandalism detection: Combining natural language, metadata, and reputation features BT Adler, L De Alfaro, SM Mola-Velasco, P Rosso, AG West Computational Linguistics and Intelligent Text Processing: 12th …, 2011	228	2011
Discounting the future in systems theory L De Alfaro, TA Henzinger, R Majumdar International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003	203	2003
Concurrent omega-regular games L De Alfaro, TA Henzinger Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000	199	2000
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	191	2000
Quantitative solution of omega-regular games L De Alfaro, R Majumdar Proceedings of the thirty-third annual ACM symposium on Theory of computing …, 2001	186	2001
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	183	2008
Computing minimum and maximum reachability times in probabilistic systems L De Alfaro International Conference on Concurrency Theory, 66-81, 1999	175	1999

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori