BI Hyperdoctrines and Higher-Order Separation Logic. - Bodil Biering; Lars Birkedal; Noah Torp-Smith (ESOP, 2005)

BI-hyperdoctrines, higher-order separation logic, and abstraction. - Bodil Biering; Lars Birkedal; Noah Torp-Smith (ACM Trans. Program. Lang. Syst., 2007)

Cartesian closed Dialectica categories. - Bodil Biering (Ann. Pure Appl. Log., 2008)

No Silver Bullet: Towards Demonstrating Secure Software Development for Small and Medium Enterprises in a Business-to-Business Model. - Raha Asadi; Bodil Biering; Vincent van Dijk; Oksana Kulyk; Elda Paja (CHI, 2025)

No Silver Bullet: Towards Demonstrating Secure Software Development for Danish Small and Medium Enterprises in a Business-to-Business Model. - Raha Asadi; Bodil Biering; Vincent van Dijk; Oksana Kulyk; Elda Paja (CoRR, 2025)