David P. Walker

Calculated based on number of publications stored in Pure and citations from Scopus
19982022

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Paper

Search results

  • 2005

    Composing security policies with polymer

    Bauer, L., Ligatti, J. & Walker, D. P., Dec 1 2005, p. 305-314. 10 p.

    Research output: Contribution to conferencePaperpeer-review

    95 Scopus citations
  • Patch (1) considered harmful

    Fiuczynski, M. E., Grimm, R., Coady, Y. & Walker, D., 2005.

    Research output: Contribution to conferencePaperpeer-review

    1 Scopus citations
  • 2003

    An Effective Theory of Type Refinements

    Mandelbaum, Y., Walker, D. & Harper, R., 2003, p. 213-225. 13 p.

    Research output: Contribution to conferencePaperpeer-review

    28 Scopus citations
  • A Theory of Aspects

    Walker, D., Zdancewic, S. & Ligatti, J., 2003, p. 127-139. 13 p.

    Research output: Contribution to conferencePaperpeer-review

    55 Scopus citations
  • 2001

    On regions and linear types

    Walker, D. & Watkins, K., 2001, p. 181-192. 12 p.

    Research output: Contribution to conferencePaperpeer-review

    38 Scopus citations