Ivan Christoff

Publication Activity (10 Years)

Years Active: 1989-1998
Publications (10 Years): 0

Publications

Christina Björkman, Ivan Christoff, Fredrik Palm, Anna Vallin
Exploring the pipeline: towards an understanding of the male dominated computing culture and its influence on women. ACM SIGCSE Bull. 30 (2) (1998)
V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland
Priority and Abstraction in Process Algebra. FSTTCS (1994)
Linda Christoff, Ivan Christoff
Reasonong about Safety and Liveness Properties for Probabilistic Processes. FSTTCS (1992)
Linda Christoff, Ivan Christoff
Efficient Algorithms for Verification of Equivalences for Probabilistic Processes. CAV (1991)
Ivan Christoff
Testing Equivalences and Fully Abstract Models for Probabilistic Processes. CONCUR (1990)
Ivan Christoff
A Method for Verification of Trace and Test Equivalence. Automatic Verification Methods for Finite State Systems (1989)