Jeff W. Sanders

2007
26	EE	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	EE	Jeff W. Sanders, Matteo Turilli: Dynamics of Control. TASE 2007: 440-449
2006
24	EE	Yifeng Chen, Jeff W. Sanders: Compositional Reasoning for Pointer Structures. MPC 2006: 115-139
23	EE	Jeff W. Sanders: Computations and Relational Bundles. RelMiCS 2006: 30-62
22	EE	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	EE	Yifeng Chen, Jeff W. Sanders: The weakest specifunction. Acta Inf. 41(7-8): 383-414 (2005)
2004
19	EE	Florian Kammüller, Jeff W. Sanders: Idempotent Relations in Isabelle/HOL. ICTAC 2004: 310-324
18	EE	Florian Kammüller, Jeff W. Sanders: Heuristics for Refinement Relations. SEFM 2004: 292-299
17	EE	Yifeng Chen, Jeff W. Sanders: Logic of global synchrony. ACM Trans. Program. Lang. Syst. 26(2): 221-262 (2004)
2003
16	EE	Yifeng Chen, Jeff W. Sanders: Top-Down Design of Bulk-Synchronous Parallel Programs. Parallel Processing Letters 13(3): 389-400 (2003)
2001
15	EE	Yifeng Chen, Jeff W. Sanders: Logic of Global Synchrony. CONCUR 2001: 487-501
14	EE	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]
4	Chris George	[26]
5	John Graham-Cumming	[8]
6	Ian J. Hayes	[3] [9]
7	Jifeng He	[1] [2] [3] [22]
8	C. A. R. Hoare (Tony Hoare)	[1] [2] [3]
9	Cliff B. Jones	[21]
10	Florian Kammüller	[14] [18] [19]
11	Padmanabhan Krishnan	[26]
12	Luming Lai	[11]
13	Christian Lengauer	[4] [6]
14	Annabelle McIver	[10]
15	Carroll Morgan	[3] [10]
16	Karen Paliwoda	[7]
17	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[3]
18	Percy Antonio Pari Salas	[26]
19	Karen Seidel	[10]
20	Ib Holm Sørensen	[3]
21	J. Michael Spivey	[3]
22	Bernard Sufrin	[3]
23	Matteo Turilli	[25]
24	Paolo Zuliani	[12]

Colors in the list of coauthors