Beata Sarna-Starosta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2003–2012
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | PADL | Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. | Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers |
| 2009 | ICLP | Attributed Data for CHR Indexing. | Beata Sarna-Starosta, Tom Schrijvers |
| 2009 | PADL | Typed Datalog. | David Zook, Emir Pasalic, Beata Sarna-Starosta |
| 2007 | ICSE | Contracts and Middleware for Safe SOA Applications. | Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon |
| 2007 | PADL | Compiling Constraint Handling Rules for Efficient Tabled Evaluation. | Beata Sarna-Starosta, C. R. Ramakrishnan |
| 2006 | SEKE | 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 |
| 2003 | ICFEM | Constraint-Based Model Checking of Data-Independent Systems. | Beata Sarna-Starosta, C. R. Ramakrishnan |