Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 2001 | |
---|---|---|

21 | EE | Douglas J. Howe, James E. Cuccaro: Electricity Deregulation: It's New Bonanza. IS Management 18(3): 83-91 (2001) |

1999 | ||

20 | EE | Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury: Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. CADE 1999: 237-251 |

19 | EE | Douglas J. Howe: Interactive Theorem Proving Using Type Theory. CSL 1999: 578 |

1998 | ||

18 | EE | Amy P. Felty, Douglas J. Howe, Frank A. Stomp: Protocol Verification in Nuprl. CAV 1998: 428-439 |

17 | EE | Douglas J. Howe: A Type Annotation Scheme for Nuprl. TPHOLs 1998: 207-224 |

1997 | ||

16 | EE | Amy P. Felty, Douglas J. Howe: Hybrid Interactive Theorem Proving Using Nuprl and HOL. CADE 1997: 351-365 |

1996 | ||

15 | Douglas J. Howe: Semantic Foundations for Embedding HOL in Nuprl. AMAST 1996: 85-101 | |

14 | EE | Douglas J. Howe: Importing Mathematics from HOL into Nuprl. TPHOLs 1996: 267-281 |

13 | Douglas J. Howe: Proving Congruence of Bisimulation in Functional Programming Languages. Inf. Comput. 124(2): 103-112 (1996) | |

1994 | ||

12 | EE | Amy P. Felty, Douglas J. Howe: Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables. CADE 1994: 605-619 |

11 | EE | Amy P. Felty, Douglas J. Howe: Generalization and Reuse of Tactic Proofs. LPAR 1994: 1-15 |

10 | Douglas J. Howe, Scott D. Stoller: An Operational Approach to Combining Classical Set Theory and Functional Programming Languages. TACS 1994: 36-55 | |

1993 | ||

9 | Douglas J. Howe: Reasoning About Functional Programs in Nuprl. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 145-164 | |

1991 | ||

8 | Jawahar Chirimar, Douglas J. Howe: Implementing Constructive Real Analysis: Preliminary Report. Constructivity in Computer Science 1991: 165-178 | |

7 | Douglas J. Howe: On Computational Open-Endedness in Martin-Löf's Type Theory LICS 1991: 162-172 | |

6 | David A. Basin, Douglas J. Howe: Some Normalization Properties of Martin-Löf's Type Theory, and Applications. TACS 1991: 475-494 | |

1990 | ||

5 | Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken: The Semantics of Reflected Proof LICS 1990: 95-105 | |

1989 | ||

4 | Douglas J. Howe: Equality In Lazy Computation Systems LICS 1989: 198-203 | |

1988 | ||

3 | EE | Douglas J. Howe: Computational Metatheory in Nuprl. CADE 1988: 238-257 |

1987 | ||

2 | Douglas J. Howe: The Computational Behaviour of Girard's Paradox LICS 1987: 205-214 | |

1986 | ||

1 | EE | Douglas J. Howe: Implementing Number Theory: An Experiment with Nuprl. CADE 1986: 404-415 |

1 | William E. Aitken | [5] |

2 | Stuart F. Allen | [5] |

3 | David A. Basin | [6] |

4 | Jawahar Chirimar | [8] |

5 | Robert L. Constable | [5] |

6 | James E. Cuccaro | [21] |

7 | Amy P. Felty | [11] [12] [16] [18] [20] |

8 | Abhik Roychoudhury | [20] |

9 | Scott D. Stoller | [10] |

10 | Frank A. Stomp | [18] |