The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Douglas J. Howe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Douglas J. Howe
    Semantic Foundations for Embedding HOL in Nuprl. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:85-101 [Conf]
  2. Amy P. Felty, Douglas J. Howe
    Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:605-619 [Conf]
  3. Amy P. Felty, Douglas J. Howe
    Hybrid Interactive Theorem Proving Using Nuprl and HOL. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:351-365 [Conf]
  4. Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury
    Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:237-251 [Conf]
  5. Douglas J. Howe
    Implementing Number Theory: An Experiment with Nuprl. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:404-415 [Conf]
  6. Douglas J. Howe
    Computational Metatheory in Nuprl. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:238-257 [Conf]
  7. Amy P. Felty, Douglas J. Howe, Frank A. Stomp
    Protocol Verification in Nuprl. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:428-439 [Conf]
  8. Jawahar Chirimar, Douglas J. Howe
    Implementing Constructive Real Analysis: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    Constructivity in Computer Science, 1991, pp:165-178 [Conf]
  9. Douglas J. Howe
    Interactive Theorem Proving Using Type Theory. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:578- [Conf]
  10. Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken
    The Semantics of Reflected Proof [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:95-105 [Conf]
  11. Douglas J. Howe
    The Computational Behaviour of Girard's Paradox [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:205-214 [Conf]
  12. Douglas J. Howe
    Equality In Lazy Computation Systems [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:198-203 [Conf]
  13. Douglas J. Howe
    On Computational Open-Endedness in Martin-Löf's Type Theory [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:162-172 [Conf]
  14. Amy P. Felty, Douglas J. Howe
    Generalization and Reuse of Tactic Proofs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:1-15 [Conf]
  15. Douglas J. Howe
    Reasoning About Functional Programs in Nuprl. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:145-164 [Conf]
  16. Douglas J. Howe, Scott D. Stoller
    An Operational Approach to Combining Classical Set Theory and Functional Programming Languages. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:36-55 [Conf]
  17. David A. Basin, Douglas J. Howe
    Some Normalization Properties of Martin-Löf's Type Theory, and Applications. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:475-494 [Conf]
  18. Douglas J. Howe
    A Type Annotation Scheme for Nuprl. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:207-224 [Conf]
  19. Douglas J. Howe
    Importing Mathematics from HOL into Nuprl. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1996, pp:267-281 [Conf]
  20. Douglas J. Howe
    Proving Congruence of Bisimulation in Functional Programming Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:124, n:2, pp:103-112 [Journal]

  21. Higher-Order Abstract Syntax in Isabelle/HOL. [Citation Graph (, )][DBLP]


Search in 0.003secs, 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