Thank you to DBLP for hosting the curated list of my publications (above).
Further details and versions of most of my papers are available from my pages on:
Google Scholar
Semantic ScholarÂ
ORCID (0000-0001-9094-0810)