Beata Sarna-Starosta

Publication Activity (10 Years)

Years Active: 2002-2012
Publications (10 Years): 0

Top Topics

Constrained Problems

Path Consistency

Constraint Propagation

Datalog Programs

Top Venues

Publications

Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. PADL (2012)
Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers
Approximating Constraint Propagation in Datalog CoRR (2011)
David Zook, Emir Pasalic, Beata Sarna-Starosta
Typed Datalog. PADL (2009)
Beata Sarna-Starosta, Tom Schrijvers
Attributed Data for CHR Indexing. ICLP (2009)
Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon
Contracts and Middleware for Safe SOA Applications. SDSOA@ICSE (2007)
Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon
A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications. Int. J. Softw. Eng. Knowl. Eng. 17 (2) (2007)
Beata Sarna-Starosta, C. R. Ramakrishnan
Compiling Constraint Handling Rules for Efficient Tabled Evaluation. PADL (2007)
Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon
A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications. SEKE (2006)
Beata Sarna-Starosta, C. R. Ramakrishnan
Constraint-Based Model Checking of Data-Independent Systems. ICFEM (2003)
Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka
Vacuity Checking in the Modal Mu-Calculus. AMAST (2002)