The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David W. Stemple: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tim Sheard, David W. Stemple
    Automatic Verification of Database Transaction Safety. [Citation Graph (27, 16)][DBLP]
    ACM Trans. Database Syst., 1989, v:14, n:3, pp:322-368 [Journal]
  2. Neil Immerman, Sushant Patnaik, David W. Stemple
    The Expressiveness of a Family of Finite Set Languages. [Citation Graph (17, 31)][DBLP]
    PODS, 1991, pp:37-52 [Conf]
  3. David W. Stemple, Subhasish Mazumdar, Tim Sheard
    On the Modes and Meaning of Feedback to Transaction Designers. [Citation Graph (14, 8)][DBLP]
    SIGMOD Conference, 1987, pp:374-386 [Conf]
  4. Charles Welty, David W. Stemple
    Human Factors Comparison of a Procedural and a Nonprocedural Query Language. [Citation Graph (12, 11)][DBLP]
    ACM Trans. Database Syst., 1981, v:6, n:4, pp:626-649 [Journal]
  5. Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris D. Marlin, Ronald Morrison, Renzo Orsini, David W. Stemple
    A Framework for Comparing Type Systems for Database Programming Languages. [Citation Graph (9, 3)][DBLP]
    DBPL, 1989, pp:170-178 [Conf]
  6. David W. Stemple, Tim Sheard
    Specification and Verification of Abstract Database Types. [Citation Graph (9, 18)][DBLP]
    PODS, 1984, pp:248-257 [Conf]
  7. David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro
    Exceeding the Limits of Polymorphism in Database Programming Languages. [Citation Graph (8, 11)][DBLP]
    EDBT, 1990, pp:269-285 [Conf]
  8. Tim Sheard, David W. Stemple
    Coping with Complexity in Automated Reasoning about Database Systems. [Citation Graph (6, 5)][DBLP]
    VLDB, 1985, pp:426-435 [Conf]
  9. David W. Stemple, Tim Sheard
    A Recursive Base for Database Programming Primitives. [Citation Graph (5, 0)][DBLP]
    East/West Database Workshop, 1990, pp:311-332 [Conf]
  10. David W. Stemple, Adolfo Socorro, Tim Sheard
    Formalizing Objects for Databases using ADABTPL. [Citation Graph (5, 0)][DBLP]
    OODBS, 1988, pp:110-128 [Conf]
  11. Leonidas Fegaras, Tim Sheard, David W. Stemple
    The ADABTPL Type System. [Citation Graph (4, 6)][DBLP]
    DBPL, 1989, pp:207-218 [Conf]
  12. David W. Stemple, Tim Sheard, Ralph E. Bunker
    Abstract Data Types in Databases: Specification, Manipulation and Access. [Citation Graph (4, 21)][DBLP]
    ICDE, 1986, pp:590-597 [Conf]
  13. David S. Munro, Richard C. H. Connor, Ronald Morrison, S. Scheuerl, David W. Stemple
    Concurrent Shadow Paging in the Flask Architecture. [Citation Graph (4, 0)][DBLP]
    POS, 1994, pp:16-42 [Conf]
  14. Leonidas Fegaras, David W. Stemple
    Using Type Transformation in Database Implementation. [Citation Graph (3, 12)][DBLP]
    DBPL, 1991, pp:337-353 [Conf]
  15. David W. Stemple, Tim Sheard
    Construction and Calculus of Types for Database Systems. [Citation Graph (3, 3)][DBLP]
    DBPL, 1987, pp:3-22 [Conf]
  16. Leonidas Fegaras, Tim Sheard, David W. Stemple
    Uniform Traversal Combinators: Definition, Use and Properties. [Citation Graph (2, 0)][DBLP]
    CADE, 1992, pp:148-162 [Conf]
  17. David W. Stemple, Tim Sheard
    Database Theory for Supporting Specification-Based Database Systems Development. [Citation Graph (2, 0)][DBLP]
    ICSE, 1985, pp:43-49 [Conf]
  18. David W. Stemple
    A Data Base Management Facility for Automatic Generation of Data Base Managers. [Citation Graph (2, 3)][DBLP]
    ACM Trans. Database Syst., 1976, v:1, n:1, pp:79-94 [Journal]
  19. David W. Stemple, Ronald Morrison, Malcolm P. Atkinson
    Type-safe Linguistic Reflection. [Citation Graph (1, 5)][DBLP]
    DBPL, 1991, pp:357-360 [Conf]
  20. Stephen Vinter, Krithi Ramamritham, David W. Stemple
    Recoverable Actions in Gutenberg. [Citation Graph (1, 0)][DBLP]
    ICDCS, 1986, pp:242-249 [Conf]
  21. Subhasish Mazumdar, David W. Stemple, Tim Sheard
    Resolving the Tension between Integrity and Security Using a Theorem Prover. [Citation Graph (1, 12)][DBLP]
    SIGMOD Conference, 1988, pp:233-242 [Conf]
  22. Graham N. C. Kirby, Ronald Morrison, David W. Stemple
    Linguistic Reflection in Java. [Citation Graph (1, 0)][DBLP]
    Softw., Pract. Exper., 1998, v:28, n:10, pp:1045-1077 [Journal]
  23. Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim
    Higher-Level Genericity in Object-Oriented Databases. [Citation Graph (0, 0)][DBLP]
    COMAD, 1994, pp:0-0 [Conf]
  24. Robert W. Taylor, David W. Stemple
    On the Development of Data Base Editions. [Citation Graph (0, 0)][DBLP]
    IFIP Working Conference Data Base Management, 1974, pp:295-304 [Conf]
  25. Panos K. Chrysanthis, Krithi Ramamritham, David W. Stemple, Stephen Vinter
    The Gutenberg Operating System Kernel. [Citation Graph (0, 0)][DBLP]
    FJCC, 1986, pp:1159-1167 [Conf]
  26. Tim Sheard, David W. Stemple
    The precise control of inheritance and the inheritance of theory in the ADABTPL language. [Citation Graph (0, 0)][DBLP]
    ICCL, 1988, pp:194-201 [Conf]
  27. Krithi Ramamritham, David W. Stemple, Stephen Vinter
    Decentralized Access Control in a Distributed System. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1985, pp:524-531 [Conf]
  28. David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard
    Operating System Support for Abstract Data(base) Types. [Citation Graph (0, 0)][DBLP]
    ICOD, 1983, pp:179-195 [Conf]
  29. J. Eliot B. Moss, Ralf Johnson, Alan Snyder, David W. Stemple, David Ungar
    Panel: Inheritance: Can We Have Our Cake and Eat it, Too? [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1989, pp:486-490 [Conf]
  30. Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing
    Panel on Transactions in Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1989, pp:473-476 [Conf]
  31. Janice E. Cuny, George Forman, Alfred Hough, Joydip Kundu, Calvin Lin, Lawrence Snyder, David W. Stemple
    The Ariadne Debugger: Scalable Application of Event-Based Abstraction. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel and Distributed Debugging, 1993, pp:85-95 [Conf]
  32. David W. Stemple
    Exploiting the Potential of Persistent Object Stores. [Citation Graph (0, 0)][DBLP]
    POS, 1989, pp:45-55 [Conf]
  33. David W. Stemple
    Transactions - Introduction. [Citation Graph (0, 0)][DBLP]
    POS, 1990, pp:291-292 [Conf]
  34. W. Bruce Croft, David W. Stemple
    Supporting Offics Document Architectures with Constrained Types. [Citation Graph (0, 7)][DBLP]
    SIGMOD Conference, 1987, pp:504-509 [Conf]
  35. Krithi Ramamritham, David W. Stemple, Stephen Vinter
    Primitives for Accessing Protected Objects. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliability in Distributed Software and Database Systems, 1983, pp:114-122 [Conf]
  36. David W. Stemple
    A Data Base Management Facility for Automatic Generation of Data Base Managers. [Citation Graph (0, 0)][DBLP]
    VLDB, 1975, pp:254- [Conf]
  37. Elliot B. Koffman, David W. Stemple, Caroline E. Wardle
    Recommended Curriculum For CS2, 1984. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1985, v:28, n:8, pp:815-818 [Journal]
  38. Tim Sheard, David W. Stemple
    Inheritance of Theory in the Adabtpl Language. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1992, v:17, n:3, pp:157-167 [Journal]
  39. Graham N. C. Kirby, Ronald Morrison, David W. Stemple
    Linguistic Reflection in Java [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  40. Richard Hull, Ronald Morrison, David W. Stemple
    Current Directions in Database Programming Languages. [Citation Graph (0, 0)][DBLP]
    IEEE Data Eng. Bull., 1989, v:12, n:3, pp:3-4 [Journal]
  41. Subhasish Mazumdar, David W. Stemple
    Helping the Database Designer Maintain Inegrity Constraints. [Citation Graph (0, 9)][DBLP]
    IEEE Data Eng. Bull., 1994, v:17, n:2, pp:28-32 [Journal]
  42. David W. Stemple, Tim Sheard, Ralph E. Bunker
    Incorporating theory into database system development. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Manage., 1986, v:22, n:4, pp:317-330 [Journal]
  43. Krithi Ramamritham, J. Eliot B. Moss, John A. Stankovic, David W. Stemple, W. Bruce Croft, Donald F. Towsley
    Summary of Database Research Activities at The University of Massachusetts, Amherst. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 1992, v:21, n:1, pp:139-143 [Journal]
  44. Neil Immerman, Sushant Patnaik, David W. Stemple
    The Expressiveness of a Family of Finite Set Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:155, n:1, pp:111-140 [Journal]
  45. Charles Welty, David W. Stemple
    Reply. [Citation Graph (0, 2)][DBLP]
    ACM Trans. Database Syst., 1982, v:7, n:2, pp:317-318 [Journal]
  46. Krithi Ramamritham, David W. Stemple, David A. Briggs, Stephen Vinter
    Privilege Transfer and Revocation in a Port-Based System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:5, pp:635-648 [Journal]
  47. David W. Stemple, Stephen Vinter, Krithi Ramamritham
    Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:11, pp:1056-1066 [Journal]

Search in 0.005secs, Finished in 0.007secs
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