default search action
Jeff W. Sanders
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c37]Yifeng Chen, Jeff W. Sanders:
The Evolving Conscious Agent, I. ISoLA (2) 2024: 88-103 - 2023
- [j19]Yifeng Chen, Jeff W. Sanders:
A modal approach to conscious social agents. Int. J. Softw. Tools Technol. Transf. 25(5): 707-716 (2023) - [c36]Yifeng Chen, Jeff W. Sanders:
Consciousness by Degree. Theories of Programming and Formal Methods 2023: 87-109 - 2022
- [c35]Yifeng Chen, Jeff W. Sanders:
A Modal Approach to Consciousness of Agents. ISoLA (3) 2022: 127-141
2010 – 2019
- 2018
- [c34]Jan Sürmeli, Stefan Jähnichen, Jeff W. Sanders:
Modelling the Transition to Distributed Ledgers. ISoLA (3) 2018: 48-62 - 2015
- [c33]Graeme Smith, Jeff W. Sanders, Qin Li:
A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage. ACSC 2015: 73-81 - 2014
- [j18]Xi Liu, Shaofa Yang, Jeff W. Sanders:
Compensation by design. Formal Aspects Comput. 26(4): 623-676 (2014) - [j17]Graeme Smith
, Jeff W. Sanders, Kirsten Winter:
Designing Adaptive Systems Using Teleo-Reactive Agents. Trans. Comput. Collect. Intell. 16: 34-61 (2014) - [c32]Graeme Smith
On Directional Bias for Network Coverage. BIC-TA 2014: 384-388 - [i1]Graeme Smith, Jeff W. Sanders, Qin Li:
A macro-level model for investigating the effect of directional bias on network coverage. CoRR abs/1407.5762 (2014) - 2013
- [c31]Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu:
Formal Modelling and Analysis of AODV. ICECCS 2013: 93-100 - 2012
- [j16]Jeff W. Sanders, Graeme Smith
Emergence and refinement. Formal Aspects Comput. 24(1): 45-65 (2012) - [j15]Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebraic Methods Program. 81(1): 2-25 (2012) - [c30]Graeme Smith
Reasoning About Adaptivity of Agents and Multi-agent Systems. ICECCS 2012: 341-350 - [c29]Graeme Smith
Using conventional reasoning techniques for self-organising systems. PST 2012: 238-243 - [c28]Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin
Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP 2012: 224-247 - 2010
- [c27]Yifeng Chen, Jeff W. Sanders:
Abstraction of Object Graphs in Program Verification. MPC 2010: 80-99 - [c26]Jeff W. Sanders, Graeme Smith
Assuring Adaptive Behaviour in Self-Organising Systems. SASO Workshops 2010: 172-177 - [c25]Moritz Kleine, Jeff W. Sanders:
Simulating Truly Concurrent CSP. SBMF 2010: 128-143 - [c24]Yifeng Chen, Jeff W. Sanders:
UTP and Sustainability. UTP 2010: 46-73
2000 – 2009
- 2009
- [c23]Graeme Smith
Formal Development of Self-organising Systems. ATC 2009: 90-104 - [c22]Ukachukwu Ndukwu, Jeff W. Sanders:
Reasoning about a Distributed Probabilistic System. CATS 2009: 35-42 - [c21]Yifeng Chen, Jeff W. Sanders:
Unifying Probability with Nondeterminism. FM 2009: 467-482 - [c20]Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders:
Modelling and Verification of Web Navigation. ICWE 2009: 181-188 - [c19]Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. SEW 2009: 104-114 - [c18]T. M. Rabehaja, Jeff W. Sanders:
Refinement Algebra with Explicit Probabilism. TASE 2009: 63-70 - [c17]T. M. Rabehaja, Jeff W. Sanders:
Data Refinement with Probability in Mind. REFINE@FMWeek 2009: 165-176 - [c16]Jeff W. Sanders, Graeme Smith
Refining Emergent Properties. REFINE@FMWeek 2009: 207-223 - 2008
- [j14]Ingrid Rewitzky, Jeff W. Sanders:
Involutions on Relational Program Calculi. Sci. Ann. Comput. Sci. 18: 129-171 (2008) - [p1]Jeffrey W. Sanders, Graeme Smith:
Formal Ensemble Engineering. Software-Intensive Systems and New Computing Paradigms 2008: 132-138 - 2007
- [c15]Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders:
Specification for Testing. Formal Methods and Hybrid Real-Time Systems 2007: 280-299 - [c14]Jeff W. Sanders, Matteo Turilli
Dynamics of Control. TASE 2007: 440-449 - 2006
- [c13]Jeff W. Sanders:
Computations and Relational Bundles. RelMiCS 2006: 30-62 - [c12]Yifeng Chen, Jeff W. Sanders:
Compositional Reasoning for Pointer Structures. MPC 2006: 115-139 - [c11]Jifeng He, Jeff W. Sanders:
Unifying Probability. UTP 2006: 173-199 - 2005
- [j13]Yifeng Chen, Jeff W. Sanders:
The weakest specifunction. Acta Informatica 41(7-8): 383-414 (2005) - [e1]Ali E. Abdallah, Cliff B. Jones
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 [contents] - 2004
- [j12]Luciano Floridi
On the Morality of Artificial Agents. Minds Mach. 14(3): 349-379 (2004) - [j11]Yifeng Chen, Jeff W. Sanders:
Logic of global synchrony. ACM Trans. Program. Lang. Syst. 26(2): 221-262 (2004) - [c10]Florian Kammüller, Jeff W. Sanders:
Idempotent Relations in Isabelle/HOL. ICTAC 2004: 310-324 - [c9]Florian Kammüller, Jeff W. Sanders:
Heuristics for Refinement Relations. SEFM 2004: 292-299 - 2003
- [j10]Yifeng Chen, Jeff W. Sanders:
Top-Down Design of Bulk-Synchronous Parallel Programs. Parallel Process. Lett. 13(3): 389-400 (2003) - 2001
- [j9]Jochen Burghardt, Florian Kammüller, Jeff W. Sanders:
On the antisymmetry of Galois embeddings. Inf. Process. Lett. 79(2): 57-63 (2001) - [j8]Jeff W. Sanders:
Luciano Floridi, Philosophy and Computing: An introduction, London and New York: Routledge, 1999, xiv+242 pp., ISBN 0-415-18025-2. Minds Mach. 11(1): 151-154 (2001) - [j7]Yifeng Chen, Jeff W. Sanders:
Weakest Specifunctions for BSP. Parallel Process. Lett. 11(4): 439-454 (2001) - [c8]Yifeng Chen, Jeff W. Sanders:
Logic of Global Synchrony. CONCUR 2001: 487-501 - 2000
- [c7]C. Ratzko, Jeff W. Sanders:
A calculus of signals. ICECS 2000: 399-402 - [c6]Jeff W. Sanders, Paolo Zuliani:
Quantum Programming. MPC 2000: 80-99
1990 – 1999
- 1997
- [c5]Luming Lai, Jeff W. Sanders:
A Refinement Calculus for Communicating Processes with State. IWFM 1997 - 1996
- [j6]Carroll Morgan, Annabelle McIver
Refinement-Oriented Probability for CSP. Formal Aspects Comput. 8(6): 617-647 (1996) - 1995
- [j5]Ian J. Hayes
Specification by Interface Separation. Formal Aspects Comput. 7(4): 430-439 (1995) - 1991
- [j4]Karen Paliwoda, Jeff W. Sanders:
An Incremental Specification of the Sliding-Window Protocol. Distributed Comput. 5: 83-94 (1991) - [c4]John Graham-Cumming, Jeff W. Sanders:
On the Refinement of Non-Interference. CSFW 1991: 35-42 - 1990
- [j3]Christian Lengauer, Jeff W. Sanders:
The Projection of Systolic Programs. Formal Aspects Comput. 2(3): 273-293 (1990)
1980 – 1989
- 1989
- [c3]Jeff W. Sanders:
A Hierarchical Approach to Hardware Design. Concurrency: Theory, Language, And Architecture 1989: 282-296 - [c2]Christian Lengauer, Jeff W. Sanders:
The Projection of Systolic Programs. MPC 1989: 307-324 - 1987
- [j2]C. A. R. Hoare, Ian J. Hayes
Laws of Programming. Commun. ACM 30(8): 672-686 (1987) - [j1]C. A. R. Hoare, Jifeng He, Jeff W. Sanders:
Prespecification in Data Refinement. Inf. Process. Lett. 25(2): 71-76 (1987) - 1986
- [c1]Jifeng He, C. A. R. Hoare, Jeff W. Sanders:
Data Refinement Refined. ESOP 1986: 187-196
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: