Lawrence J. Henschen
-
- Advanced Database Systems and Queries 28
- Distributed systems and fault tolerance 5
- Artificial Intelligence top 5%
- Logic, Reasoning, and Knowledge 27
- Logic, programming, and type systems 19
- Semantic Web and Ontologies 13
- Signal Processing top 5%
- Data Management and Algorithms 14
-
- Formal Methods in Verification 13
- Software top 10%
-
- Data Mining Algorithms and Applications 4
Lawrence J. Henschen
43 papers receiving 477 citations
Peers
Comparison fields: 5 of 50
- Computer Networks and Communications 321
- Artificial Intelligence 444
- Signal Processing 144
- Computational Theory and Mathematics 160
- Software 21
Countries citing papers authored by Lawrence J. Henschen
This map shows the geographic impact of Lawrence J. Henschen'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 Lawrence J. Henschen with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Lawrence J. Henschen more than expected).
Fields of papers citing papers by Lawrence J. Henschen
This network shows the impact of papers produced by Lawrence J. Henschen. 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 Lawrence J. Henschen. The network helps show where Lawrence J. Henschen may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Lawrence J. Henschen, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2002 | 1 | |
| 2 | Semantic query reformulation in object-oriented databases | 1996 | 1 |
| 3 | 1993 | 1 | |
| 4 | 1992 | 9 | |
| 5 | Evaluation of Extended Recursive Queries in Deductive Databases | 1991 | 1 |
| 6 | Query-Independent Compilation of Linear Recursions. | 1990 | 3 |
| 7 | Multi-dimensional heuristic searching | 1989 | 0 |
| 8 | 1989 | 33 | |
| 9 | Answering Linear Recursive Queries in Cyclic Databases. | 1988 | 7 |
| 10 | 1986 | 1 | |
| 11 | What is automated theorem proving | 1985 | 2 |
| 12 | A new hyperparamodulation strategy for the equality relation | 1985 | 2 |
| 13 | 1985 | 3 | |
| 14 | 1984 | 17 | |
| 15 | Semantic paramodulation for Horn sets | 1983 | 5 |
| 16 | 1983 | 7 | |
| 17 | Application of automatic transformations to program verification | 1981 | 2 |
| 18 | Performing inferences over recursive data bases | 1980 | 12 |
| 19 | Semantic resolution for horn sets | 1975 | 0 |
| 20 | A Resolution Style Proof Procedure for Higher-Order Logic | 1971 | 1 |
About Lawrence J. Henschen
Lawrence J. Henschen is a scholar working on Computer Networks and Communications, Artificial Intelligence and Signal Processing, having authored 56 papers that have together received 565 indexed citations. Recurring topics across this work include Advanced Database Systems and Queries (28 papers), Logic, Reasoning, and Knowledge (27 papers), Logic, programming, and type systems (19 papers), Data Management and Algorithms (14 papers), Semantic Web and Ontologies (13 papers), Formal Methods in Verification (13 papers), Distributed systems and fault tolerance (5 papers) and Data Mining Algorithms and Applications (4 papers). The work is most often cited by research in Computer Networks and Communications (321 citations), Artificial Intelligence (444 citations) and Signal Processing (144 citations). Lawrence J. Henschen has collaborated with scholars based in United States, South Korea and Canada. Frequent co-authors include Shamim A. Naqvi, L. Wos, William W. McCune, Robert Veroff, Jiawei Han, S. Winker, Brian T. Smith, Ghassan Z. Qadah, James Lu and E. K. Park. Their work appears in journals such as IEEE Transactions on Software Engineering, Artificial Intelligence and Journal of the ACM.
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.