Jeff W. Sanders

Jeffrey W. Sanders

	2009
30		Graeme Smith, Jeffrey W. Sanders: Formal Development of Self-organising Systems. ATC 2009: 90-104
29		Yifeng Chen, Jeff W. Sanders: Unifying Probability with Nondeterminism. FM 2009: 467-482
28		Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders: Modelling and Verification of Web Navigation. ICWE 2009: 181-188
	2008
27		Jeffrey W. Sanders, Graeme Smith: Formal Ensemble Engineering. Software-Intensive Systems and New Computing Paradigms 2008: 132-138
	2007
26		Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders: Specification for Testing. Formal Methods and Hybrid Real-Time Systems 2007: 280-299
25		Jeff W. Sanders, Matteo Turilli: Dynamics of Control. TASE 2007: 440-449
	2006
24		Yifeng Chen, Jeff W. Sanders: Compositional Reasoning for Pointer Structures. MPC 2006: 115-139
23		Jeff W. Sanders: Computations and Relational Bundles. RelMiCS 2006: 30-62
22		Jifeng He, Jeff W. Sanders: Unifying Probability. UTP 2006: 173-199
	2005
21		Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers Springer 2005
20		Yifeng Chen, Jeff W. Sanders: The weakest specifunction. Acta Inf. 41(7-8): 383-414 (2005)
	2004
19		Florian Kammüller, Jeff W. Sanders: Idempotent Relations in Isabelle/HOL. ICTAC 2004: 310-324
18		Florian Kammüller, Jeff W. Sanders: Heuristics for Refinement Relations. SEFM 2004: 292-299
17		Yifeng Chen, Jeff W. Sanders: Logic of global synchrony. ACM Trans. Program. Lang. Syst. 26(2): 221-262 (2004)
	2003
16		Yifeng Chen, Jeff W. Sanders: Top-Down Design of Bulk-Synchronous Parallel Programs. Parallel Processing Letters 13(3): 389-400 (2003)
	2001
15		Yifeng Chen, Jeff W. Sanders: Logic of Global Synchrony. CONCUR 2001: 487-501
14		Jochen Burghardt, Florian Kammüller, Jeff W. Sanders: On the antisymmetry of Galois embeddings. Inf. Process. Lett. 79(2): 57-63 (2001)
13		Yifeng Chen, Jeff W. Sanders: Weakest Specifunctions for BSP. Parallel Processing Letters 11(4): 439-454 (2001)
	2000
12		Jeff W. Sanders, Paolo Zuliani: Quantum Programming. MPC 2000: 80-99
	1997
11		Luming Lai, Jeff W. Sanders: A Refinement Calculus for Communicating Processes with State. IWFM 1997
	1996
10		Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders: Refinement-Oriented Probability for CSP. Formal Asp. Comput. 8(6): 617-647 (1996)
	1995
9		Ian J. Hayes, Jeff W. Sanders: Specification by Interface Separation. Formal Asp. Comput. 7(4): 430-439 (1995)
	1991
8		John Graham-Cumming, Jeff W. Sanders: On the Refinement of Non-Interference. CSFW 1991: 35-42
7		Karen Paliwoda, Jeff W. Sanders: An Incremental Specification of the Sliding-Window Protocol. Distributed Computing 5: 83-94 (1991)
	1990
6		Christian Lengauer, Jeff W. Sanders: The Projection of Systolic Programs. Formal Asp. Comput. 2(3): 273-293 (1990)
	1989
5		Jeff W. Sanders: A Hierarchical Approach to Hardware Design. Concurrency: Theory, Language, And Architecture 1989: 282-296
4		Christian Lengauer, Jeff W. Sanders: The Projection of Systolic Programs. MPC 1989: 307-324
	1987
3		C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin: Laws of Programming. Commun. ACM 30(8): 672-686 (1987)
2		C. A. R. Hoare, Jifeng He, Jeff W. Sanders: Prespecification in Data Refinement. Inf. Process. Lett. 25(2): 71-76 (1987)
	1986
1		Jifeng He, C. A. R. Hoare, Jeff W. Sanders: Data Refinement Refined. ESOP 1986: 187-196

Coauthor Index

1	Ali E. Abdallah	[21]
2	Jochen Burghardt	[14]
3	Yifeng Chen	[13] [15] [16] [17] [20] [24] [29]
4	Zuohua Ding	[28]
5	Chris George	[26]
6	John Graham-Cumming	[8]
7	Ian J. Hayes	[3] [9]
8	Jifeng He	[1] [2] [3] [22]
9	C. A. R. Hoare (Tony Hoare)	[1] [2] [3]
10	Mingyue Jiang	[28]
11	Cliff B. Jones	[21]
12	Florian Kammüller	[14] [18] [19]
13	Padmanabhan Krishnan	[26]
14	Luming Lai	[11]
15	Christian Lengauer	[4] [6]
16	Annabelle McIver (A. K. McIver)	[10]
17	Carroll Morgan (Carroll C. Morgan)	[3] [10]
18	Karen Paliwoda	[7]
19	Geguang Pu	[28]
20	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[3]
21	Percy Antonio Pari Salas	[26]
22	Karen Seidel	[10]
23	Graeme Smith	[27] [30]
24	Ib Holm Sørensen	[3]
25	J. Michael Spivey	[3]
26	Bernard Sufrin	[3]
27	Matteo Turilli	[25]
28	Paolo Zuliani	[12]

Colors in the list of coauthors