Claire David

	2011
11		Nadime Francis, Claire David, Leonid Libkin: A Direct Translation from XPath to Nondeterministic Automata. AMW 2011
10		Claire David, Leonid Libkin, Tony Tan: Efficient reasoning about data trees via integer linear programming. ICDT 2011: 18-29
9		Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin: Two-variable logic on data words. ACM Trans. Comput. Log. 12(4): 27 (2011)
8		Claire David, Pierre Sagaut: Spurious caustics of dispersion-relation-preserving schemes. Int. J. Comput. Math. 88(12): 2625-2636 (2011)
	2010
7		Julien Cristau, Claire David, Florian Horn: How do we remember the past in randomised strategies? GANDALF 2010: 30-39
6		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
5		Claire David, Leonid Libkin, Tony Tan: On the Satisfiability of Two-Variable Logic over Data Words. LPAR (Yogyakarta) 2010: 248-262
4		Claire David, Leonid Libkin, Filip Murlak: Certain answers for XML queries. PODS 2010: 191-202
	2008
3		Claire David: Complexity of Data Tree Patterns over XML Documents. MFCS 2008: 278-289
	2006
2		Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David: Two-Variable Logic on Words with Data. LICS 2006: 7-16
1		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	[6]
2	Mikolaj Bojanczyk	[1] [2] [9]
3	Julien Cristau	[7]
4	Nadime Francis	[11]
5	Florian Horn	[7]
6	Leonid Libkin	[4] [5] [6] [10] [11]
7	Filip Murlak	[4] [6]
8	Anca Muscholl	[1] [2] [9]
9	Pierre Sagaut	[8]
10	Thomas Schwentick	[1] [2] [9]
11	Luc Segoufin	[1] [2] [9]
12	Tony Tan	[5] [10]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page