• Source: Scopus
1972 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    User Interface for Vehicle Theft Recovery System

    Henschen, L. J. & Lee, J. C., 2021, HCI in Mobility, Transport, and Automotive Systems - 3rd International Conference, MobiTAS 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Proceedings. Krömker, H. (ed.). Springer Science and Business Media Deutschland GmbH, p. 56-72 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12791 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2020

    Design Interface and Modeling Technique

    Lee, J. C. & Henschen, L. J., 2020, Human-Computer Interaction. Design and User Experience - Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Proceedings. Kurosu, M. (ed.). Springer, p. 97-111 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12181 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On the Integration of Multiple Modeling Methodologies into a Single User Interface

    Henschen, L. & Lee, J., 2020, Distributed, Ambient and Pervasive Interactions - 8th International Conference, DAPI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Proceedings. Streitz, N. & Konomi, S. (eds.). Springer, p. 193-206 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12203 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2018

    Automatic generation of human-computer interfaces from BACnet descriptions

    Henschen, L. J., Lee, J. & Guthmann, R., Jan 1 2018, Distributed, Ambient and Pervasive Interactions: Understanding Humans - 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Proceedings. Konomi, S. & Streitz, N. (eds.). Springer Verlag, p. 71-84 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10921 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 2016

    Human-computer interfaces for sensor/actuator networks

    Henschen, L. J. & Lee, J., 2016, Human-Computer Interaction: Interaction Platforms and Techniques - 18th International Conference, HCI International 2016, Proceedings. Kurosu, M. (ed.). Springer Verlag, p. 379-387 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9732).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 2015

    Generating user interfaces for users with disabilities using libraries of XSLT, UIML, and stylesheet files

    Henschen, L. J., Lee, J., Li, N. & Hou, X., 2015, Universal Access in Human-Computer Interaction: Access to Today’s Technologies - 9th International Conference, UAHCI 2015 Held as Part of HCI International 2015, Proceedings. Antona, M., Stephanidis, C. & Stephanidis, C. (eds.). Springer Verlag, p. 174-182 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9175).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On-chip integration of thermoelectric energy harvesting in 3D ICs

    Li, D., Ogrenci-Memik, S. & Henschen, L., Jul 27 2015, 2015 IEEE International Symposium on Circuits and Systems, ISCAS 2015. Institute of Electrical and Electronics Engineers Inc., p. 1078-1081 4 p. 7168824. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2015-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • On the need for assistance in HTML5 web authoring systems

    Lee, J. C. & Henschen, L. J., Jan 1 2015, Universal Access in Human-Computer Interaction: Access to Today’s Technologies - 9th International Conference, UAHCI 2015 Held as Part of HCI International 2015, Proceedings. Antona, M., Stephanidis, C. & Stephanidis, C. (eds.). Springer Verlag, p. 213-220 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9175).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2014

    Intelligent document user interface design using MVC and UIML

    Henschen, L. J., Li, N., Shi, Y., Zhang, Y. & Lee, J., Jan 1 2014, Human-Computer Interaction: Theories, Methods, and Tools - 16th International Conference, HCI International 2014, Proceedings. PART 1 ed. Springer Verlag, p. 423-432 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8510 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 2013

    A web-based interface for a system that designs sensor networks

    Henschen, L. J. & Lee, J. C., Jul 31 2013, Human-Computer Interaction: Interaction Modalities and Techniques - 15th International Conference, HCI International 2013, Proceedings. PART 4 ed. p. 688-697 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8007 LNCS, no. PART 4).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Design and interface considerations for web-enabled data management in civil infrastructure health monitoring

    Kosnik, D. E. & Henschen, L. J., Jul 31 2013, Human-Computer Interaction: Applications and Services - 15th International Conference, HCI International 2013, Proceedings. PART 2 ed. p. 107-116 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8005 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • 2011

    A framework for a user friendly wireless sensor network configuration system

    Lee, J. C. & Henschen, L. J., Jul 21 2011, HCI International 2011 - Posters' Extended Abstracts - International Conference, HCI International 2011, Proceedings. PART 2 ed. p. 57-61 5 p. (Communications in Computer and Information Science; vol. 174 CCIS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2009

    Using semantic-level tags in HTML/XML documents

    Henschen, L. J. & Lee, J. C., Oct 28 2009, Universal Access in Human-Computer Interaction: Applications and Services - 5th International Conference, UAHCI 2009 - Held as Part of HCI International 2009, Proceedings. PART 3 ed. p. 683-692 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5616 LNCS, no. PART 3).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • 1999

    Using domain knowledge in knowledge discovery

    Yoon, S. C., Henschen, L. J., Park, E. K. & Makki, S., 1999, International Conference on Information and Knowledge Management, Proceedings. ACM, p. 243-250 8 p. (International Conference on Information and Knowledge Management, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    25 Scopus citations
  • 1995

    New recursive subclass of domain independent formulas based on subimplication

    Sung, J. & Henschen, L. J., Jan 1 1995, Proceedings - International Conference on Data Engineering. IEEE, p. 475-484 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1994

    Partitioning algorithms for a distributed deductive database

    Neumann, K. & Henschen, L., Jan 1 1994, Proceedings - ACM Computer Science Conference. Cizmar, D. (ed.). Publ by ACM, p. 288-295 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Scopus citations
  • 1993

    An efficient transitive closure algorithm for distributed databases

    Toroslu, I. H. & Henschen, L. J., Jan 1 1993, Proceedings - ICCI 1993: 5th International Conference on Computing and Information. Koczkodaj, W. W., Abou-Rabia, O. & Chang, C. K. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 185-189 5 p. 315381. (Proceedings - ICCI 1993: 5th International Conference on Computing and Information).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1992

    Compiling rules and queries in knowledge base systems: A substitution-based approach

    Chun, J. & Henschen, L. J., Dec 1 1992, Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering. Publ by IEEE, p. 109-115 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Enforcement of integrity constraints against transactions with transition axioms

    Lee, S. H., Henschen, L. J., Kim, M. H. & Lee, Y. J., Jan 1 1992, Proceedings - COMPSAC 1992: 16th Annual International Computer Software and Applications Conference. IEEE Computer Society, p. 162-167 6 p. 217574. (Proceedings - International Computer Software and Applications Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Graph proof procedure for real time logic

    Kao, J. H. & Henschen, L. J., Dec 1 1992, Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering. Publ by IEEE, p. 300-306 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Network-based simple recursive answer evaluation for deductive databases in parallel environment

    Kim, K. & Henschen, L. J., Dec 1 1992, Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering. Publ by IEEE, p. 63-70 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1991

    Compiling recursive Prolog programs with list structure into procedural languages

    Nam, Y. K. & Henschen, L. J., Jan 1 1991, Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991. IEEE Computer Society, p. 281-287 7 p. 170190. (Proceedings - International Computer Software and Applications Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge based semantic query optimization

    An, H. & Henschen, L. J., 1991, Methodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings. Ras, Z. W. & Zemankova, M. (eds.). Springer Verlag, p. 82-91 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 542 LNAI Part F2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • On generating efficient procedural codes from Prolog linear recursive programs with a list structure

    Nam, Y. K. & Henschen, L. J., Mar 1 1991, Conference Proceedings - Annual Phoenix Conference. Publ by IEEE, p. 806-812 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Semantic query reformulation in deductive databases

    Lee, S. G., Henschen, L. J. & Qadah, G. Z., Apr 1 1991, Proceedings - International Conference on Data Engineering. Publ by IEEE, p. 232-239 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Scopus citations
  • 1990

    Automatic theorem proving in paraconsistent logics: Theory and implementation

    Da Costa, N. C. A., Henschen, L. J., Lu, J. J. & Subrahmanian, V. S., Jan 1 1990, 10th International Conference on Automated Deduction, Proceedings. Stickel, M. E. (ed.). Springer Verlag, p. 72-86 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 449 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    18 Scopus citations
  • Hyper resolution and equality axioms without function substitutions

    Ozturk, Y. & Henschen, L. J., Jan 1 1990, 10th International Conference on Automated Deduction, Proceedings. Springer Verlag, Vol. 449 LNAI. p. 456-469 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 449 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge-directed query processing in expert database systems

    Lee, S. G., Henschen, L. J. & Qadah, G. Z., Dec 1 1990, Proc 2 Int IEEE Conf Tools Artif Intell. Publ by IEEE, p. 640-646 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Parallel transitive closure and transitive reduction algorithms

    Chang, P. & Henschen, L. J., Jan 1 1990, PARBASE 90 Int Conf Databases Parallel Archit Appl. Rishe, N., Navathe, S. B. & Tal, D. (eds.). Publ by IEEE, p. 152-154 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • Substitution-based compilation of extended rules in deductive databases

    Lee, S. H. & Henschen, L. J., 1990, 10th International Conference on Automated Deduction, Proceedings. Stickel, M. E. (ed.). Springer Verlag, p. 57-71 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 449 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 1989

    Intelligent control in expert database systems using a heuristic approach

    Yoon, S. C. & Henschen, L. J., Dec 1 1989, Proc IEEE Int Symp Intell Control 1989. Sanderson, A. C., Desrochers, A. A. & Valavanis, K. (eds.). Publ by IEEE, p. 399-405 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 1988

    A new approach to universal unfication and its application to AC-unification

    Franzen, M. & Henschen, L. J., Jan 1 1988, 9th International Conference on Automated Deduction, Proceedings. Springer Verlag, p. 643-657 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 310 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Classification of recursive formulas in deductive databases

    Youn, C., Henschen, L. J. & Han, J., Jun 1 1988, Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, SIGMOD 1988. Boral, H. & Larson, P-A. (eds.). Association for Computing Machinery, p. 320-328 9 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data; vol. 1988-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Scopus citations
  • Recursive query answering with non-Horn clauses

    Chi, S. & Henschen, L. J., 1988, 9th International Conference on Automated Deduction, Proceedings. Lusk, E. & Overbeek, R. (eds.). Springer Verlag, p. 294-312 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 310 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • 1985

    ASSUMPTION ANALYSES IN COMPILED LOGIC-BASED DECISION SUPPORT SYSTEMS (LDSSs)

    Chen, M. C. & Henschen, L. J., Dec 1 1985, Unknown Host Publication Title. ACM, 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1984

    COMPILING CONSTRAINT-CHECKING PROGRAMS FROM FIRST-ORDER FORMULAS.

    Henschen, L. J., McCune, W. W. & Naqvi, S. A., 1984, Unknown Host Publication Title. Plenum Press, p. 145-169 25 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    43 Scopus citations
  • UTILIZING FIRST-ORDER LOGIC IN QUERY PROCESSING.

    Asgari, D. & Henschen, L., Jan 1 1984, Unknown Host Publication Title. ACM, p. 147-154 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1983

    LOGIC-BASED DECISION SUPPORT SYSTEMS: SOME REMARKS ON IMPLEMENTATION.

    Henschen, L. J., Chen, M. C., Fedorowicz, J., Rangaswamy, A. & Pantziris, S., 1983, Unknown Host Publication Title. IEEE, p. 277-281 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • SEMANTIC PARAMODULATION FOR HORN SETS.

    McCune, W. W. & Henschen, L. J., Dec 1 1983, Unknown Host Publication Title. Bundy, A. (ed.). Vol. 2. p. 902-908 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • SYNTHESIZING LEAST FIXED POINT QUERIES INTO NON-RECURSIVE ITERATIVE PROGRAMS.

    Naqvi, S. A. & Henschen, L. J., Dec 1 1983, Unknown Host Publication Title. Bundy, A. (ed.). Vol. 1. p. 25-28 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Scopus citations
  • USER DIALOGUE SYSTEM FOR A LOGIC-BASED DECISION SUPPORT SYSTEM.

    Fedorowicz, J., Pantziris, S., Henschen, L. J., Chen, M. C. & Rangaswamy, A., 1983, Unknown Host Publication Title. IEEE, p. 282-287 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1982

    Representing infinite sequences of resolvents in recursive First-Order horn databases

    Henschen, L. J. & Naqvi, S. A., Jan 1 1982, 6th Conference on Automated Deduction. Loveland, D. W. (ed.). Springer Verlag, p. 342-359 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 138 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 1981

    APPLICATION OF AUTOMATIC TRANSFORMATIONS TO PROGRAM VERIFICATION.

    Veroff, R. L. & Henschen, L. J., Dec 1 1981, Unknown Host Publication Title. Drinan, A. (ed.). Vol. 1. p. 472-479 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • IMPROVED FILTER FOR LITERAL INDEXING IN RESOLUTION SYSTEMS.

    Henschen, L. J. & Naqvi, S. A., Dec 1 1981, Unknown Host Publication Title. Drinan, A. (ed.). Vol. 1. p. 528-529 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • 1980

    Hyperparamodulation: A refinement of paramodulation

    Wos, L., Overbeek, R. & Henschen, L. J., 1980, 5th Conference on Automated Deduction. Bibel, W. & Kowalski, R. (eds.). Springer Verlag, p. 208-219 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 87 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Scopus citations