Lawrence J. Henschen

Current Research Areas

• Expert Systems for Designing and Programming Wireless Sensor Networks
• Universal Access in Human-Computer Interfaces

Earlier Research Areas

• Automated Reasoning/First-order Logic
• Deductive Databases
• Distributed Heterogenous Databases
• Visual Interfaces for Program Development

Significant Publications

• Henschen, L., and Lee, J.,
  "Using Semantic-level Tags in XML Documents,"
  Proceedings of HCII2009, San Diego, California, July 19-24, 2009.

• Henschen, L., and Lee, J.,
  "Incorporating HCI Principles in Web Design Through Modeling Techniques,"
  Poster, HCII2007, Beijing, China, July 23-27, 2007.

• Nam, Y. K., Kim, J., Lee, K, and Henschen, L.,
  "Automatic Generation of C Program Code from Data Flow Diagrams,"
  Intelligent Systems, 1995, pp. 421-436.

• Henschen, L., Overbeek, R. and Wos, L.
  "A Theorem-Proving Language for Experimentation,"
  Communications of the ACM, June, 1974, pp. 308-314.
  

• Henschen, L. and Wos, L.,
  "Unit Refutations and Horn Sets,"
  Journal of the ACM, October, 1974, pp. 590-605.
  

• Henschen, L.,
  "Theorem Proving by Covering Expressions,"
  Journal of the ACM, July, 1979, pp. 385-400.
  

• Henschen, L. and Naqvi, S.,
  "On Compiling Queries in Recursive First-order Databases,"
  Journal of the ACM, January, 1984, pp. 47-86.
  

• Henschen, L. and Lim, Y.,
  "A New Hyperparamodulation Strategy for the Equality Relation,"
  Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Angeles, August, 1985, pp. 1138-1145.
  

• McCune, W. and Henschen, L.,
  "Maintaining State Constraints in Relational Databases: A Proof Theoretic Basis,"
  Journal of the ACM, Vol. 36, No. 1, 1989, pp. 46-68.
  

• Henschen, L., Neild, T., Fernandes, C.,
  "An Object-oriented Graph Traversal Algorithm for Data Mediation,"
  Proc. 2nd America Conference on Information Systems, Phoenix, AZ, August 16-18, 1996.