Members of the group who have published can submit their papers for the BibTEX database.
External visitors looking for a list of group papers can find them categorised by year on the RTS papers page.