| |
| 2008 | ||
|---|---|---|
| 4 | EE | Joëlle Cohen, Anatol Slissenko: Stability of Real-Time Abstract State Machines under Desynchronization. ABZ 2008: 341 |
| 2005 | ||
| 3 | EE | Anatol Slissenko, Joëlle Cohen: On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays. Abstract State Machines 2005: 387-396 |
| 2000 | ||
| 2 | EE | Joëlle Cohen, Anatol Slissenko: On Verification of Refinements of Timed Distributed Algorithms. Abstract State Machines 2000: 34-49 |
| 1993 | ||
| 1 | Joëlle Cohen, Dominique Perrin, Jean-Eric Pin: On the Expressive Power of Temporal Logic. J. Comput. Syst. Sci. 46(3): 271-294 (1993) | |
| 1 | Dominique Perrin | [1] |
| 2 | Jean-Eric Pin | [1] |
| 3 | Anatol Slissenko | [2] [3] [4] |