Published work

What we have written and said.

Papers, articles, technical notes and talks. Each entry carries its authors, venue and year, the document where we own it, and a citation line.