☰

Pritam Roy, Ph.D.

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

Parents

Sign in to add mentor
Luca d. Alfaro grad student 2009 UC Santa Cruz
 (Interval-based abstraction refinement.)

Children

Sign in to add trainee

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.

Alfaro Ld, Roy P. (2010) Solving games via three-valued abstraction refinement Information & Computation. 208: 666-676
See more...