| 2023 | HCI | A Conceptual Design of Management Interface for Wireless Sensor Network System. | Julia Lee, Lawrence J. Henschen |
| 2022 | HCI | Designer Interface for a Class of Wearable Computer Applications. | Lawrence J. Henschen, Julia C. Lee |
| 2022 | HCI | A Broad Platform for Smart City Projects Idea Contribution and Interaction. | Julia Lee, Lawrence J. Henschen |
| 2021 | HCI | User Interface for Vehicle Theft Recovery System. | Lawrence J. Henschen, Julia C. Lee |
| 2021 | HCI | A Smart City Stakeholder Online Meeting Interface. | Julia C. Lee, Lawrence J. Henschen |
| 2020 | HCI | On the Integration of Multiple Modeling Methodologies into a Single User Interface. | Lawrence J. Henschen, Julia C. Lee |
| 2020 | HCI | Design Interface and Modeling Technique. | Julia C. Lee, Lawrence J. Henschen |
| 2018 | HCI | Automatic Generation of Human-Computer Interfaces from BACnet Descriptions. | Lawrence J. Henschen, Julia C. Lee, Ries Guthmann |
| 2016 | HCI | Human-Computer Interfaces for Sensor/Actuator Networks. | Lawrence J. Henschen, Julia C. Lee |
| 2015 | HCI | Generating User Interfaces for Users with Disabilities Using Libraries of XSLT, UIML, and Stylesheet Files. | Lawrence J. Henschen, Julia C. Lee, Ning Li, Xia Hou |
| 2015 | HCI | On the Need for Assistance in HTML5 Web Authoring Systems. | Julia C. Lee, Lawrence J. Henschen |
| 2015 | ISCAS | On-chip integration of thermoelectric energy harvesting in 3D ICs. | Dawei Li, Seda Ogrenci Memik, Lawrence J. Henschen |
| 2014 | HCI | Intelligent Document User Interface Design Using MVC and UIML. | Lawrence J. Henschen, Ning Li, Yunmei Shi, Yuhan Zhang, Julia C. Lee |
| 2013 | HCI | A Web-Based Interface for a System That Designs Sensor Networks. | Lawrence J. Henschen, Julia C. Lee |
| 2013 | HCI | Design and Interface Considerations for Web-Enabled Data Management in Civil Infrastructure Health Monitoring. | David E. Kosnik, Lawrence J. Henschen |
| 2011 | HCI | A Framework for a User Friendly Wireless Sensor Network Configuration System. | Julia C. Lee, Lawrence J. Henschen |
| 2009 | HCI | Using Semantic-Level Tags in HTML/XML Documents. | Lawrence J. Henschen, Julia C. Lee |
| 2000 | ISMIS | Discovering and Resolving User Intent in Heterogeneous Databases. | Chris Fernandes, Lawrence J. Henschen |
| 1999 | CIKM | Using Domain Knowledge in Knowledge Discovery. | Suk-Chung Yoon, Lawrence J. Henschen, E. K. Park, S. A. M. Makki |
| 1996 | SEKE | Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization. | Suk-Chung Yoon, Lawrence J. Henschen |
| 1995 | ICDE | A New Recursive Subclass of Domain Independent Formulas Based on Subimplication. | Joonyeoub Sung, Lawrence J. Henschen |
| 1994 | ICTAI | Integrating External Functions in an Object Oriented Reasoning System. | Ta-Cheng Yu, Lawrence J. Henschen |
| 1993 | DASFAA | On Exclusive Disjunctions in Deductive Database. | Dong-Hoon Choi, Lawrence J. Henschen |
| 1993 | ICCI | An Efficient Transitive Closure Algorithm for Distributed Databases. | Ismail H. Toroslu, Lawrence J. Henschen |
| 1992 | COMPSAC | Enforcement of integrity constraints against transactions with transition axioms. | Sang Ho Lee, Lawrence J. Henschen, Myoung-Ho Kim, Yoon-Joon Lee |
| 1992 | DEXA | Processing Knowledge-Based Systems Containing Rules With Complex Bodies. | Jonghoon Chun, Lawrence J. Henschen |
| 1992 | SEKE | Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach. | Jonghoon Chun, Lawrence J. Henschen |
| 1992 | SEKE | A Graph Proof Procedure for Real Time Logic. | Jung-Hong Kao, Lawrence J. Henschen |
| 1992 | SEKE | Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment. | K. Kim, Lawrence J. Henschen |
| 1991 | COMPSAC | Compiling recursive Prolog programs with list structure into procedural languages. | Young K. Nam, Lawrence J. Henschen |
| 1991 | DASFAA | Evaluation of Extended Recursive Queries in Deductive Databases. | Sang Ho Lee, Lawrence J. Henschen |
| 1991 | ICDE | Semantic Query Reformulation in Deductive Databases. | Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah |
| 1991 | ISMIS | Knowledge Based Semantic Query Optimization. | Hichul An, Lawrence J. Henschen |
| 1990 | CADE | Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. | Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian |
| 1990 | CADE | Substitution-based Compilation of Extended Rules in Deductive Databases. | Sang Ho Lee, Lawrence J. Henschen |
| 1990 | CADE | Hyper Resolution and Equality Axioms without Function Substitutions. | Yusuf Ozturk, Lawrence J. Henschen |
| 1990 | COMPSAC | Compiling linear recursive Prolog programs with list structure into procedural language. | Young K. Nam, Lawrence J. Henschen |
| 1990 | ICTAI | Knowledge-directed query processing in expert database systems. | Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah |
| 1990 | SEKE | Query-Independent Compilation of Linear Recursions. | Abdallah Al-Sukairi, Lawrence J. Henschen |
| 1989 | IJCAI | Multi-Dimensional Heuristic Searching. | Peter C. Nelson, Lawrence J. Henschen |
| 1989 | SEKE | Derivation of Magic Sets by Compilation. | Jiawei Han, Lawrence J. Henschen, Ning Zhuang |
| 1988 | CADE | Recursive Query Answering with Non-Horn Clauses. | Shan Chi, Lawrence J. Henschen |
| 1988 | CADE | A New Approach to Universal Unification and Its Application to AC-Unification. | Mark Franzen, Lawrence J. Henschen |
| 1988 | SIGMOD | Classification of Recursive Formulas in Deductive Databases. | Cheong Youn, Lawrence J. Henschen, Jiawei Han |
| 1987 | SIGMOD | Handling Redundancy in the Processing of Recursive Database Queries. | Jiawei Han, Lawrence J. Henschen |
| 1986 | AAAI | Indefinite and GCWA Inference in Indefinite Deductive Databases. | Lawrence J. Henschen, Hyung-Sik Park |
| 1985 | IJCAI | A New Hyperparamodulation Strategy for the Equality Relation. | Younghwan Lim, Lawrence J. Henschen |
| 1983 | IJCAI | Semantic Paramodulation for Horn Sets. | William McCune, Lawrence J. Henschen |
| 1983 | IJCAI | Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. | Shamim A. Naqvi, Lawrence J. Henschen |
| 1982 | CADE | Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. | Lawrence J. Henschen, Shamim A. Naqvi |
| 1981 | IJCAI | An Improved Filter for Literal Indexing in Resolution Systems. | Lawrence J. Henschen, Shamim A. Naqvi |
| 1981 | IJCAI | Application of Automatic Transformations to Program Verification. | Robert Veroff, Lawrence J. Henschen |
| 1980 | AAAI | Performing Inferences over Recursive Data Bases. | Shamim A. Naqvi, Lawrence J. Henschen |
| 1980 | CADE | Hyperparamodulation: A Refinement of Paramodulation. | Larry Wos, Ross A. Overbeek, Lawrence J. Henschen |
| 1977 | IJCAI | Theorem Proving by Covering Expressions. | Lawrence J. Henschen, W. M. Evangelist |
| 1977 | IJCAI | Automatic Abstracting of Textual Material. | Stephen L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen |
| 1975 | IJCAI | Semantic Resolution for Horn Sets. | Lawrence J. Henschen |