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: David:Claire
Contributed to:
2013
2010
20062006Wrote 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.