Claire David

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
c11		Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens: Deciding Definability by Deterministic Regular Expressions. FoSSaCS 2013: 289-304
c10		Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens: Containment of pattern-based queries over data trees. ICDT 2013: 201-212
	2012
j3		Claire David, Leonid Libkin, Tony Tan: Efficient reasoning about data trees via integer linear programming. ACM Trans. Database Syst. 37(3): 19 (2012)
	2011
j2		Claire David, Pierre Sagaut: Spurious caustics of dispersion-relation-preserving schemes. Int. J. Comput. Math. 88(12): 2625-2636 (2011)
j1		Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin: Two-variable logic on data words. ACM Trans. Comput. Log. 12(4): 27 (2011)
c9		Nadime Francis, Claire David, Leonid Libkin: A Direct Translation from XPath to Nondeterministic Automata. AMW 2011
c8		Claire David, Leonid Libkin, Tony Tan: Efficient reasoning about data trees via integer linear programming. ICDT 2011: 18-29
	2010
c7		Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak: On the tradeoff between mapping and querying power in XML data exchange. ICDT 2010: 155-164
c6		Claire David, Leonid Libkin, Tony Tan: On the Satisfiability of Two-Variable Logic over Data Words. LPAR (Yogyakarta) 2010: 248-262
c5		Claire David, Leonid Libkin, Filip Murlak: Certain answers for XML queries. PODS 2010: 191-202
c4		Julien Cristau, Claire David, Florian Horn: How do we remember the past in randomised strategies? GANDALF 2010: 30-39
	2008
c3		Claire David: Complexity of Data Tree Patterns over XML Documents. MFCS 2008: 278-289
	2006
c2		Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David: Two-Variable Logic on Words with Data. LICS 2006: 7-16
c1		Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin: Two-variable logic on data trees and XML reasoning. PODS 2006: 10-19

Coauthor Index

1	Shun'ichi Amano	[c7]
2	Mikolaj Bojanczyk	[j1] [c2] [c1]
3	Julien Cristau	[c4]
4	Wojciech Czerwinski	[c11]
5	Nadime Francis	[c9]
6	Amélie Gheerbrant	[c10]
7	Florian Horn	[c4]
8	Leonid Libkin	[c10] [j3] [c9] [c8] [c7] [c6] [c5]
9	Katja Losemann	[c11]
10	Wim Martens	[c11] [c10]
11	Filip Murlak	[c7] [c5]
12	Anca Muscholl	[j1] [c2] [c1]
13	Pierre Sagaut	[j2]
14	Thomas Schwentick	[j1] [c2] [c1]
15	Luc Segoufin	[j1] [c2] [c1]
16	Tony Tan	[j3] [c8] [c6]

Colors in the list of coauthors

Last update Wed May 22 19:21:13 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page