| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1998 | |
|---|---|---|
| 6 |      | 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. SIGCSE Bulletin 30(2): 64-69 (1998) |
| 1994 | ||
| 5 | | V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland: Priority and Abstraction in Process Algebra. FSTTCS 1994: 217-230 |
| 1992 | ||
| 4 | | Linda Christoff, Ivan Christoff: Reasonong about Safety and Liveness Properties for Probabilistic Processes. FSTTCS 1992: 342-355 |
| 1991 | ||
| 3 | | Linda Christoff, Ivan Christoff: Efficient Algorithms for Verification of Equivalences for Probabilistic Processes. CAV 1991: 310-321 |
| 1990 | ||
| 2 | | Ivan Christoff: Testing Equivalences and Fully Abstract Models for Probabilistic Processes. CONCUR 1990: 126-140 |
| 1989 | ||
| 1 | | Ivan Christoff: A Method for Verification of Trace and Test Equivalence. Automatic Verification Methods for Finite State Systems 1989: 81-88 |
| 1 | Christina Björkman | [6] |
| 2 | Linda Christoff | [3] [4] [5] |
| 3 | Rance Cleaveland | [5] |
| 4 | V. Natarajan | [5] |
| 5 | Fredrik Palm | [6] |
| 6 | Anna Vallin | [6] |
Colors in the list of coauthors
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page