Statistics
Publications
5
Citations
174
H-Index
5
Active since
1984
Affiliations
Francisco Corella is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, computer science, and formal methods.
Publications per year
1984–2002
5
5
Multiway Decision Graphs for Automated Hardware Verification
Francisco Corella, Zijian Zhou, X. Song et al. · Formal Methods in System Design · 1997 · 105 citations
Cooperative responses to boolean queries
Francisco Corella, S. Jerrold Kaplan, Gio Wiederhold et al. · 1984 · 26 citations
Semantic Retrieval and Levels of Abstraction.
Francisco Corella · 1984 · 17 citations
Rows per page
1–5 of 5