bibliographer - Claire David

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Reasoning about integrity constraints for tree-structured data Wojciech Czerwiński Claire David Filip Murlak Paweł Parys [github]

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) Serge Abiteboul Marcelo Arenas Pablo Barceló Meghyn Bienvenu Diego Calvanese Claire David Richard Hull Eyke Hullermeier Benny Kimelfeld Leonid Libkin Wim Martens Tova Milo Filip Murlak Frank Neven Magdalena Ortiz Thomas Schwentick Julia Stoyanovich Jianwen Su Dan Suciu Victor Vianu Ke Yi [github]

A Direct Translation from XPath to Nondeterministic Automata Nadime Francis Claire David Leonid Libkin [github]

Deciding definability by deterministic regular expressions Wojciech Czerwiński Claire David Katja Losemann Wim Martens [github]

Two-variable logic on data words Mikołaj Bojańczyk Claire David Anca Muscholl Thomas Schwentick Luc Segoufin [github]

Two-variable logic on data trees and XML reasoning Mikolaj Bojańczyk Claire David Anca Muscholl Thomas Schwentick Luc Segoufin [github]

Efficient reasoning about data trees via integer linear programming Claire David Leonid Libkin Tony Tan [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]