Books, Papers, Talks, CV

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

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

• Books
• Research Papers in Computer Science
• Research Papers in Logic and Complexity Theory
• Foundational Papers
• Expository Papers
• Talks

CV Short Curriculum vitae ed studiorum and 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

• S-BPM and the ASM Method Keynote at S-BPM One 2012 April 4-5, 2012, Wien
• Lecture on Critical Evaluation of BPMN WorkflowPatterns YAWL paper in J. Softw&Syst Modeling 2011
• Lecture at Pnueli Memorial Symposium May 7-9, 2010, New York University
• Laudatio fuer Volker Claus. Universitaet Stuttgart, 3.7.2009
• FestkolloquiumPeterSchmitt. Universitaet Karlsruhe, May 2008
• The ASM System Design and Analysis Method. British Computer Science FACS Seminar Series, London 21.3.2007
• The ASM Method with an Application to Modeling Workflow Patterns. Keynote at ER2007, Auckland (New Zealand) 5.11.2007
• Contributions of the ASM Method to Program Verification and Some Future Challenges Talk at IFIP WG 2.2 40^th Anniversay Meeting, Udine (Italy) 11.-14.9.2006
• An Architecture for Web Service Mediation and Discovery. Dagstuhl Seminar “The role of business processes in service oriented architectures” 16.-21.7.2006
• Service Interaction Patterns and Interaction Flows. A Compositional Framework. Invited Lecture at ICFEM’05 (International Conference on Formal Engineering Methods), Manchester 1.-4.11.2005
• The ASM Method. A Tutorial Introduction delivered in Vienna, September 2005. See also draft paper, final version in LNAI 3717, pp. 264-283, 2005
• The ASM Method. An Introduction. Four Lectures delivered at ETH Zuerich (Dec.2004)
• A practice-oriented course on the principles of computation, programming and system design and analysis. Talk at Teaching Formal Methods Symposium, Gent 18.-19.11.2004. Slides of the talk. Paper to appear in Proc.TFM’04, Springer LNCS 3294
• Abstract State Machines: Bridging the Gap between Specification and Design (Frankfurt 25.9.2003, FDL’03)
• Exploiting the "A" in Abstract State Machines for Specification Reuse. A Java/C# Case Study (Leiden 6.11.2003, FMCO’03). Paper to appear in Proc.FMCO’03
• Il doppio ruolo della logica tra sapienza e tecnologia informatica (Pisa 9.12.2003)
• Teaching ASMs to Practice-Oriented Students (Oxford 12.12.2003, TFM2003)
• Lectures on Java/ Java Virtual Machine, based upon the Jbook
• Lectures on ASMs, based upon the AsmBook