☰

Luca d. Alfaro

Affiliations: 
University of California, Santa Cruz, Santa Cruz, CA, United States 
Area:
Computer Science
Google:
"Luca Alfaro"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Pritam Roy grad student 2009 UC Santa Cruz
Vishwanath Raman grad student 2010 UC Santa Cruz
B. T. Adler grad student 2012 UC Santa Cruz

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Chatterjee K, Alfaro LD, Majumdar R. (2013) The complexity of coverage International Journal of Foundations of Computer Science. 24: 165-185
Chatterjee K, Alfaro LD, Henzinger TA. (2011) Qualitative concurrent parity games Acm Transactions On Computational Logic. 12: 1-51
Alfaro Ld, Roy P. (2010) Solving games via three-valued abstraction refinement Information & Computation. 208: 666-676
Alfaro Ld, Majumdar R. (2004) Quantitative solution of omega-regular games Journal of Computer and System Sciences. 68: 374-397
Alfaro Ld, Stoelinga M. (2004) Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems Electronic Notes in Theoretical Computer Science. 97: 3-23
Alfaro Ld. (2003) Game Models for Open Systems Lecture Notes in Computer Science. 269-289
Alfaro Ld. (1999) From Fairness to Chance Electronic Notes in Theoretical Computer Science. 22: 55-87
See more...