Travelled to:1 × China
1 × Germany
1 × The Netherlands
Collaborated with:Y.Chen F.Kammüller J.He C.A.R.Hoare
Talks about:refin (3) nondetermin (1) probabl (1) heurist (1) unifi (1) relat (1) data (1)
Person: Jeff W. Sanders
DBLP: Sanders:Jeff_W=
Contributed to:
2009
2004
1986Wrote 3 papers:
- FM-2009-ChenS #nondeterminism #probability
- Unifying Probability with Nondeterminism (YC, JWS), pp. 467–482.
- SEFM-2004-KammullerS #heuristic #refinement
- Heuristics for Refinement Relations (FK, JWS), pp. 292–299.
- ESOP-1986-HeHS #refinement
- Data Refinement Refined (JH, CARH, JWS), pp. 187–196.