Semantic Retrieval and Levels of Abstraction. - Francisco Corella (Expert Database Workshop, 1984)

Cooperative Responses to Boolean Queries. - Francisco Corella; S. Jerrold Kaplan; Gio Wiederhold; Lena Yesil (ICDE, 1984)

Automated High-level Verification Against Clocked Algorithmic Specifications. - Francisco Corella (CHDL, 1993)

What Holds in a Context? - Francisco Corella (J. Autom. Reason., 1993)

Automated Verification of Behavioral Equivalence for Microprocessors. - Francisco Corella (IEEE Trans. Computers, 1994)

State enumeration with abstract descriptions of state machines. - Francisco Corella; Michel Langevin; Eduard Cerny; Zijian Zhou 001; Xiaoyu Song (CHARME, 1995)

Partitioning transition relations efficiently and automatically. - Zijian Zhou 001; Xiaoyu Song; Francisco Corella; Eduard Cerny; Michel Langevin (Great Lakes Symposium on VLSI, 1995)

MDG Tools for the Verification of RTL Designs. - K. D. Anon; N. Boulerice; Eduard Cerny; Francisco Corella; Michel Langevin; Xiaoyu Song; Sofiène Tahar; Ying Xu; Zijian Zhou 001 (CAV, 1996)

Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. - Zijian Zhou 001; Xiaoyu Song; Sofiène Tahar; Eduard Cerny; Francisco Corella; Michel Langevin (FMCAD, 1996)

Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems. - Francisco Corella; Michelle Kim (SEKE, 1996)

Verification with Abstract State Machines Using MDGs. - Eduard Cerny; Francisco Corella; Michel Langevin; Xiaoyu Song; Sofiène Tahar; Zijian Zhou 001 (Formal Hardware Verification, 1997)

Multiway Decision Graphs for Automated Hardware Verification. - Francisco Corella; Zijian Zhou 001; Xiaoyu Song; Michel Langevin; Eduard Cerny (Formal Methods Syst. Des., 1997)

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. - Ying Xu; Eduard Cerny; Xiaoyu Song; Francisco Corella; Otmane Aït Mohamed (CAV, 1998)

A Fast Implementation of DES and Triple-DES on PA-RISC 2.0. - Francisco Corella (WIESS, 2000)

Identity-based protocol design patterns for machine-to-machine secure channels. - Francisco Corella; Karen Pomian Lewison (CNS, 2014)

Frictionless Web Payments with Cryptographic Cardholder Authentication. - Francisco Corella; Karen Pomian Lewison (HCI (LBP), 2019)

An Omission-Tolerant Cryptographic Checksum. - Francisco Corella; Karen Pomian Lewison (IACR Cryptol. ePrint Arch., 2019)

Overcoming the UX Challenges Faced by FIDO Credentials in the Consumer Space. - Francisco Corella (HCI (35), 2023)