Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. Udgivet

    Composing and decomposing data types: a closed type families implementation of data types à la carte

    Bahr, P., 2014, Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, s. 71-82 12 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  2. Udgivet

    Modular tree automata

    Bahr, P., 2012, Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Gibbons, J. & Nogueira, P. (red.). Springer, s. 263-299 37 s. (Lecture notes in computer science, Bind 7342).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. Udgivet

    Parametric compositional data types

    Bahr, P. & Hvitved, T., 2012, Proceedings Fourth Workshop on Mathematically Structured Functional Programming. Chapman, J. & Levy, P. B. (red.). Open Publishing Association, s. 3-24 22 s. (Electronic Proceedings in Theoretical Computer Science, Bind 76).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  4. Udgivet

    Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting

    Bahr, P., 31 okt. 2012, 466 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  5. Udgivet

    Partial order infinitary term rewriting and Böhm trees

    Bahr, P., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Lynch, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 67-84 19 s. (Leibniz International Proceedings in Informatics (LIPIcs), Bind 6).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  6. Udgivet

    Abstract models of transfinite reductions

    Bahr, P., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Lynch, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 49-66 18 s. (Leibniz International Proceedings in Informatics, Bind 6).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. Udgivet
  8. Udgivet

    Cell-penetrating Peptides Targeting Intracellular Infections

    Bahnsen, J. S., Franzyk, Henrik, Sandberg-Schaal, A. & Nielsen, Hanne Mørck, 2013.

    Publikation: KonferencebidragPosterForskningfagfællebedømt

  9. Udgivet

    Antimicrobial and cell-penetrating properties of penetratin analogs: effect of sequence and secondary structure

    Bahnsen, J. S., Franzyk, Henrik, Sandberg-Schaal, A. & Nielsen, Hanne Mørck, 2013, I: B B A - Biomembranes. 1828, 2, s. 223-232 10 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  10. The antimicrobial and cell-penetrating effects of the CPP penetratin and derived analogues.

    Bahnsen, J. S., Franzyk, H. & Nielsen, Hanne Mørck, 2012.

    Publikation: KonferencebidragPosterForskning