bibliographer - Alin Deutsch

bibliographer a curated TCS bibliography

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

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

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

Optimization Properties for Classes of Conjunctive Regular Path Queries Alin Deutsch Val Tannen [github]

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

Aggregation Support for Modern Graph Analytics in TigerGraph Alin Deutsch Yu Xu Mingxi Wu Victor E. Lee [github]

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

[show logs] [hide logs]