bibliographer - Dan Suciu

bibliographer a curated TCS bibliography

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

Symmetric Weighted First-Order Model Counting Paul Beame Guy Van den Broeck Eric Gribkoff Dan Suciu [github]

Symmetric Weighted First-Order Model Counting Paul Beame Guy Van den Broeck Eric Gribkoff Dan Suciu [github]

Applications of Information Inequalities to Database Theory Problems Dan Suciu [github]

Decision Problems in Information Theory Mahmoud Abo Khamis Phokion G. Kolaitis Hung Q. Ngo Dan Suciu [github]

Decision Problems in Information Theory Mahmoud Abo Khamis Phokion G. Kolaitis Hung Q. Ngo Dan Suciu [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]

Typechecking for XML transformers Tova Milo Dan Suciu Victor Vianu [github]

Query containment for conjunctive queries with regular expressions Daniela Florescu Alon Levy Dan Suciu [github]

HoTTSQL: proving query rewrites with univalent SQL semantics Shumo Chu Konstantin Weitz Alvin Cheung Dan Suciu [github]

Typechecking for XML transformers Tova Milo Dan Suciu Victor Vianu [github]

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

[show logs] [hide logs]