bibliographer - Dilsun Kaynar

bibliographer a curated TCS bibliography

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

The Tempo Language User Guide and Reference Manual Nancy A. Lynch Stephen J. Garland Dilsun Kaynar Laurent Michel Alex Shvartsman [github]

Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) Michael Carl Tschantz Dilsun Kaynar Anupam Datta [github]

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

[show logs] [hide logs]