The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Walker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Colin Stirling, David Walker
    Local Model Checking in the Modal mu-Calculus. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:89, n:1, pp:161-177 [Journal]
  2. Colin Stirling, David Walker
    CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:166-178 [Conf]
  3. Penny Collins, David Walker, Frank Hicks, Anne McMahon, Errol Martin
    A comparison of methods for teaching information systems design. [Citation Graph (0, 0)][DBLP]
    CHI Conference Companion, 1994, pp:245-246 [Conf]
  4. Xinxin Liu, David Walker
    A Polymorphic Type System for the Polyadic pi-calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:103-116 [Conf]
  5. Anna Philippou, David Walker
    On Sharing and Determinacy in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:456-470 [Conf]
  6. Robin Milner, Joachim Parrow, David Walker
    Modal Logics for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:45-60 [Conf]
  7. Anna Philippou, David Walker
    On Transformations of Concurrent Object Programs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:131-146 [Conf]
  8. Anna Philippou, David Walker
    A Rigorous Analysis of Concurrent Operations on B-Trees. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:361-375 [Conf]
  9. Davide Sangiorgi, David Walker
    On Barbed Equivalences in pi-Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:292-304 [Conf]
  10. David Walker
    Some Results on the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Concurrency: Theory, Language, And Architecture, 1989, pp:21-35 [Conf]
  11. David Walker
    On Bisimulation in the pi-calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:315-330 [Conf]
  12. Anna Philippou, David Walker
    Social Confluence in Client-Server Systems. [Citation Graph (0, 0)][DBLP]
    CSL, 1996, pp:385-398 [Conf]
  13. Limin Jia, David Walker
    Modal Proofs as Distributed Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:219-233 [Conf]
  14. Limin Jia, David Walker
    ILC: A Foundation for Automated Reasoning About Pointer Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:131-145 [Conf]
  15. Frederick Smith, David Walker, J. Gregory Morrisett
    Alias Types. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:366-381 [Conf]
  16. David Walker
    Algebraic Proofs of Properties of Objects. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:501-516 [Conf]
  17. Jay Ligatti, Lujo Bauer, David Walker
    Enforcing Non-safety Security Policies with Program Monitors. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2005, pp:355-373 [Conf]
  18. Peter Arbenz, Rolf Hempel, David Walker
    Topic 7: Applications on High Performance Computers. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2004, pp:476- [Conf]
  19. William F. McColl, David Walker
    Theory and Algorithms for Parallel Computation. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1998, pp:863-864 [Conf]
  20. Paola Quaglia, David Walker
    On Synchronous and Asynchronous Mobile Processes. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:283-296 [Conf]
  21. Paola Quaglia, David Walker
    On Encoding p-pi in m-pi. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:42-53 [Conf]
  22. Frances Perry, Limin Jia, David Walker
    Expressing heap-shape contracts in linear logic. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:101-110 [Conf]
  23. Anna Philippou, David Walker
    On Confluence in the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:314-324 [Conf]
  24. David Walker
    A "Low-Tech" Design Experiment Improving Student Work. [Citation Graph (0, 0)][DBLP]
    ICCE, 2002, pp:849-850 [Conf]
  25. Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
    PolyAML: a polymorphic aspect-oriented functional programming language. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:306-319 [Conf]
  26. Yitzhak Mandelbaum, David Walker, Robert Harper
    An effective theory of type refinements. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:213-225 [Conf]
  27. David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August
    Static typing for a faulty lambda calculus. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:38-49 [Conf]
  28. David Walker, Kevin Watkins
    On Regions and Linear Types. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:181-192 [Conf]
  29. David Walker, Steve Zdancewic, Jay Ligatti
    A theory of aspects. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:127-139 [Conf]
  30. Maria Ángeles Moraga, Coral Calero, Mario Piattini, David Walker
    Towards a quality model for grid portals. [Citation Graph (0, 0)][DBLP]
    ICSOFT (1), 2006, pp:333-338 [Conf]
  31. Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker
    Dynamic Typing with Dependent Types. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:437-450 [Conf]
  32. Lujo Bauer, Jarred Ligatti, David Walker
    Types and Effects for Non-interfering Program Monitors. [Citation Graph (0, 0)][DBLP]
    ISSS, 2002, pp:154-171 [Conf]
  33. Amal J. Ahmed, Limin Jia, David Walker
    Reasoning about Hierarchical Storage. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:33-44 [Conf]
  34. Limin Jia, Frances Spalding, David Walker, Neal Glew
    Certifying Compilation for a Language with Stack Allocation. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:407-416 [Conf]
  35. Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker
    LAUNCHPADS: A System for Processing Ad Hoc Data. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2006, pp:90-91 [Conf]
  36. Lujo Bauer, Jay Ligatti, David Walker
    Composing security policies with polymer. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:305-314 [Conf]
  37. Karl Crary, David Walker, J. Gregory Morrisett
    Typed Memory Management in a Calculus of Capabilities. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:262-275 [Conf]
  38. Daniel S. Dantas, David Walker
    Harmless advice. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:383-396 [Conf]
  39. Kathleen Fisher, Yitzhak Mandelbaum, David Walker
    The next 700 data description languages. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:2-15 [Conf]
  40. J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
    From System F to Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:85-97 [Conf]
  41. David Walker
    A Type System for Expressive Security Policies. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:254-267 [Conf]
  42. Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer
    PADS/ML: a functional data description language. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:77-83 [Conf]
  43. Mark Daly, Yitzhak Mandelbaum, David Walker, Mary F. Fernández, Kathleen Fisher, Robert Gruber, Xuan Zheng
    PADS: an end-to-end system for processing ad hoc data. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 2006, pp:727-729 [Conf]
  44. David Walker
    Pi-Calculus Semantics of Object-Oriented Programming Languages. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:532-547 [Conf]
  45. Xinxin Liu, David Walker
    Confluence of Processes and Systems of Objects. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:217-231 [Conf]
  46. Colin Stirling, David Walker
    Local Model Checking in the Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1989, pp:369-383 [Conf]
  47. Amal J. Ahmed, David Walker
    The logical approach to stack typing. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:74-85 [Conf]
  48. J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
    Stack-Based Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:28-52 [Conf]
  49. David Walker, J. Gregory Morrisett
    Alias Types for Recursive Data Structures. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 2000, pp:177-206 [Conf]
  50. Amal J. Ahmed, David Walker
    The logical approach to stack typing. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:74-85 [Conf]
  51. Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker
    A Concurrent Logical Framework: The Propositional Fragment. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:355-377 [Conf]
  52. Paul Messina, Clive F. Baillie, Edward W. Felten, Paul Hipes, Ray Williams, Arnold Alagar, Anke Kamrath, Robert Leary, Wayne Pfeiffer, Jack M. Rogers, David Walker
    Benchmarking Advanced Architecture Computers. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 1990, v:2, n:3, pp:195-255 [Journal]
  53. Shrideep Pallickara, Geoffrey Fox, Ahmet Uyar, Hongbin Liu, Xi Rao, David Walker, Beytullah Yildiz
    Performance of a possible Grid message infrastructure. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 2005, v:17, n:2-4, pp:193-214 [Journal]
  54. Robin Milner, Joachim Parrow, David Walker
    A Calculus of Mobile Processes, I [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1992, v:100, n:1, pp:1-40 [Journal]
  55. Robin Milner, Joachim Parrow, David Walker
    A Calculus of Mobile Processes, II [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1992, v:100, n:1, pp:41-77 [Journal]
  56. Paola Quaglia, David Walker
    Types and full abstraction for polyadic pi-calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:200, n:2, pp:215-246 [Journal]
  57. David Walker
    Objects in the pi-Calculus [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:116, n:2, pp:253-271 [Journal]
  58. Jay Ligatti, Lujo Bauer, David Walker
    Edit automata: enforcement mechanisms for run-time security policies. [Citation Graph (0, 0)][DBLP]
    Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:2-16 [Journal]
  59. Anna Philippou, David Walker
    A Process-Calculus Analysis of Concurrent Operations on B-Trees. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2001, v:62, n:1, pp:73-122 [Journal]
  60. J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
    Stack-based typed assembly language. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:1, pp:3-88 [Journal]
  61. J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
    Stack-based typed assembly language. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:5, pp:957-959 [Journal]
  62. Jay Ligatti, David Walker, Steve Zdancewic
    A type-theoretic interpretation of pointcuts and advice. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:3, pp:240-266 [Journal]
  63. Xinxin Liu, David Walker
    Partial Confluence of Proceses and Systems of Objects. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:206, n:1-2, pp:127-162 [Journal]
  64. Robin Milner, Joachim Parrow, David Walker
    Modal Logics for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:114, n:1, pp:149-171 [Journal]
  65. Anna Philippou, David Walker
    On Transformations of Concurrent-Object Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:259-289 [Journal]
  66. J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
    From system F to typed assembly language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:3, pp:527-568 [Journal]
  67. David Walker, Karl Crary, J. Gregory Morrisett
    Typed memory management via static capabilities. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:4, pp:701-771 [Journal]
  68. Shayan Farahvash, Chee Quek, William Roberts, David Walker, Mohamed Mostafa, Hauw Liem, Robert Koupal
    A Two-port GFSK Direct Modulator for Wideband Applications at 5.8 GHz. [Citation Graph (0, 0)][DBLP]
    ISCAS, 2007, pp:2128-2131 [Conf]
  69. Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker
    Fault-tolerant typed assembly language. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:42-53 [Conf]

  70. Concurrent objects as mobile processes. [Citation Graph (, )][DBLP]


  71. Faulty Logic: Reasoning about Fault Tolerant Programs. [Citation Graph (, )][DBLP]


  72. Patch (1) Considered Harmful. [Citation Graph (, )][DBLP]


  73. Ad Hoc Data and the Token Ambiguity Problem. [Citation Graph (, )][DBLP]


  74. A context-free markup language for semi-structured text. [Citation Graph (, )][DBLP]


  75. From dirt to shovels: fully automatic tool generation from ad hoc data. [Citation Graph (, )][DBLP]


  76. Semantics and algorithms for data-dependent grammars. [Citation Graph (, )][DBLP]


  77. Language support for processing distributed ad hoc data. [Citation Graph (, )][DBLP]


  78. Reasoning about Control Flow in the Presence of Transient Faults. [Citation Graph (, )][DBLP]


  79. Concurrent Separation Logic for Pipelined Parallelization. [Citation Graph (, )][DBLP]


  80. LearnPADS: automatic tool generation from ad hoc data. [Citation Graph (, )][DBLP]


  81. An Overview of Iris and Retina Scans and their Fusion in a Biometric System. [Citation Graph (, )][DBLP]


  82. Public Health Information Fusion for Situation Awareness. [Citation Graph (, )][DBLP]


  83. Specifying Properties of Concurrent Computations in CLF. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002