| |
| 2008 | ||
|---|---|---|
| 4 | EE | Katrin Rohlf, Simon Fraser, Raymond Kapral: Reactive multiparticle collision dynamics. Computer Physics Communications 179(1-3): 132-139 (2008) |
| 2007 | ||
| 3 | EE | Simon Fraser, Richard Banach: Configurable Proof Obligations in the Frog Toolkit. SEFM 2007: 361-370 |
| 2005 | ||
| 2 | EE | Richard Banach, Simon Fraser: Retrenchment and the B-Toolkit. ZB 2005: 203-221 |
| 1977 | ||
| 1 | Subrata Dasgupta, Simon Fraser: The Design of Some Language Constructs for Horizontal Microprogramming. ISCA 1977: 10-16 | |
| 1 | Richard Banach | [2] [3] |
| 2 | Subrata Dasgupta | [1] |
| 3 | Raymond Kapral | [4] |
| 4 | Katrin Rohlf | [4] |