Ivan Christoff

According to our database, Ivan Christoff authored at least 6 papers between 1989 and 1998.

Collaborative distances:

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

1998

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

1994

Priority and Abstraction in Process Algebra.

V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

1992

Reasonong about Safety and Liveness Properties for Probabilistic Processes.

Linda Christoff, Ivan Christoff

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991

Efficient Algorithms for Verification of Equivalences for Probabilistic Processes.

Linda Christoff, Ivan Christoff

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Testing Equivalences and Fully Abstract Models for Probabilistic Processes.

Ivan Christoff

Proceedings of the CONCUR '90, 1990

1989

A Method for Verification of Trace and Test Equivalence.

Ivan Christoff

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989