Jeff W. Sanders

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Yifeng Chen

> Home > Persons > Jeff W. Sanders

Publications

2023
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ChenS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ChenS23
Yifeng Chen, Jeff W. Sanders:
A modal approach to conscious social agents. Int. J. Softw. Tools Technol. Transf. 25(5): 707-716 (2023)
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ChenS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ChenS23
Yifeng Chen, Jeff W. Sanders:
Consciousness by Degree. Theories of Programming and Formal Methods 2023: 87-109
2022
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ChenS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ChenS22
Yifeng Chen, Jeff W. Sanders:
A Modal Approach to Consciousness of Agents. ISoLA (3) 2022: 127-141
2010
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/ChenS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/ChenS10
Yifeng Chen, Jeff W. Sanders:
Abstraction of Object Graphs in Program Verification. MPC 2010: 80-99
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ChenS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ChenS10
Yifeng Chen, Jeff W. Sanders:
UTP and Sustainability. UTP 2010: 46-73
2009
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ChenS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ChenS09
Yifeng Chen, Jeff W. Sanders:
Unifying Probability with Nondeterminism. FM 2009: 467-482
2006
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/ChenS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/ChenS06
Yifeng Chen, Jeff W. Sanders:
Compositional Reasoning for Pointer Structures. MPC 2006: 115-139
2005
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/ChenS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/ChenS05
Yifeng Chen, Jeff W. Sanders:
The weakest specifunction. Acta Informatica 41(7-8): 383-414 (2005)
2004
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ChenS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ChenS04
Yifeng Chen, Jeff W. Sanders:
Logic of global synchrony. ACM Trans. Program. Lang. Syst. 26(2): 221-262 (2004)
2003
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ppl/ChenS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ppl/ChenS03
Yifeng Chen, Jeff W. Sanders:
Top-Down Design of Bulk-Synchronous Parallel Programs. Parallel Process. Lett. 13(3): 389-400 (2003)
2001
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ppl/ChenS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ppl/ChenS01
Yifeng Chen, Jeff W. Sanders:
Weakest Specifunctions for BSP. Parallel Process. Lett. 11(4): 439-454 (2001)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ChenS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChenS01
Yifeng Chen, Jeff W. Sanders:
Logic of Global Synchrony. CONCUR 2001: 487-501

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.