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 Defeasible inclusions in low-complexity DLs PA Bonatti, M Faella, L Sauro
Journal of Artificial Intelligence Research 42, 719-764, 2011
74 2011 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
73 2005 Ticc : A Tool for Interface Compatibility and CompositionBT Adler, L De Alfaro, LD Da Silva, M Faella, A Legay, V Raman, P Roy
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
58 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 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 CruzEmail verificata su alumni.stanford.edu
