Francisco Corella
发表
Francisco Corella,
1994,
IEEE Trans. Computers.
Francisco Corella,
2004,
Journal of Automated Reasoning.
Francisco Corella,
Karen Pomian Lewison,
F. Corella,
2012
.
Francisco Corella,
Karen Pomian Lewison,
F. Corella,
2014
.
Francisco Corella,
Eduard Cerny,
Zijian Zhou,
1995,
Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.
Francisco Corella,
Gio Wiederhold,
S. Jerrold Kaplan,
1984,
1984 IEEE First International Conference on Data Engineering.
Francisco Corella,
Karen Pomian Lewison,
F. Corella,
2011
.
Sofiène Tahar,
Xiaoyu Song,
Francisco Corella,
1996,
CAV.
Francisco Corella,
Karen Pomian Lewison,
2019,
HCI.
Francisco Corella,
Karen P Lewison,
Mohammed Talukder,
2002,
Journal of digital imaging.
Sofiène Tahar,
Xiaoyu Song,
Francisco Corella,
1997,
Formal Hardware Verification.
Francisco Corella,
1993,
CHDL.
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
1997,
Formal Methods Syst. Des..
Francisco Corella,
1984,
Expert Database Workshop.
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
1998,
CAV.
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
1995,
Proceedings. Fifth Great Lakes Symposium on VLSI.
Sofiène Tahar,
Xiaoyu Song,
Francisco Corella,
1996,
FMCAD.
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
1995,
CHARME.
Francisco Corella,
Karen Pomian Lewison,
2019,
IACR Cryptol. ePrint Arch..
Francisco Corella,
2001
.
Francisco Corella,
James M. Stone,
Charles Barton,
1993
.
Francisco Corella,
Michelle Kim,
1996,
SEKE.
Francisco Corella,
F. Corella,
2000,
WIESS'00.
Francisco Corella,
Karen Pomian Lewison,
F. Corella,
2014,
2014 IEEE Conference on Communications and Network Security.
Francisco Corella,
2000
.
Cui Zhang,
Francisco Corella,
Robert J. Shaw,
1997
.
Francisco Corella,
Karen Pomian Lewison,
F. Corella,
2012
.
Francisco Corella,
1997
.
Francisco Corella,
F. Corella,
K. Lewison,
2012
.
Sofiène Tahar,
Xiaoyu Song,
Francisco Corella,
1997
.
Francisco Corella,
Karen Lewison,
2019
.