Books, Papers, Talks, CV

Below are pdf files listing my books, papers, talks, cv  (as of summer 2012).

Most of the papers are also listed in the Trier bibliography and the Karlsruhe bibliography .

CV  a) one slide.pdf  b) short Curriculum vitae ed studiorum, c) long CVwithPublicationsAndTalks

Copies of a few selected  papers from this millenium can be downloaded from the RecentPublications section.

Copies of most of my  papers on Abstract State Machines before 2000 can be obtained from

where an electronic list of papers is available under the letter B of the author index (apparently maintained until the year 2000).


Slides of selected talks