dblp.uni-trier.dewww.uni-trier.de

Douglas J. Howe Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2001
21EEDouglas J. Howe, James E. Cuccaro: Electricity Deregulation: It's New Bonanza. IS Management 18(3): 83-91 (2001)
1999
20EEAmy 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
19EEDouglas J. Howe: Interactive Theorem Proving Using Type Theory. CSL 1999: 578
1998
18EEAmy P. Felty, Douglas J. Howe, Frank A. Stomp: Protocol Verification in Nuprl. CAV 1998: 428-439
17EEDouglas J. Howe: A Type Annotation Scheme for Nuprl. TPHOLs 1998: 207-224
1997
16EEAmy 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
14EEDouglas 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
12EEAmy P. Felty, Douglas J. Howe: Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables. CADE 1994: 605-619
11EEAmy 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
3EEDouglas 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
1EEDouglas J. Howe: Implementing Number Theory: An Experiment with Nuprl. CADE 1986: 404-415

Coauthor Index

1William E. Aitken [5]
2Stuart F. Allen [5]
3David A. Basin [6]
4Jawahar Chirimar [8]
5Robert L. Constable [5]
6James E. Cuccaro [21]
7Amy P. Felty [11] [12] [16] [18] [20]
8Abhik Roychoudhury [20]
9Scott D. Stoller [10]
10Frank A. Stomp [18]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)