A Formal Representation of Conjugate Verbs for Function Modeling. - Ahmed Chowdhury; Lakshmi N. A. Venkatanarasimhan; Chiradeep Sen (J. Comput. Inf. Sci. Eng., 2021)

Finite-State Automata-Based Representation of Device States for Function Modeling of Multimodal Devices. - Ahmed Chowdhury; Lakshmi N. A. Venkatanarasimhan; Chiradeep Sen (J. Comput. Inf. Sci. Eng., 2022)