Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001 | 1774 | 2001 |
Model checking of probabilistic and nondeterministic systems A Bianco, L de Alfaro International Conference on Foundations of Software Technology and …, 1995 | 847 | 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 | 656 | 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 | 594 | 2017 |
Formal verification of probabilistic systems L De Alfaro stanford university, 1998 | 578 | 1998 |
Interface theories for component-based design L de Alfaro, TA Henzinger International Workshop on Embedded Software, 148-165, 2001 | 534 | 2001 |
Interface-based design L De Alfaro, TA Henzinger Engineering Theories of Software Intensive Systems: Proceedings of the NATO …, 2005 | 333 | 2005 |
Resource interfaces A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 117-133, 2003 | 316 | 2003 |
Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical computer science 386 (3), 188-217, 2007 | 301 | 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 | 298 | 2008 |
Timed interfaces L De Alfaro, TA Henzinger, M Stoelinga Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002 | 255 | 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 | 240 | 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 | 224 | 2011 |
Discounting the future in systems theory L De Alfaro, TA Henzinger, R Majumdar International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003 | 201 | 2003 |
Concurrent omega-regular games L De Alfaro, TA Henzinger Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000 | 198 | 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 | 189 | 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 | 185 | 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 | 182 | 2008 |
Computing minimum and maximum reachability times in probabilistic systems L De Alfaro International Conference on Concurrency Theory, 66-81, 1999 | 170 | 1999 |