Berger, Martin and Tratt, Laurence (2010) Program logics for homogeneous meta-programming. In: 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Dakar, Senegal.

Berger, Martin (2010) Program logics for sequential higher-order control. In: 3rd IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish Island, IRAN.

Yoshida, Nobuko, Honda, Kohei and Berger, Martin (2008) Logical Reasoning for Higher-Order Functions with Local State. Logical Methods in Computer Science, 4 (4). pp. 1-68. ISSN 1860-5974

Berger, Martin, Honda, Kohei and Yoshida, Nobuko (2008) Completeness and logical full abstraction in modal logics for typed mobile processes. In: 35th International Colloquium on Automata, Languages and Programming (ICALP), Reykjavik, Iceland.