Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Jeff W. Sanders

Jeffrey W. Sanders

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/SandersS12
- ask others
Jeff W. Sanders, Graeme Smith: Emergence and refinement. Formal Asp. Comput. 24(1): 45-65 (2012)
[j15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/ZhuYHBSQ12
- ask others
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin: Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebr. Program. 81(1): 2-25 (2012)
[c26]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/SmithSW12
- ask others
Graeme Smith, Jeffrey W. Sanders, Kirsten Winter: Reasoning About Adaptivity of Agents and Multi-agent Systems. ICECCS 2012: 341-350
[c25]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pst/SmithS12
- ask others
Graeme Smith, Jeff W. Sanders: Using conventional reasoning techniques for self-organising systems. PST 2012: 238-243
[c24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/utp/ZhuSHQ12
- ask others
Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin: Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP 2012: 224-247
2010
[c23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/ChenS10
- ask others
Yifeng Chen, Jeff W. Sanders: Abstraction of Object Graphs in Program Verification. MPC 2010: 80-99
[c22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/saso/SandersS10
- ask others
Jeff W. Sanders, Graeme Smith: Assuring Adaptive Behaviour in Self-Organising Systems. SASO Workshops 2010: 172-177
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/utp/ChenS10
- ask others
Yifeng Chen, Jeff W. Sanders: UTP and Sustainability. UTP 2010: 46-73

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/RabehajaS09
- ask others
T. M. Rabehaja, Jeff W. Sanders: Data Refinement with Probability in Mind. Electr. Notes Theor. Comput. Sci. 259: 165-176 (2009)
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/SandersS09
- ask others
Jeff W. Sanders, Graeme Smith: Refining Emergent Properties. Electr. Notes Theor. Comput. Sci. 259: 207-223 (2009)
[c20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atc/SmithS09
- ask others
Graeme Smith, Jeffrey W. Sanders: Formal Development of Self-organising Systems. ATC 2009: 90-104
[c19]
- view
  - electronic edition @ crpit.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cats/NdukwuS09
- ask others
Ukachukwu Ndukwu, Jeff W. Sanders: Reasoning about a Distributed Probabilistic System. CATS 2009: 35-42
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/ChenS09
- ask others
Yifeng Chen, Jeff W. Sanders: Unifying Probability with Nondeterminism. FM 2009: 467-482
[c17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icwe/DingJPS09
- ask others
Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders: Modelling and Verification of Web Navigation. ICWE 2009: 181-188
[c16]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sew/ZhuYHBS09
- ask others
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders: Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. SEW 2009: 104-114
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tase/RabehajaS09
- ask others
T. M. Rabehaja, Jeff W. Sanders: Refinement Algebra with Explicit Probabilism. TASE 2009: 63-70
2008
[j12]
- view
  - electronic edition @ infoiasi.ro
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cuza/RewitzkyS08
- ask others
Ingrid Rewitzky, Jeff W. Sanders: Involutions on Relational Program Calculi. Sci. Ann. Comp. Sci. 18: 129-171 (2008)
[p1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - series/lncs/SandersS08
- ask others
Jeffrey W. Sanders, Graeme Smith: Formal Ensemble Engineering. Software-Intensive Systems and New Computing Paradigms 2008: 132-138
2007
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/GeorgeKSS07
- ask others
Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders: Specification for Testing. Formal Methods and Hybrid Real-Time Systems 2007: 280-299
[c13]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tase/SandersT07
- ask others
Jeff W. Sanders, Matteo Turilli: Dynamics of Control. TASE 2007: 440-449
2006
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/Sanders06
- ask others
Jeff W. Sanders: Computations and Relational Bundles. RelMiCS 2006: 30-62
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/ChenS06
- ask others
Yifeng Chen, Jeff W. Sanders: Compositional Reasoning for Pointer Structures. MPC 2006: 115-139
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/utp/HeS06
- ask others
Jifeng He, Jeff W. Sanders: Unifying Probability. UTP 2006: 173-199
2005
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/ChenS05
- ask others
Yifeng Chen, Jeff W. Sanders: The weakest specifunction. Acta Inf. 41(7-8): 383-414 (2005)
[e1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/2004csp
- ask others
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (Eds.): 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. Lecture Notes in Computer Science 3525, Springer 2005, ISBN 3-540-25813-2
2004
[j10]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/ChenS04
- ask others
Yifeng Chen, Jeff W. Sanders: Logic of global synchrony. ACM Trans. Program. Lang. Syst. 26(2): 221-262 (2004)
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ictac/KammullerS04
- ask others
Florian Kammüller, Jeff W. Sanders: Idempotent Relations in Isabelle/HOL. ICTAC 2004: 310-324
[c8]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sefm/KammullerS04
- ask others
Florian Kammüller, Jeff W. Sanders: Heuristics for Refinement Relations. SEFM 2004: 292-299
2003
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ppl/ChenS03
- ask others
Yifeng Chen, Jeff W. Sanders: Top-Down Design of Bulk-Synchronous Parallel Programs. Parallel Processing Letters 13(3): 389-400 (2003)
2001
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/BurghardtKS01
- ask others
Jochen Burghardt, Florian Kammüller, Jeff W. Sanders: On the antisymmetry of Galois embeddings. Inf. Process. Lett. 79(2): 57-63 (2001)
[j7]
- view
  - electronic edition @ worldscinet.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ppl/ChenS01
- ask others
Yifeng Chen, Jeff W. Sanders: Weakest Specifunctions for BSP. Parallel Processing Letters 11(4): 439-454 (2001)
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/ChenS01
- ask others
Yifeng Chen, Jeff W. Sanders: Logic of Global Synchrony. CONCUR 2001: 487-501
2000
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/SandersZ00
- ask others
Jeff W. Sanders, Paolo Zuliani: Quantum Programming. MPC 2000: 80-99

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1997
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iwfm/LaiS97
- ask others
Luming Lai, Jeff W. Sanders: A Refinement Calculus for Communicating Processes with State. IWFM 1997
1996
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/MorganMSS96
- ask others
Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders: Refinement-Oriented Probability for CSP. Formal Asp. Comput. 8(6): 617-647 (1996)
1995
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/HayesS95
- ask others
Ian J. Hayes, Jeff W. Sanders: Specification by Interface Separation. Formal Asp. Comput. 7(4): 430-439 (1995)
1991
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/dc/PaliwodaS91
- ask others
Karen Paliwoda, Jeff W. Sanders: An Incremental Specification of the Sliding-Window Protocol. Distributed Computing 5: 83-94 (1991)
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csfw/Graham-CummingS91
- ask others
John Graham-Cumming, Jeff W. Sanders: On the Refinement of Non-Interference. CSFW 1991: 35-42
1990
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/LengauerS90
- ask others
Christian Lengauer, Jeff W. Sanders: The Projection of Systolic Programs. Formal Asp. Comput. 2(3): 273-293 (1990)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Sanders89
- ask others
Jeff W. Sanders: A Hierarchical Approach to Hardware Design. Concurrency: Theory, Language, And Architecture 1989: 282-296
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/LengauerS89
- ask others
Christian Lengauer, Jeff W. Sanders: The Projection of Systolic Programs. MPC 1989: 307-324
1987
[j2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cacm/HoareHJMRSSSS87
- ask others
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)
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/HoareHS87
- ask others
C. A. R. Hoare, Jifeng He, Jeff W. Sanders: Prespecification in Data Refinement. Inf. Process. Lett. 25(2): 71-76 (1987)
1986
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/HeHS86
- ask others
Jifeng He, C. A. R. Hoare, Jeff W. Sanders: Data Refinement Refined. ESOP 1986: 187-196

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?