Claire David

Two-Variable Logic on Words with Data

Mikołaj Bojańczyk, Anca Muscholl, Thomas Schwentick et al. · 2006 · 174 citations

Computing, Computer Science, Mathematics +14

Two-variable logic on data words

Mikołaj Bojańczyk, Claire David, Anca Muscholl et al. · ACM Transactions on Computational Logic · 2011 · 141 citations · Full text

Humanities, Computer Science, Algorithms +13

Indexing as Problem Solving: A Cognitive Approach to Consistency.

Claire David · 1995 · 26 citations

Social Sciences, Psychology, Cognitive Psychology +6

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)

Serge Abiteboul, Marcelo Arenas, Pablo Barceló et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 24 citations · Full text

Computing, Computer Science, Data Engineering +11

Research Directions for Principles of Data Management (Abridged)

Serge Abiteboul, Marcelo Arenas, Pablo Barceló et al. · ACM SIGMOD Record · 2017 · 24 citations

Computing, Information Systems, Management Information Systems +6