Francisco Corella
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1984–2023
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | HCI | Overcoming the UX Challenges Faced by FIDO Credentials in the Consumer Space. | Francisco Corella |
| 2019 | HCI | Frictionless Web Payments with Cryptographic Cardholder Authentication. | Francisco Corella, Karen Pomian Lewison |
| 1998 | CAV | Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. | Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane At Mohamed |
| 1996 | CAV | MDG Tools for the Verification of RTL Designs. | K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofine Tahar, Ying Xu, Zijian Zhou |
| 1996 | FMCAD | Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. | Zijian Zhou, Xiaoyu Song, Sofine Tahar, Eduard Cerny, Francisco Corella, Michel Langevin |
| 1996 | SEKE | Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems. | Francisco Corella, Michelle Kim |
| 1984 | ICDE | Cooperative Responses to Boolean Queries. | Francisco Corella, S. Jerrold Kaplan, Gio Wiederhold, Lena Yesil |