The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael J. O'Donnell: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christoph M. Hoffmann, Michael J. O'Donnell
    Pattern Matching in Trees. [Citation Graph (2, 0)][DBLP]
    J. ACM, 1982, v:29, n:1, pp:68-95 [Journal]
  2. Francine Berman, Mary Ellen Bock, Eric Dittert, Michael J. O'Donnell, Darrell Plank
    Collections of Functions for Perfect Hashing. [Citation Graph (1, 0)][DBLP]
    SIAM J. Comput., 1986, v:15, n:2, pp:604-618 [Journal]
  3. Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell
    Connecting Formal Semantics to Constructive Intuitions. [Citation Graph (0, 0)][DBLP]
    Constructivity in Computer Science, 1991, pp:1-21 [Conf]
  4. Yiyun Chen, Michael J. O'Donnell
    Infinite Terms and Infinite Rewritings. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:115-126 [Conf]
  5. Yiyun Chen, Michael J. O'Donnell
    Testing Confluence of Nonterminating Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:127-136 [Conf]
  6. Hans-Juergen Boehm, Robert Cartwright, Mark Riggle, Michael J. O'Donnell
    Exact Real Arithmetic: A Case Study in Higher Order Programming. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:162-173 [Conf]
  7. Michael J. O'Donnell
    Equational Logic as a Programming Language. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:255- [Conf]
  8. Michael J. O'Donnell
    A Critique of the Foundations of Hoare-Style Programming Logics. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:349-374 [Conf]
  9. James Lipton, Michael J. O'Donnell
    Intuitive Counterexamples for Constructive Fallacies. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:87-111 [Conf]
  10. Christoph M. Hoffmann, Michael J. O'Donnell
    Interpreter Generation Using Tree Pattern Matching. [Citation Graph (0, 0)][DBLP]
    POPL, 1979, pp:169-179 [Conf]
  11. Christoph M. Hoffmann, Michael J. O'Donnell
    Implementation of an Interpreter for Abstract Equations. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:111-121 [Conf]
  12. Michael J. O'Donnell
    Term-Rewriting Implementation of Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    RTA, 1987, pp:1-12 [Conf]
  13. John C. Mitchell, Michael J. O'Donnell
    Realisability Semantics for Error-Tolerant Logics. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:363-382 [Conf]
  14. James Lipton, Michael J. O'Donnell
    Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli Countermodels. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1996, v:81, n:1-3, pp:187-239 [Journal]
  15. Michael J. O'Donnell
    Separate handles from names on the internet. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2005, v:48, n:12, pp:78-83 [Journal]
  16. Michael J. O'Donnell
    A Critique of the Foundations of Hoare Style Programming Logics. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1982, v:25, n:12, pp:927-935 [Journal]
  17. Michael J. O'Donnell
    Open Network Handles Implemented in DNS [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  18. Michael J. O'Donnell
    A Proposal to Separate Handles from Names on the Internet [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  19. Michael J. O'Donnell
    The Sources of Certainty in Computation and Formal Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  20. Michael J. O'Donnell, Ilia Bisnovatyi
    The Sound Manifesto [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  21. Ilia Bisnovatyi, Michael J. O'Donnell
    Source-Filter Decomposition of Harmonic Sounds [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  22. Stuart A. Kurtz, Michael J. O'Donnell, James S. Royer
    How to Prove Representation-Independent Independence Results. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:24, n:1, pp:5-10 [Journal]
  23. Guanshan Tong, Michael J. O'Donnell
    Leveled Garbage Collection. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2001, v:2001, n:5, pp:- [Journal]
  24. Douglas Comer, Michael J. O'Donnell
    Geometric Problems with Application to Hashing. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1982, v:11, n:2, pp:217-226 [Journal]
  25. Christoph M. Hoffmann, Michael J. O'Donnell, Robert I. Strandh
    Implementation of an Interpreter for Abstract Equations. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1985, v:15, n:12, pp:1185-1204 [Journal]
  26. Eric Dittert, Michael J. O'Donnell
    Lower Bounds for Sorting with Realistic Instruction Sets. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1985, v:34, n:4, pp:311-317 [Journal]
  27. Michael J. O'Donnell, Carl H. Smith
    A Combinatorial Problem Concerning Processor Interconnection Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1982, v:31, n:2, pp:163-164 [Journal]
  28. Christoph M. Hoffmann, Michael J. O'Donnell
    Programming with Equations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:1, pp:83-112 [Journal]

  29. Problems Encountered When Implementing Agile Methods in a Very Small Company. [Citation Graph (, )][DBLP]


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