Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Beata Sarna-Starosta" ( http://dblp.L3S.de/Authors/Beata_Sarna-Starosta )

  Author page on DBLP  Author page in RDF  Community of Beata Sarna-Starosta in ASPL-2

Publication years (Num. hits)
2002-2012 (9)
Publication types (Num. hits)
article(2) inproceedings(7)
Venues (Conferences, Journals, ...)
PADL(3) AMAST(1) CoRR(1) ICFEM(1) ICLP(1) International Journal of Softw...(1) SEKE(1)
Authors
Beata Sarna-Starosta(9) C. R. Ramakrishnan(3) Tom Schrijvers(3) Dario Campagna(2) Laura K. Dillon(2) R. E. Kurt Stirewalt(2) David Zook(1) Emir Pasalic(1) Scott A. Smolka(1) Yifei Dong(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers Approximating Constraint Propagation in Datalog Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1David Zook, Emir Pasalic, Beata Sarna-Starosta Typed Datalog. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Meta-compilation, Type System, Datalog, Deductive Databases
1Beata Sarna-Starosta, Tom Schrijvers Attributed Data for CHR Indexing. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF term representation, attributed variables, indexing, program transformation, Constraint Handling Rules
1Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Beata Sarna-Starosta, C. R. Ramakrishnan Compiling Constraint Handling Rules for Efficient Tabled Evaluation. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications. Search on Bibsonomy SEKE The full citation details ... 2006 DBLP  BibTeX  RDF
1Beata Sarna-Starosta, C. R. Ramakrishnan Constraint-Based Model Checking of Data-Independent Systems. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka Vacuity Checking in the Modal Mu-Calculus. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.