Daniel J. Dougherty

983 total citations
34 papers, 292 citations indexed

About

Daniel J. Dougherty is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Daniel J. Dougherty has authored 34 papers receiving a total of 292 indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Artificial Intelligence, 17 papers in Computational Theory and Mathematics and 14 papers in Computer Networks and Communications. Recurrent topics in Daniel J. Dougherty's work include Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (12 papers) and Advanced Database Systems and Queries (8 papers). Daniel J. Dougherty is often cited by papers focused on Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (12 papers) and Advanced Database Systems and Queries (8 papers). Daniel J. Dougherty collaborates with scholars based in United States, France and Türkiye. Daniel J. Dougherty's co-authors include Shriram Krishnamurthi, Tim Nelson, Kathi Fisler, Christopher L. R. Barratt, Pierre Lescanne, Arjun Guha, Silvia Ghilezan, Joshua D. Guttman, İsmail Arı and Elke A. Rundensteiner and has published in prestigious journals such as SHILAP Revista de lepidopterología, Journal of Mathematical Analysis and Applications and Theoretical Computer Science.

In The Last Decade

Daniel J. Dougherty

31 papers receiving 270 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Daniel J. Dougherty United States 9 173 132 86 65 51 34 292
Thomas Wies United States 12 168 1.0× 107 0.8× 69 0.8× 68 1.0× 158 3.1× 32 308
Bernard Stépien Canada 9 120 0.7× 70 0.5× 44 0.5× 60 0.9× 87 1.7× 25 204
Peter J. McCann United States 10 147 0.8× 246 1.9× 61 0.7× 45 0.7× 96 1.9× 19 331
Frank Valencia France 9 162 0.9× 65 0.5× 137 1.6× 38 0.6× 25 0.5× 35 233
Stephen J. Garland United States 9 163 0.9× 172 1.3× 159 1.8× 59 0.9× 43 0.8× 18 355
Christopher Colby United States 8 197 1.1× 57 0.4× 134 1.6× 75 1.2× 56 1.1× 15 288
Lindsay Groves New Zealand 12 191 1.1× 242 1.8× 98 1.1× 56 0.9× 102 2.0× 52 403
Craig A. Damon United States 7 121 0.7× 70 0.5× 106 1.2× 150 2.3× 83 1.6× 14 264
Doug Woos United States 8 147 0.8× 336 2.5× 78 0.9× 54 0.8× 130 2.5× 13 420
Ira R. Forman United States 9 180 1.0× 108 0.8× 35 0.4× 80 1.2× 177 3.5× 27 308

Countries citing papers authored by Daniel J. Dougherty

Since Specialization
Citations

This map shows the geographic impact of Daniel J. Dougherty'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 Daniel J. Dougherty with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Daniel J. Dougherty more than expected).

Fields of papers citing papers by Daniel J. Dougherty

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Daniel J. Dougherty. 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 Daniel J. Dougherty. The network helps show where Daniel J. Dougherty may publish in the future.

Co-authorship network of co-authors of Daniel J. Dougherty

This figure shows the co-authorship network connecting the top 25 collaborators of Daniel J. Dougherty. A scholar is included among the top collaborators of Daniel J. Dougherty 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 Daniel J. Dougherty. Daniel J. Dougherty is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Dougherty, Daniel J., et al.. (2021). Protocols, Strands, and Logic. Lecture notes in computer science. 1 indexed citations
2.
Dougherty, Daniel J., et al.. (2018). Razor: Provenance and Exploration in Model-Finding. EPiC series in computing. 31. 76–57. 1 indexed citations
3.
Nelson, Tim, et al.. (2017). The power of "why" and "why not": enriching scenario exploration with provenance. 106–116. 18 indexed citations
4.
Lei, Chuan, et al.. (2016). Context-Aware Event Stream Analytics. Movebank. 2 indexed citations
5.
Dougherty, Daniel J. & Joshua D. Guttman. (2014). Decidability for Lightweight Diffie-Hellman Protocols. 14. 217–231. 4 indexed citations
6.
Cirstea, Horatiu, et al.. (2010). Extensional and Intensional Strategies. arXiv (Cornell University). 1 indexed citations
7.
Nelson, Tim, Christopher L. R. Barratt, Daniel J. Dougherty, Kathi Fisler, & Shriram Krishnamurthi. (2010). The margrave tool for firewall analysis. 1–8. 74 indexed citations
8.
Dougherty, Daniel J. & Santiago Escobar. (2009). Preface. Electronic Notes in Theoretical Computer Science. 234. 1–2. 1 indexed citations
9.
Dougherty, Daniel J., Silvia Ghilezan, & Pierre Lescanne. (2008). Characterizing strong normalization in the Curien–Herbelin symmetric lambda calculus: Extending the Coppo–Dezani heritage. Theoretical Computer Science. 398(1-3). 114–128. 9 indexed citations
10.
Dougherty, Daniel J. & Claudio Gutiérrez. (2006). Normal forms for binary relations. Theoretical Computer Science. 360(1-3). 228–246. 2 indexed citations
11.
Dougherty, Daniel J., Silvia Ghilezan, & Pierre Lescanne. (2005). Intersection and Union Types in the λ¯μμ˜-calculus. Electronic Notes in Theoretical Computer Science. 136. 153–172. 5 indexed citations
12.
Dougherty, Daniel J., et al.. (2000). Equality between Functionals in the Presence of Coproducts. Information and Computation. 157(1-2). 52–83. 4 indexed citations
13.
Otto, Friedrich, Paliath Narendran, & Daniel J. Dougherty. (1998). Equational unification, word unification, and 2nd-order equational unification. Theoretical Computer Science. 198(1-2). 1–47. 1 indexed citations
14.
Dougherty, Daniel J. & Patricia Johann. (1995). A combinatory logic approach to higher-order E-unification. Theoretical Computer Science. 139(1-2). 207–242. 2 indexed citations
15.
Dougherty, Daniel J.. (1993). Higher-order unification via combinators. Theoretical Computer Science. 114(2). 273–298. 11 indexed citations
16.
Dougherty, Daniel J. & Patricia Johann. (1992). An improved general E-unification method. Journal of Symbolic Computation. 14(4). 303–320. 2 indexed citations
17.
Dougherty, Daniel J.. (1992). Adding algebraic rewriting to the untyped lambda calculus. Information and Computation. 101(2). 251–267. 23 indexed citations
18.
Dougherty, Daniel J.. (1992). Closed categories and categorical grammar.. Notre Dame Journal of Formal Logic. 34(1). 1 indexed citations
19.
20.
Shortt, R. M., Daniel J. Dougherty, & Richard N. Ball. (1987). Decomposition theorems for measures. Journal of Mathematical Analysis and Applications. 128(2). 561–580. 2 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

Breakdown of academic impact, for papers by Thomas Wies Breakdown of academic impact, for papers by Bernard Stépien Breakdown of academic impact, for papers by Peter J. McCann Breakdown of academic impact, for papers by Frank Valencia Breakdown of academic impact, for papers by Stephen J. Garland Breakdown of academic impact, for papers by Christopher Colby Breakdown of academic impact, for papers by Lindsay Groves Breakdown of academic impact, for papers by Craig A. Damon Breakdown of academic impact, for papers by Doug Woos Breakdown of academic impact, for papers by Ira R. Forman
Rankless by CCL
2026