Jeff W. Sanders - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 49 from 49

2023

A modal approach to conscious social agentsYifeng Chen, Jeff W. Sanders. STTT, 25(5):707-716, December 2023. [doi]

Consciousness by DegreeYifeng Chen, Jeff W. Sanders. BIRTHDAY 2023: 87-109 [doi]

2022

A Modal Approach to Consciousness of AgentsYifeng Chen, Jeff W. Sanders. ISoLA 2022: 127-141 [doi]

2018

Modelling the Transition to Distributed LedgersJan Sürmeli, Stefan Jähnichen, Jeff W. Sanders. ISoLA 2018: 48-62 [doi]

2015

A Macro-Level Model for Investigating the E ect of Directional Bias on Network CoverageGraeme Smith, Jeff W. Sanders, Qin Li. acsc 2015: 73-81 [doi]

2014

Designing Adaptive Systems Using Teleo-Reactive AgentsGraeme Smith, Jeff W. Sanders, Kirsten Winter. tcci, 16:34-61, 2014. [doi]

On Directional Bias for Network CoverageGraeme Smith, Jeff W. Sanders, Qin Li. bic-ta 2014: 384-388 [doi]

2013

Formal Modelling and Analysis of AODVXiaofeng Wu, Jeff W. Sanders, Huibiao Zhu. ICECCS 2013: 93-100 [doi]

2012

2010

UTP and SustainabilityYifeng Chen, Jeff W. Sanders. utp 2010: 46-73 [doi]

Abstraction of Object Graphs in Program VerificationYifeng Chen, Jeff W. Sanders. mpc 2010: 80-99 [doi]

Assuring Adaptive Behaviour in Self-Organising SystemsJeff W. Sanders, Graeme Smith. saso 2010: 172-177 [doi]

2009

Unifying Probability with NondeterminismYifeng Chen, Jeff W. Sanders. FM 2009: 467-482 [doi]

Modelling and Verification of Web NavigationZuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders. ICWE 2009: 181-188 [doi]

Reasoning about a Distributed Probabilistic SystemUkachukwu Ndukwu, Jeff W. Sanders. cats 2009: 35-42 [doi]

Refinement Algebra with Explicit ProbabilismT. M. Rabehaja, Jeff W. Sanders. tase 2009: 63-70 [doi]

Data Refinement with Probability in MindT. M. Rabehaja, Jeff W. Sanders. ENTCS, 259:165-176, 2009. [doi]

Refining Emergent PropertiesJeff W. Sanders, Graeme Smith. ENTCS, 259:207-223, 2009. [doi]

Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable LanguageHuibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders. sew 2009: 104-114 [doi]

2008

Involutions on Relational Program CalculiIngrid Rewitzky, Jeff W. Sanders. cuza, 18:129-171, 2008. [doi]

2007

Specification for TestingChris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders. birthday 2007: 280-299 [doi]

Dynamics of ControlJeff W. Sanders, Matteo Turilli. tase 2007: 440-449 [doi]

2006

Compositional Reasoning for Pointer StructuresYifeng Chen, Jeff W. Sanders. mpc 2006: 115-139 [doi]

Unifying ProbabilityJifeng He, Jeff W. Sanders. utp 2006: 173-199 [doi]

Computations and Relational BundlesJeff W. Sanders. RelMiCS 2006: 30-62 [doi]

2005

The weakest specifunctionYifeng Chen, Jeff W. Sanders. ACTA, 41(7-8):383-414, 2005. [doi]

2004

Logic of global synchronyYifeng Chen, Jeff W. Sanders. TOPLAS, 26(2):221-262, 2004. [doi]

On the Morality of Artificial AgentsLuciano Floridi, Jeff W. Sanders. mima, 14(3):349-379, 2004. [doi]

Heuristics for Refinement RelationsFlorian Kammüller, Jeff W. Sanders. SEFM 2004: 292-299 [doi]

Idempotent Relations in Isabelle/HOLFlorian Kammüller, Jeff W. Sanders. ictac 2005: 310-324 [doi]

2003

Top-Down Design of Bulk-Synchronous Parallel ProgramsYifeng Chen, Jeff W. Sanders. ppl, 13(3):389-400, 2003. [doi]

2001

On the antisymmetry of Galois embeddingsJochen Burghardt, Florian Kammüller, Jeff W. Sanders. ipl, 79(2):57-63, 2001. [doi]

Weakest Specifunctions for BSPYifeng Chen, Jeff W. Sanders. ppl, 11(4):439-454, 2001.

Logic of Global SynchronyYifeng Chen, Jeff W. Sanders. concur 2001: 487-501 [doi]

2000

Quantum ProgrammingJeff W. Sanders, Paolo Zuliani. mpc 2000: 80-99

1997

A Refinement Calculus for Communicating Processes with StateLuming Lai, Jeff W. Sanders. iwfm 1997:

1996

Refinement-Oriented Probability for CSPCarroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders. fac, 8(6):617-647, 1996.

1995

Specification by Interface SeparationIan J. Hayes, Jeff W. Sanders. fac, 7(4):430-439, 1995.

1991

On the Refinement of Non-InterferenceJohn Graham-Cumming, Jeff W. Sanders. csfw 1991: 35-42

An Incremental Specification of the Sliding-Window ProtocolKaren Paliwoda, Jeff W. Sanders. dc, 5:83-94, 1991.

1990

The Projection of Systolic ProgramsChristian Lengauer, Jeff W. Sanders. fac, 2(3):273-293, 1990.

1989

The Projection of Systolic ProgramsChristian Lengauer, Jeff W. Sanders. mpc 1989: 307-324

A Hierarchical Approach to Hardware DesignJeff W. Sanders. concur 1991: 282-296

1987

Prespecification in Data RefinementC. A. R. Hoare, Jifeng He, Jeff W. Sanders. ipl, 25(2):71-76, 1987.

Laws of ProgrammingC. 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. CACM, 30(8):672-686, 1987.

1986

Data Refinement RefinedJifeng He, C. A. R. Hoare, Jeff W. Sanders. ESOP 1986: 187-196

Sign in or sign up to see more results.

runs on WebDSL