BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
3 × USA
Collaborated with:
M.Bojanczyk A.Muscholl T.Schwentick L.Segoufin L.Libkin F.Murlak W.Czerwinski K.Losemann W.Martens
Talks about:
variabl (2) logic (2) data (2) xml (2) two (2) determinist (1) regular (1) express (1) certain (1) reason (1)

Person: Claire David

DBLP DBLP: David:Claire

Contributed to:

FOSSACS 20132013
PODS 20102010
LICS 20062006
PODS 20062006

Wrote 4 papers:

FoSSaCS-2013-CzerwinskiDLM #regular expression
Deciding Definability by Deterministic Regular Expressions (WC, CD, KL, WM), pp. 289–304.
PODS-2010-DavidLM #query #xml
Certain answers for XML queries (CD, LL, FM), pp. 191–202.
LICS-2006-BojanczykMSSD #logic #word
Two-Variable Logic on Words with Data (MB, AM, TS, LS, CD), pp. 7–16.
PODS-2006-BojanczykDMSS #logic #reasoning #xml
Two-variable logic on data trees and XML reasoning (MB, CD, AM, TS, LS), pp. 10–19.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.