☰

Beata Sarna-Starosta, Ph.D.

Affiliations: 
2005 Stony Brook University, Stony Brook, NY, United States 
Area:
Logic Programming, Programming Languages, Verification.
Google:
"Beata Sarna-Starosta"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
C. R. Ramakrishnan grad student 2005 SUNY Stony Brook
 (Constraint-based analysis of security properties.)

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.

Campagna D, Sarna-Starosta B, Schrijvers T. (2012) Optimizing inequality joins in datalog with approximated constraint propagation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7149: 108-122
Sarna-Starosta B, Schrijvers T. (2009) Attributed data for CHR indexing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5649: 357-371
Zook D, Pasalic E, Sarna-Starosta B. (2009) Typed Datalog Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5418: 168-182
Sarna-Starosta B, Stirewalt REK, Dillon LK. (2007) A model-based design-for-verification approach to checking for deadlock in multi-threaded applications International Journal of Software Engineering and Knowledge Engineering. 17: 207-230
Sarna-Starosta B, Ramakrishnan CR. (2007) Compiling constraint handling rules for efficient tabled evaluation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4354: 170-184
Sarna-Starosta B, Ramakrishnan CR. (2003) Constraint-Based model checking of data-independent systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2885: 579-598
Dong Y, Sarna-Starosta B, Ramakrishnan CR, et al. (2002) Vacuity checking in the modal mu-calculus Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2422: 147-162
See more...