Conditional Form Logic

Conditional Form Logic is a formal method in human-computer interaction that dynamically modifies form structure and behavior based on user input, distinguishing itself from static form design by enabling context-sensitive field visibility, validation, and navigation through predefined logical rules.

9

Publications

521

Citations

20

Authors

10

Institutions

Publications per year

2017–2026

3

Authors

20

  1. WH
    Willie Henderson

    University of Birmingham, United Kingdom

    1 publications · 11 citations

    1

    h-index

  2. RE
    Robert E. Hoskisson

    Rice University, United States

    1 publications · 44 citations

    1

    h-index

  3. TW
    Tae Wan Kim

    Carnegie Mellon University, United States

    1 publications · 44 citations

    1

    h-index

  4. JM
    José Meseguer

    University of Illinois Urbana-Champaign, United States

    1 publications · 34 citations

    1

    h-index

  5. HT
    Hung T. Nguyen

    Virginia Commonwealth University, United States

    1 publications · 30 citations

    1

    h-index

1–5 of 20

Venues

  1. IEEE Software

    1 publications · 160 citations

    1

    h-index

  2. 1

    h-index

  3. 1

    h-index

  4. The Philosophical Quarterly

    1 publications · 140 citations

    1

    h-index

  5. PNAS Nexus

    1 publications · 43 citations

    1

    h-index

1–5