Ivan Christoff

Priority and abstraction in process algebra

Rance Cleaveland, V. Natarajan, Ivan Christoff, 1994, Inf. Comput..

Exploring the pipeline: towards an understanding of the male dominated computing culture and its influence on women

Ivan Christoff, Fredrik Palm, Christina Björkman, 1998, SGCS.

Testing Equivalences and Fully Abstract Models for Probabilistic Processes

Ivan Christoff, Ivan Christoff, 1990, CONCUR.

A Method for Verification of Trace and Test Equivalence

Ivan Christoff, 1989, Automatic Verification Methods for Finite State Systems.

Efficient Algorithms for Verification of Equivalences for Probabilistic Processes

Ivan Christoff, Linda Christoff, Linda Christoff, 1991, CAV.

Reasonong about Safety and Liveness Properties for Probabilistic Processes

Ivan Christoff, Linda Christoff, Linda Christoff, 1992, FSTTCS.