| 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 |
| 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 | 142 | 2003 |
| Linear and branching system metrics L De Alfaro, M Faella, M Stoelinga IEEE Transactions on Software Engineering 35 (2), 258-273, 2008 | 119 | 2008 |
| Linear and branching metrics for quantitative transition systems L De Alfaro, M Faella, M Stoelinga International Colloquium on Automata, Languages, and Programming, 97-109, 2004 | 109 | 2004 |
| Model checking discounted temporal properties L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga Theoretical Computer Science 345 (1), 139-170, 2005 | 108 | 2005 |
| A new semantics for overriding in description logics PA Bonatti, M Faella, IM Petrova, L Sauro Artificial Intelligence 222, 1-48, 2015 | 103 | 2015 |
| Defeasible inclusions in low-complexity DLs PA Bonatti, M Faella, L Sauro Journal of Artificial Intelligence Research 42, 719-764, 2011 | 84 | 2011 |
| Sociable interfaces L de Alfaro, LD da Silva, M Faella, A Legay, P Roy, M Sorea International Workshop on Frontiers of Combining Systems, 81-105, 2005 | 72 | 2005 |
| Dense real-time games M Faella, S La Torre, A Murano Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 167-176, 2002 | 58 | 2002 |
| Ticc: A Tool for Interface Compatibility and Composition BT Adler, L De Alfaro, LD Da Silva, M Faella, A Legay, V Raman, P Roy Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 56 | 2006 |
| The element of surprise in timed games L de Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga CONCUR 3, 142-156, 0 | 56 | |
| Model checking quantitative linear time logic M Faella, A Legay, MIA Stoelinga 6th Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, 61-77, 2008 | 48 | 2008 |
| Admissible strategies in infinite games over graphs M Faella International Symposium on Mathematical Foundations of Computer Science, 307-318, 2009 | 38 | 2009 |
| Model checking discounted temporal properties L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga International Conference on Tools and Algorithms for the Construction and …, 2004 | 36 | 2004 |
| with default attributes and overriding PA Bonatti, M Faella, L Sauro International Semantic Web Conference, 64-79, 2010 | 32 | 2010 |
| An accelerated algorithm for 3-color parity games with an application to timed games L de Alfaro, M Faella Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 28 | 2007 |
| e-Auctions for multi-cloud service provisioning M Anisetti, CA Ardagna, PA Bonatti, E Damiani, M Faella, C Galdi, ... 2014 IEEE International Conference on Services Computing, 35-42, 2014 | 27 | 2014 |
| Code aware resource management L de Alfaro, M Faella, R Majumdar, V Raman Proceedings of the 5th ACM international conference on Embedded software …, 2005 | 26 | 2005 |
| Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. PA Bonatti, M Faella, L Sauro IJCAI, 696-701, 2009 | 25 | 2009 |
| Compositional quantitative reasoning M Stoelinga, R Majumdar, TA Henzinger, M Faella, L de Alfaro, ... Third International Conference on the Quantitative Evaluation of Systems …, 2006 | 25 | 2006 |
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzVerified email at alumni.stanford.edu
