Peter Schneider-Kamp

Peter Schneider-Kamp

Campusvej 55

5230 Odense M

Danmark

Vis graf over relationer

  1. Udgivet

    Active Integrity Constraints: from Theory to Implementation

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  2. Udgivet

    Efficient Certified Resolution Proof Checking

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  3. Accepteret/In press

    Formally Proving Size Optimality of Sorting Networks

    Publikation: Forskning - peer reviewTidsskriftartikel

  4. Udgivet

    Formally Proving the Boolean Triples Conjecture

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  5. Udgivet

    Optimal-depth sorting networks

    Publikation: Forskning - peer reviewTidsskriftartikel

Vis alle (38) »

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

    Aktivitet: MedlemsskabMedlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

  2. inventor of SDU Scribble

    Aktivitet: AndetAndet (priser, ekstern undervisning samt andet). - Andet

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

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Vis alle (68) »

  1. Undervisningspris 2012

    Pris: Priser, stipendier, udnævnelser

  2. Forskerpris 2014

    Pris: Priser, stipendier, udnævnelser

  3. Friedrich-Wilhelm-Preis

    Pris: Priser, stipendier, udnævnelser

Vis alle (3) »