Research publications and selected formal writing. For each paper: summary, official citation, and a PDF when redistribution is allowed.