We were a pretty rebellious lot of students at the Mathematisches Institut in Göttingen in 1969, and surely we would have never accepted the name of a professor or director of the institute on our own publication whatever his involvement may have been, remember: "Unter den Talaren Muff von Tausend Jahren". In retrospect - pushing not only this a bit over the top, didn't we?

Anyhow, although I have been more deeply involved in some of the papers of my students, which don't carry my name than with those which do, the following presentation of my publications still keeps that distinction.

Since there are more than a thausand publications by now, I have tried to provide as much structure as possible, i.e. publications in journals, books, proceedings as well as internal reports, but also structured accademically into the five main topics of my research groups: Automated Reasoning, Knowledge Representation, Multi-Agent Systems, Verification of Safety and Security properties, and most recently the group in e-Learning.

Publications:   Selected   |   All Publications   |   All Research Groups