Jeff W. Sanders

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 4

Top Topics

Multiple Agents

Adaptive Systems

Top Venues

Theories of Programming and Formal Methods

Publications

Yifeng Chen, Jeff W. Sanders
A modal approach to conscious social agents. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Yifeng Chen, Jeff W. Sanders
Consciousness by Degree. Theories of Programming and Formal Methods (2023)
Yifeng Chen, Jeff W. Sanders
A Modal Approach to Consciousness of Agents. ISoLA (3) (2022)
Jan Sürmeli, Stefan Jähnichen, Jeff W. Sanders
Modelling the Transition to Distributed Ledgers. ISoLA (3) (2018)
Graeme Smith, Jeff W. Sanders, Qin Li
A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage. ACSC (2015)
Graeme Smith, Jeff W. Sanders, Qin Li
On Directional Bias for Network Coverage. BIC-TA (2014)
Graeme Smith, Jeff W. Sanders, Kirsten Winter
Designing Adaptive Systems Using Teleo-Reactive Agents. Trans. Comput. Collect. Intell. 16 (2014)
Graeme Smith, Jeff W. Sanders, Qin Li
A macro-level model for investigating the effect of directional bias on network coverage. CoRR (2014)
Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu
Formal Modelling and Analysis of AODV. ICECCS (2013)
Graeme Smith, Jeff W. Sanders
Using conventional reasoning techniques for self-organising systems. PST (2012)
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. Algebraic Methods Program. 81 (1) (2012)
Jeff W. Sanders, Graeme Smith
Emergence and refinement. Formal Aspects Comput. 24 (1) (2012)
Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin
Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP (2012)
Yifeng Chen, Jeff W. Sanders
UTP and Sustainability. UTP (2010)
Moritz Kleine, Jeff W. Sanders
Simulating Truly Concurrent CSP. SBMF (2010)
Jeff W. Sanders, Graeme Smith
Assuring Adaptive Behaviour in Self-Organising Systems. SASO Workshops (2010)
Yifeng Chen, Jeff W. Sanders
Abstraction of Object Graphs in Program Verification. MPC (2010)
T. M. Rabehaja, Jeff W. Sanders
Data Refinement with Probability in Mind. Electron. Notes Theor. Comput. Sci. 259 (2009)
Jeff W. Sanders, Graeme Smith
Refining Emergent Properties. Electron. Notes Theor. Comput. Sci. 259 (2009)
Yifeng Chen, Jeff W. Sanders
Unifying Probability with Nondeterminism. FM (2009)
Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders
Modelling and Verification of Web Navigation. ICWE (2009)
T. M. Rabehaja, Jeff W. Sanders
Refinement Algebra with Explicit Probabilism. TASE (2009)
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)
Ukachukwu Ndukwu, Jeff W. Sanders
Reasoning about a Distributed Probabilistic System. CATS (2009)
Ingrid Rewitzky, Jeff W. Sanders
Involutions on Relational Program Calculi. Sci. Ann. Comput. Sci. 18 (2008)
Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders
Specification for Testing. Formal Methods and Hybrid Real-Time Systems (2007)
Jeff W. Sanders, Matteo Turilli
Dynamics of Control. TASE (2007)
Jifeng He, Jeff W. Sanders
Unifying Probability. UTP (2006)
Yifeng Chen, Jeff W. Sanders
Compositional Reasoning for Pointer Structures. MPC (2006)
Jeff W. Sanders
Computations and Relational Bundles. RelMiCS (2006)
Yifeng Chen, Jeff W. Sanders
The weakest specifunction. Acta Informatica 41 (7-8) (2005)
Florian Kammüller, Jeff W. Sanders
Heuristics for Refinement Relations. SEFM (2004)
Luciano Floridi, Jeff W. Sanders
On the Morality of Artificial Agents. Minds Mach. 14 (3) (2004)
Florian Kammüller, Jeff W. Sanders
Idempotent Relations in Isabelle/HOL. ICTAC (2004)
Yifeng Chen, Jeff W. Sanders
Logic of global synchrony. ACM Trans. Program. Lang. Syst. 26 (2) (2004)
Yifeng Chen, Jeff W. Sanders
Top-Down Design of Bulk-Synchronous Parallel Programs. Parallel Process. Lett. 13 (3) (2003)
Jochen Burghardt, Florian Kammüller, Jeff W. Sanders
On the antisymmetry of Galois embeddings. Inf. Process. Lett. 79 (2) (2001)
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) (2001)
Yifeng Chen, Jeff W. Sanders
Logic of Global Synchrony. CONCUR (2001)
Yifeng Chen, Jeff W. Sanders
Weakest Specifunctions for BSP. Parallel Process. Lett. 11 (4) (2001)
Jeff W. Sanders, Paolo Zuliani
Quantum Programming. MPC (2000)
C. Ratzko, Jeff W. Sanders
A calculus of signals. ICECS (2000)
Luming Lai, Jeff W. Sanders
A Refinement Calculus for Communicating Processes with State. IWFM (1997)
Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders
Refinement-Oriented Probability for CSP. Formal Aspects Comput. 8 (6) (1996)
Ian J. Hayes, Jeff W. Sanders
Specification by Interface Separation. Formal Aspects Comput. 7 (4) (1995)
John Graham-Cumming, Jeff W. Sanders
On the Refinement of Non-Interference. CSFW (1991)
Karen Paliwoda, Jeff W. Sanders
An Incremental Specification of the Sliding-Window Protocol. Distributed Comput. 5 (1991)
Christian Lengauer, Jeff W. Sanders
The Projection of Systolic Programs. Formal Aspects Comput. 2 (3) (1990)
Christian Lengauer, Jeff W. Sanders
The Projection of Systolic Programs. MPC (1989)
Jeff W. Sanders
A Hierarchical Approach to Hardware Design. Concurrency: Theory, Language, And Architecture (1989)
C. A. R. Hoare, Jifeng He, Jeff W. Sanders
Prespecification in Data Refinement. Inf. Process. Lett. 25 (2) (1987)
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) (1987)
Jifeng He, C. A. R. Hoare, Jeff W. Sanders
Data Refinement Refined. ESOP (1986)