☰

Sabina Petride, Ph.D.

Affiliations: 
2009 Cornell University, Ithaca, NY, United States 
Area:
Computer Science
Google:
"Sabina Petride"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Joseph Halpern grad student 2009 Cornell
 (Aspects of knowledge and belief-based programming.)

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.

Bickford M, Constable R, Halpern JY, et al. (2011) Knowledge-based synthesis of distributed systems using event structures Logical Methods in Computer Science. 7
Halpern JY, Petride S. (2006) A knowledge-based analysis of global function computation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4167: 136-150
See more...