bibliographer - Richard Hull

bibliographer a curated TCS bibliography

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

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]

Automatic Verification of Database-centric Systems Alin Deutsch Richard Hull Yuliang Li Victor Vianu [github]

Automated Composition of e-Services: Lookaheads Çagdaş Evren Gerede Richard Hull Oscar H. Ibarra Jianwen Su [github]

Automatic Verification of Data-centric Business Processes Alin Deutsch Richard Hull Fabio Patrizi Victor Vianu [github]

Automatic Verification of Database-Centric Systems Alin Deutsch Richard Hull Victor Vianu [github]

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

[show logs] [hide logs]