Two Automatic Spanning Trees in Small Cancellation Group Presentations. - Karin Johnsgard (Int. J. Algebra Comput., 1996)

A Dichotomy Theorem for Typed Constraint Satisfaction Problems. - Su Chen; Tomasz Imielinski; Karin Johnsgard; Donald Smith; Mario Szegedy (SAT, 2006)

Using Alice in Overview Courses to Improve Success Rates in Programming I. - Karin Johnsgard; James McDonald (CSEE&T, 2008)

A Formal Model for Credential Hopping Attacks. - Massimiliano Albanese; Karin Johnsgard; Vipin Swarup (ESORICS (1), 2022)