Beata Sarna-Starosta

According to our database, Beata Sarna-Starosta authored at least 9 papers between 2002 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation.

Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers

Proceedings of the Practical Aspects of Declarative Languages, 2012

2011

Approximating Constraint Propagation in Datalog

Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers

CoRR, 2011

2009

Typed Datalog.

David Zook, Emir Pasalic, Beata Sarna-Starosta

Proceedings of the Practical Aspects of Declarative Languages, 2009

Attributed Data for CHR Indexing.

Beata Sarna-Starosta, Tom Schrijvers

Proceedings of the Logic Programming, 25th International Conference, 2009

2007

A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications.

Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon

Int. J. Softw. Eng. Knowl. Eng., 2007

Compiling Constraint Handling Rules for Efficient Tabled Evaluation.

Beata Sarna-Starosta, C. R. Ramakrishnan

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Contracts and Middleware for Safe SOA Applications.

Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon

Proceedings of the International Workshop on Systems Development in SOA Environments, 2007

2003

Constraint-Based Model Checking of Data-Independent Systems.

Beata Sarna-Starosta, C. R. Ramakrishnan

Proceedings of the Formal Methods and Software Engineering, 2003

2002

Vacuity Checking in the Modal Mu-Calculus.

Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the Algebraic Methodology and Software Technology, 2002