Simon Fraser

	2008
4		Katrin Rohlf, Simon Fraser, Raymond Kapral: Reactive multiparticle collision dynamics. Computer Physics Communications 179(1-3): 132-139 (2008)
	2007
3		Simon Fraser, Richard Banach: Configurable Proof Obligations in the Frog Toolkit. SEFM 2007: 361-370
	2005
2		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

Coauthor Index

1	Richard Banach	[2] [3]
2	Subrata Dasgupta	[1]
3	Raymond Kapral	[4]
4	Katrin Rohlf	[4]

Colors in the list of coauthors