2014

• Certification of Nontermination Proofs using Strategies and Nonlooping Derivations.

  VSTTE 2014, July 18, Vienna (pdf)

• Satisfiability Encodings of DP Techniques for Maximal Completion.

  41st TRS Meeting, September 27, Jozankei/Sapporo (pdf)

2013

• Beyond Peano Arithmetic. Automatically Proving Termination of the Goodstein Sequence.

  RTA 2013, June 26, Eindhoven (pdf)

• Normalized Completion Revisited.

  RTA 2013, June 24, Eindhoven (pdf)

• Termination Tools in Automated Reasoning.

  PhD defense, March 21, Innsbruck (pdf)

2012

• Ordinals and Knuth-Bendix Orders.

  LPAR-18, March 11, Merida (pdf)

2011

• AC-Completion with Termination Tools.

  CADE-23, August 2, Wroclaw

2010

• Termination Tools in Ordered Completion.

  Austria-Japan Summer Workshop on Rewriting (AJSW 2010), August 2, Obergurgl (pdf)

• Optimizing mkbtt.

  RTA 2010, July 13, Edinburgh (pdf)

• Termination Tools in Ordered Completion.

  IJCAR 2010, July 19, Edinburgh

• Are ground-complete systems unique?.

  Workshop Paris-Innsbruck-Tbilisi, May 20, Paris (pdf)

2008

• Automatic Termination Tools in Knuth-Bendix Completion.

  All Seminar @ Hokkaido University, November 20, Sapporo (pdf)

• Multi-Completion with Termination Tools.

  IJCAR 2008, August 13, Sydney (pdf)