Peter Schneider-Kamp

Activities

Activities per year 2001 2009 2010 2013

• 21 Conference organisation or participation
• 21 Peer review of manuscripts
• 8 Talks and presentations in private or public companies
• 5 Membership of commitees, commissions, boards, councils, associations, organisations, or similar
• 13 More
  • 4 Membership of review committee
  • 4 Visiting another research institution
  • 3 Organisation or participation in workshops, courses or seminars
  • 1 Board duties in companies, associations, or public organisations
  • 1 Other

Activities per year

Search results

• Synthesizing Shortest Straight-Line Programs over GF(2) using SAT

  Peter Schneider-Kamp (Lecturer)

  20. Jul 2010

  Activity: Talks and presentations › Talks and presentations in private or public companies

• Automated Termination Analysis of Programs using Dependency Pairs

  Peter Schneider-Kamp (Lecturer)

  4. Nov 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies

• Automated Termination Analysis of Programs using Dependency Pairs

  Peter Schneider-Kamp (Lecturer)

  22. Oct 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies

• Proving Termination of Logic Programs with Cut

  Peter Schneider-Kamp (Lecturer)

  15. Oct 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies

• The Dependency Triple Framework for Termination of Logic Programs

  Peter Schneider-Kamp (Lecturer)

  10. Sep 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies

• Automated Termination Analysis of Programs using Term Rewriting

  Peter Schneider-Kamp (Lecturer)

  20. Aug 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies

• Termination Analysis by Dependency Pairs and Inductive Theorem Proving

  Peter Schneider-Kamp (Lecturer)

  6. Aug 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies

• Proving Termination for Logic Programs with Cut

  Peter Schneider-Kamp (Lecturer)

  5. Jun 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies