| 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 | 291 | 2008 |
| The element of surprise in timed games L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003 | 180 | 2003 |
| Linear and branching system metrics L De Alfaro, M Faella, M Stoelinga IEEE Transactions on Software Engineering 35 (2), 258-273, 2008 | 115 | 2008 |
| Model checking discounted temporal properties L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga Theoretical Computer Science 345 (1), 139-170, 2005 | 106 | 2005 |
| Linear and branching metrics for quantitative transition systems L De Alfaro, M Faella, M Stoelinga Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004 | 99 | 2004 |
| A new semantics for overriding in description logics PA Bonatti, M Faella, IM Petrova, L Sauro Artificial Intelligence 222, 1-48, 2015 | 92 | 2015 |
| Sociable interfaces L de Alfaro, LD da Silva, M Faella, A Legay, P Roy, M Sorea Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005 | 75 | 2005 |
| Defeasible inclusions in low-complexity DLs PA Bonatti, M Faella, L Sauro Journal of Artificial Intelligence Research 42, 719-764, 2011 | 74 | 2011 |
| 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 | 59 | 2006 |
| Dense real-time games M Faella, S La Torre, A Murano Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 167-176, 2002 | 55 | 2002 |
| Model checking quantitative linear time logic M Faella, A Legay, M Stoelinga Electronic Notes in Theoretical Computer Science 220 (3), 61-77, 2008 | 47 | 2008 |
| Admissible strategies in infinite games over graphs M Faella Mathematical Foundations of Computer Science 2009: 34th International …, 2009 | 34 | 2009 |
| Model checking discounted temporal properties L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga Tools and Algorithms for the Construction and Analysis of Systems: 10th …, 2004 | 33 | 2004 |
| 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 | 31 | 2007 |
| with Default Attributes and Overriding PA Bonatti, M Faella, L Sauro The Semantic Web–ISWC 2010: 9th International Semantic Web Conference, ISWC …, 2010 | 29 | 2010 |
| 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 |
| Compositional quantitative reasoning M Stoelinga, R Majumdar, TA Henzinger, M Faella, L de Alfaro, ... Third International Conference on the Quantitative Evaluation of Systems …, 2006 | 27 | 2006 |
| Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. PA Bonatti, M Faella, L Sauro IJCAI, 696-701, 2009 | 25 | 2009 |
| Code aware resource management L de Alfaro, M Faella, R Majumdar, V Raman Proceedings of the 5th ACM international conference on Embedded software …, 2005 | 25 | 2005 |
| On interoperable trust negotiation strategies S Baselice, PA Bonatti, M Faella Eighth IEEE International Workshop on Policies for Distributed Systems and …, 2007 | 24 | 2007 |
Luca de AlfaroProfessor, UC Santa CruzVerified email at alumni.stanford.edu
