Peter Schneider-Kamp

Peter Schneider-Kamp

Campusvej 55

5230 Odense M

Denmark

View graph of relations

  1. Published

    Active Integrity Constraints: from Theory to Implementation

    Research output: Research - peer-reviewArticle in proceedings

  2. Published

    Efficient Certified Resolution Proof Checking

    Research output: Research - peer-reviewArticle in proceedings

  3. Accepted/In press

    Formally Proving Size Optimality of Sorting Networks

    Research output: Research - peer-reviewJournal article

  4. Published

    Formally Proving the Boolean Triples Conjecture

    Research output: Research - peer-reviewArticle in proceedings

  5. Published

    How to Get More Out of Your Oracles

    Research output: Research - peer-reviewArticle in proceedings

View all (39) »

  1. digital high school exams for HHX (External organisation)

    Activity: MembershipMembership of commitees, commissions, boards, councils, associations, organisations, or similar

  2. 13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

    Activity: Attending an eventConference organisation or participation

  3. 21st International Symposium on Logic-Based Program-Synthesis and Transformation (LOPSTR 2011)

    Activity: Attending an eventConference organisation or participation

View all (68) »

  1. Teaching Award 2012

    Prize: Prizes, scholarships, distinctions

  2. Researcher Award 2014

    Prize: Prizes, scholarships, distinctions

  3. Friedrich-Wilhelm-Preis

    Prize: Prizes, scholarships, distinctions

View all (3) »