Karin Johnsgard

According to our database, Karin Johnsgard authored at least 4 papers between 1996 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

A Formal Model for Credential Hopping Attacks.

Massimiliano Albanese, Karin Johnsgard, Vipin Swarup

Proceedings of the Computer Security - ESORICS 2022, 2022

2008

Using Alice in Overview Courses to Improve Success Rates in Programming I.

Karin Johnsgard, James McDonald

Proceedings of the Proceedings 21st Conference on Software Engineering Education and Training, 2008

2006

A Dichotomy Theorem for Typed Constraint Satisfaction Problems.

Su Chen, Tomasz Imielinski, Karin Johnsgard, Donald Smith, Mario Szegedy

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

1996

Two Automatic Spanning Trees in Small Cancellation Group Presentations.

Karin Johnsgard

Int. J. Algebra Comput., 1996