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

     http://www.eecs.umich.edu/gasm/

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