Publications

Author Profiles

Google Scholar | DBLP | ORCID | Scopus | ResearcherID | ACM DL | Mendeley | ResearchGate | Zenodo | arXiv

You can also grab the BibTeX source, or check out the talks at Speaker Deck.

Book Chapters

Journal Papers

Conference Proceedings

Extended Abstracts

Technical Reports and Thesis