A Method for Verification of Trace and Test Equivalence. - Ivan Christoff (Automatic Verification Methods for Finite State Systems, 1989)

Testing Equivalences and Fully Abstract Models for Probabilistic Processes. - Ivan Christoff (CONCUR, 1990)

Efficient Algorithms for Verification of Equivalences for Probabilistic Processes. - Linda Christoff; Ivan Christoff (CAV, 1991)

Reasonong about Safety and Liveness Properties for Probabilistic Processes. - Linda Christoff; Ivan Christoff (FSTTCS, 1992)

Priority and Abstraction in Process Algebra. - V. Natarajan 001; Ivan Christoff; Linda Christoff; Rance Cleaveland (FSTTCS, 1994)

Exploring the pipeline: towards an understanding of the male dominated computing culture and its influence on women. - Christina Björkman; Ivan Christoff; Fredrik Palm; Anna Vallin (ACM SIGCSE Bull., 1998)