Peter Schneider-Kamp

Peter Schneider-Kamp

Campusvej 55

5230 Odense M

Denmark

Phone: 65502327Mobile: 26509755Fax: 65502373

View graph of relations

  1. Published

    Design thinking for website optimization. A case study.

    Research output: Contribution to conference without publisher/journalPaperResearchpeer-review

  2. Published

    Active integrity constraints for general-purpose knowledge bases

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. E-pub ahead of print

    Sorting networks: to the end and back again

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. Published

    Active Integrity Constraints: from Theory to Implementation

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  5. Published

    Analyzing Program Termination and Complexity Automatically with AProVE

    Research output: Contribution to journalJournal articleResearchpeer-review

View all (44) »

  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) »