☰

Luca d. Alfaro - Publications

Affiliations: 
University of California, Santa Cruz, Santa Cruz, CA, United States 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

7 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2013 Chatterjee K, Alfaro LD, Majumdar R. The complexity of coverage International Journal of Foundations of Computer Science. 24: 165-185. DOI: 10.1142/S0129054113400066  0.403
2011 Chatterjee K, Alfaro LD, Henzinger TA. Qualitative concurrent parity games Acm Transactions On Computational Logic. 12: 1-51. DOI: 10.1145/1970398.1970404  0.53
2010 Alfaro Ld, Roy P. Solving games via three-valued abstraction refinement Information & Computation. 208: 666-676. DOI: 10.1016/J.Ic.2009.05.007  0.413
2004 Alfaro Ld, Majumdar R. Quantitative solution of omega-regular games Journal of Computer and System Sciences. 68: 374-397. DOI: 10.1016/J.Jcss.2003.07.009  0.401
2004 Alfaro Ld, Stoelinga M. Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems Electronic Notes in Theoretical Computer Science. 97: 3-23. DOI: 10.1016/J.Entcs.2004.04.030  0.341
2003 Alfaro Ld. Game Models for Open Systems Lecture Notes in Computer Science. 269-289. DOI: 10.1007/978-3-540-39910-0_12  0.425
1999 Alfaro Ld. From Fairness to Chance Electronic Notes in Theoretical Computer Science. 22: 55-87. DOI: 10.1016/S1571-0661(05)80597-3  0.408
Show low-probability matches.