Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Beata Sarna-Starosta

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2012
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/CampagnaSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/CampagnaSS12
Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers:
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. PADL 2012: 108-122
2011
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1112-3787
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1112-3787
Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers:
Approximating Constraint Propagation in Datalog. CoRR abs/1112.3787 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Sarna-StarostaS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Sarna-StarostaS09
Beata Sarna-Starosta, Tom Schrijvers:
Attributed Data for CHR Indexing. ICLP 2009: 357-371
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ZookPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ZookPS09
David Zook, Emir Pasalic, Beata Sarna-Starosta:
Typed Datalog. PADL 2009: 168-182
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/Sarna-StarostaSD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/Sarna-StarostaSD07
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): 207-230 (2007)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Sarna-StarostaS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Sarna-StarostaS07
Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon:
Contracts and Middleware for Safe SOA Applications. SDSOA@ICSE 2007: 5
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Sarna-StarostaR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Sarna-StarostaR07
Beata Sarna-Starosta, C. R. Ramakrishnan:
Compiling Constraint Handling Rules for Efficient Tabled Evaluation. PADL 2007: 170-184
2006
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/Sarna-StarostaSD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/Sarna-StarostaSD06
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: 120-125
2003
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Sarna-StarostaR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Sarna-StarostaR03
Beata Sarna-Starosta, C. R. Ramakrishnan:
Constraint-Based Model Checking of Data-Independent Systems. ICFEM 2003: 579-598
2002
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/DongSRS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/DongSRS02
Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka:
Vacuity Checking in the Modal Mu-Calculus. AMAST 2002: 147-162

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.