Expert Systems for Designing and Programming Wireless Sensor
Universal Access in Human-Computer Interfaces
Earlier Research Areas
Automated Reasoning/First-order Logic
Distributed Heterogenous Databases
Visual Interfaces for Program Development
Henschen, L., and Lee, J., "Using Semantic-level Tags in XML
Documents," Proceedings of HCII2009, San Diego, California, July
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.
"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.