Some selected publications are listed below, I am trying to maintain a more or less complete list [@here]. It is, however, rather likely that my profile [@scholar] is more up to date. You can also look [@DBLP], [@springer], [@microsoft academic search], or [@acm]. Please also see the main page for newer items that didn't make it into this list yet.
(sorry, due to a server crash and reset, papers aren't linked anymore at the moment.)