dblp.uni-trier.dewww.uni-trier.de

Jeff W. Sanders Vis

Jeffrey W. Sanders

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
29EEGraeme Smith, Jeffrey W. Sanders: Formal Development of Self-organising Systems. ATC 2009: 90-104
28EEZuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders: Modelling and Verification of Web Navigation. ICWE 2009: 181-188
2008
27EEJeffrey W. Sanders, Graeme Smith: Formal Ensemble Engineering. Software-Intensive Systems and New Computing Paradigms 2008: 132-138
2007
26EEChris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders: Specification for Testing. Formal Methods and Hybrid Real-Time Systems 2007: 280-299
25EEJeff W. Sanders, Matteo Turilli: Dynamics of Control. TASE 2007: 440-449
2006
24EEYifeng Chen, Jeff W. Sanders: Compositional Reasoning for Pointer Structures. MPC 2006: 115-139
23EEJeff W. Sanders: Computations and Relational Bundles. RelMiCS 2006: 30-62
22EEJifeng 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
20EEYifeng Chen, Jeff W. Sanders: The weakest specifunction. Acta Inf. 41(7-8): 383-414 (2005)
2004
19EEFlorian Kammüller, Jeff W. Sanders: Idempotent Relations in Isabelle/HOL. ICTAC 2004: 310-324
18EEFlorian Kammüller, Jeff W. Sanders: Heuristics for Refinement Relations. SEFM 2004: 292-299
17EEYifeng Chen, Jeff W. Sanders: Logic of global synchrony. ACM Trans. Program. Lang. Syst. 26(2): 221-262 (2004)
2003
16EEYifeng Chen, Jeff W. Sanders: Top-Down Design of Bulk-Synchronous Parallel Programs. Parallel Processing Letters 13(3): 389-400 (2003)
2001
15EEYifeng Chen, Jeff W. Sanders: Logic of Global Synchrony. CONCUR 2001: 487-501
14EEJochen 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
5EEJeff 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
1EEJifeng He, C. A. R. Hoare, Jeff W. Sanders: Data Refinement Refined. ESOP 1986: 187-196

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)