Statistics
Publications
16
Citations
555
H-Index
12
Active since
1995
Claire David is an author at University of Edinburgh specializing in engineering, automated reasoning, and computer science.
Publications per year
1995–2020
16
16
Two-Variable Logic on Words with Data
Mikołaj Bojańczyk, Anca Muscholl, Thomas Schwentick et al. · 2006 · 173 citations · Full text
Engineering, Reachability Problem, Petri Net Reachability +21
Two-variable logic on data words
Mikołaj Bojańczyk, Claire David, Anca Muscholl et al. · ACM Transactions on Computational Logic · 2011 · 140 citations · Full text
Indexing as Problem Solving: A Cognitive Approach to Consistency.
Claire David · 1995 · 26 citations
Research Directions for Principles of Data Management (Abridged)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló et al. · ACM SIGMOD Record · 2017 · 24 citations
1–5 of 16