Jeff W. Sanders

According to our database1, Jeff W. Sanders authored at least 55 papers between 1986 and 2023.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A modal approach to conscious social agents.
Int. J. Softw. Tools Technol. Transf., December, 2023

Consciousness by Degree.
Proceedings of the Theories of Programming and Formal Methods, 2023

2022
A Modal Approach to Consciousness of Agents.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2018
Modelling the Transition to Distributed Ledgers.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2015
A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage.
Proceedings of the 38th Australasian Computer Science Conference, 2015

2014
Designing Adaptive Systems Using Teleo-Reactive Agents.
Trans. Comput. Collect. Intell., 2014

Compensation by design.
Formal Aspects Comput., 2014

A macro-level model for investigating the effect of directional bias on network coverage.
CoRR, 2014

On Directional Bias for Network Coverage.
Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014

2013
Formal Modelling and Analysis of AODV.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.
J. Log. Algebraic Methods Program., 2012

Emergence and refinement.
Formal Aspects Comput., 2012

Denotational Semantics for a Probabilistic Timed Shared-Variable Language.
Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Using conventional reasoning techniques for self-organising systems.
Proceedings of the Tenth Annual International Conference on Privacy, Security and Trust, 2012

Reasoning About Adaptivity of Agents and Multi-agent Systems.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2010
UTP and Sustainability.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Simulating Truly Concurrent CSP.
Proceedings of the Formal Methods: Foundations and Applications, 2010

Assuring Adaptive Behaviour in Self-Organising Systems.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Abstraction of Object Graphs in Program Verification.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009
Refining Emergent Properties.
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Data Refinement with Probability in Mind.
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Refinement Algebra with Explicit Probabilism.
Proceedings of the TASE 2009, 2009

Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Modelling and Verification of Web Navigation.
Proceedings of the Web Engineering, 9th International Conference, 2009

Unifying Probability with Nondeterminism.
Proceedings of the FM 2009: Formal Methods, 2009

Reasoning about a Distributed Probabilistic System.
Proceedings of the Theory of Computing 2009, 2009

Formal Development of Self-organising Systems.
Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009

2008
Formal Ensemble Engineering.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Involutions on Relational Program Calculi.
Sci. Ann. Comput. Sci., 2008

2007
Dynamics of Control.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Specification for Testing.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006
Unifying Probability.
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Compositional Reasoning for Pointer Structures.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Computations and Relational Bundles.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005
The weakest specifunction.
Acta Informatica, 2005

2004
Logic of global synchrony.
ACM Trans. Program. Lang. Syst., 2004

On the Morality of Artificial Agents.
Minds Mach., 2004

Heuristics for Refinement Relations.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Idempotent Relations in Isabelle/HOL.
Proceedings of the Theoretical Aspects of Computing, 2004

2003
Top-Down Design of Bulk-Synchronous Parallel Programs.
Parallel Process. Lett., 2003

2001
Weakest Specifunctions for BSP.
Parallel Process. Lett., 2001

Luciano Floridi, Philosophy and Computing: An introduction, London and New York: Routledge, 1999, xiv+242 pp., ISBN 0-415-18025-2.
Minds Mach., 2001

On the antisymmetry of Galois embeddings.
Inf. Process. Lett., 2001

2000
Quantum Programming.
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

A calculus of signals.
Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000

1997
A Refinement Calculus for Communicating Processes with State.
Proceedings of the 1st Irish Workshop on Formal Methods, 1997

1996
Refinement-Oriented Probability for CSP.
Formal Aspects Comput., 1996

1995
Specification by Interface Separation.
Formal Aspects Comput., 1995

1991
An Incremental Specification of the Sliding-Window Protocol.
Distributed Comput., 1991

On the Refinement of Non-Interference.
Proceedings of the 4th IEEE Computer Security Foundations Workshop, 1991

1990
The Projection of Systolic Programs.
Formal Aspects Comput., 1990

1989
A Hierarchical Approach to Hardware Design.
Proceedings of the Concurrency: Theory, 1989

1987
Prespecification in Data Refinement.
Inf. Process. Lett., 1987

Laws of Programming.
Commun. ACM, 1987

1986
Data Refinement Refined.
Proceedings of the ESOP 86, 1986


  Loading...