Thomas Ball

• Computer aided verification
• My Fourscore Years
• My Threescore Years and Ten. an Autobiography
• An inaugural dissertation on the causes and effects of sleep
• Ethical Philosophy of Anselm of Canterbury from the Temporal to the Eternal
• Here Comes Smiley
• Instructor's resource guide
• Model Checking Software
• My Threescore Years and Ten
• Paul Leopold Haffner als Philosoph
• Ritual Reason Why
• Sketch of Handel and Beethoven