An up-to-date list of my publications be found at the DBLP Computer Science Bibliography or Google Scholar.