This page is a summary of my publications with links to background information: bibtex entry, preprint as pdf, Digital Object Identifier DOI, web site of event/journal, and abstract. Top venues with CORE ranking A* or A are marked in bold. A classification into categories (conference papers, journal articles, etc.) is given in my full CV. See also my profiles at Google Scholar, DBLP, or ORCID. If your browser does not show the list of publications below, you find the original webpage here.