| Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001 | 1806 | 2001 |
| Model checking of probabilistic and nondeterministic systems A Bianco, L de Alfaro International Conference on Foundations of Software Technology and …, 1995 | 892 | 1995 |
| 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 | 677 | 2017 |
| 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 |
| Formal verification of probabilistic systems L De Alfaro stanford university, 1998 | 622 | 1998 |
| Interface theories for component-based design L de Alfaro, TA Henzinger International Workshop on Embedded Software, 148-165, 2001 | 549 | 2001 |
| Interface-based design L De Alfaro, TA Henzinger Engineering Theories of Software Intensive Systems: Proceedings of the NATO …, 2005 | 338 | 2005 |
| Resource interfaces A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 117-133, 2003 | 328 | 2003 |
| Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical computer science 386 (3), 188-217, 2007 | 317 | 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 | 305 | 2008 |
| STeP: The stanford temporal prover Z Manna, N Bjørner, A Browne, E Chang, M Colón, L De Alfaro, ... Colloquium on Trees in Algebra and Programming, 793-794, 1995 | 295 | 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 | 278 | 2018 |
| Timed interfaces L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 108-122, 2002 | 257 | 2002 |
| 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 | 236 | 2011 |
| Concurrent omega-regular games L De Alfaro, TA Henzinger Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000 | 210 | 2000 |
| Discounting the future in systems theory L De Alfaro, TA Henzinger, R Majumdar International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003 | 208 | 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 | 199 | 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 | 197 | 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 | 177 | 1999 |
Thomas HenzingerIST AustriaVerified email at ist.ac.at
