information about publication list | refereed journals | proceedings edited | proceedings contributions | conference contributions not in proceedings | correspondence | book reviews | translations | theses | talks