Douglas J. Howe

1.9k total citations
14 papers, 727 citations indexed

About

Douglas J. Howe is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Hardware and Architecture. According to data from OpenAlex, Douglas J. Howe has authored 14 papers receiving a total of 727 indexed citations (citations by other indexed papers that have themselves been cited), including 10 papers in Computational Theory and Mathematics, 9 papers in Artificial Intelligence and 3 papers in Hardware and Architecture. Recurrent topics in Douglas J. Howe's work include Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (7 papers). Douglas J. Howe is often cited by papers focused on Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (7 papers). Douglas J. Howe collaborates with scholars based in United States and Canada. Douglas J. Howe's co-authors include Robert L. Constable, Stuart F. Allen, Robert Harper, James F. Cremer, Todd B. Knoblock, N. P. Mendler, Prakash Panangaden, Scott F. Smith, W. R. Cleaveland and James Hook and has published in prestigious journals such as Information and Computation, eCommons (Cornell University) and Medical Entomology and Zoology.

In The Last Decade

Douglas J. Howe

12 papers receiving 608 citations

Peers

Douglas J. Howe

AI

CTM

CNC

SOFTW

HA

Stuart F. Allen United States

Jean-Jacques Lévy France

C. R. Murthy United States

Eduardo Giménez

Bruno Barras France

Judicaël Courant France

Mario Coppo Italy

N. P. Mendler United Kingdom

Bard Bloom United States

Christopher P. Wadsworth United Kingdom

Stuart F. Allen United States

Douglas J. Howe

552 ×0.8

AI

398 ×0.8

CTM

84 ×0.9

CNC

67 ×0.9

SOFTW

61 ×0.9

HA

Citations per year, relative to Douglas J. Howe Douglas J. Howe (= 1×) peers Stuart F. Allen

Countries citing papers authored by Douglas J. Howe

Since Specialization

Citations

This map shows the geographic impact of Douglas J. Howe's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Douglas J. Howe with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Douglas J. Howe more than expected).

Fields of papers citing papers by Douglas J. Howe

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Douglas J. Howe. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Douglas J. Howe. The network helps show where Douglas J. Howe may publish in the future.

Co-authorship network of co-authors of Douglas J. Howe

This figure shows the co-authorship network connecting the top 25 collaborators of Douglas J. Howe. A scholar is included among the top collaborators of Douglas J. Howe based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Douglas J. Howe. Douglas J. Howe is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

14 of 14 papers shown

1.

Howe, Douglas J.. (2009). Higher-order abstract syntax in classical higher-order logic. 1–11. 2 indexed citations

2.

Howe, Douglas J., et al.. (2003). An approach to formal verication of real time concurrent Ada programs. ACM SIGAda Ada Letters. 87–92.

3.

Howe, Douglas J., et al.. (2003). An approach to formal verication of real time concurrent Ada programs. ACM SIGAda Ada Letters. XXIII(4). 87–92.

4.

Howe, Douglas J.. (2003). Equality in lazy computation systems. 198–203. 48 indexed citations

5.

Allen, Stuart F., et al.. (2002). The semantics of reflected proof. 95–105. 23 indexed citations

6.

Howe, Douglas J.. (2002). On computational open-endedness in Martin-Lof's type theory. 162–172. 7 indexed citations

7.

Howe, Douglas J.. (1998). Toward Sharing Libraries of Mathematics between Theorem Provers.. 161–176. 2 indexed citations

8.

Howe, Douglas J.. (1996). Proving Congruence of Bisimulation in Functional Programming Languages. Information and Computation. 124(2). 103–112. 129 indexed citations

9.

Constable, Robert L. & Douglas J. Howe. (1989). Implementing Metamathematics as an Approach to Automatic Theorem Proving. eCommons (Cornell University). 7 indexed citations

10.

Constable, Robert L. & Douglas J. Howe. (1989). Nuprl as a General Logic. eCommons (Cornell University). 4 indexed citations

11.

Howe, Douglas J.. (1988). Automating reasoning in an implementation of constructive type theory. eCommons (Cornell University). 14 indexed citations

12.

Howe, Douglas J.. (1987). The Computational Behaviour of Girard's Paradox. eCommons (Cornell University). 205–214. 13 indexed citations

13.

Constable, Robert L., Stuart F. Allen, W. R. Cleaveland, et al.. (1986). Implementing Mathematics with The Nuprl Proof Development System. Medical Entomology and Zoology. 468 indexed citations

14.

Hook, James & Douglas J. Howe. (1986). Impredicative Strong Existential Equivalent to Type:Type. eCommons (Cornell University). 10 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact