Computing

• Gcov on an embedded system (GREPS workshop Brasov 2007)
• butterprover (2007), really small propositional prover
• g4tweak (2006), tweak g4-compressed scans
• Some brief notices on dynamic slicing of provers (2006)
• Per Kommandozeile in die Stadtsparkasse (Munich Open Source Infotainment Day 2004, in German)
• Using LDAP from Java+Tomcat and Python+Zope (GUUG Bochum talk 2003, de, local copy).
• Computersicht: Datenverarbeitung der optischen Wahrnehmung (course paper, 2003, in German)
• XML and Java (course paper, 2001, in German)
• Following the ZShell product's invitation to the Zope API (2001)
• Content management transactions - applicability of a dynamic object model (ECOOP Cannes workshop 2000)
• c42pdf, (1999-) a fast TIFF to PDF converter
• COWBOY.TAP Cowboy text adventure for ZX Spectrum (1986, fraternal credits to Robert for finding and restoring this from an 1980s audio tape making a fine 2008 birthday surprise ...)