Grouped by topic (with overlaps):

• On automata with pushdown, counter, etc.

• On labelled Markov chains

• On geometric problems

• On arithmetic theories

• On descriptional complexity

• On decision problems

I have written brief annotations for these lists. These annotations are not meant to be complete; call them abstracts if you want. I hope you will find them useful.

Other listings: on WRAP, on DBLP, on my old web page at MPI-SWS.