K. Ravi
发表
In-Ho Moon,
Kavita Ravi,
Fabio Somenzi,
2000,
DAC.
F. Somenzi,
In-Ho Moon,
J. Kukula,
2000,
Proceedings 37th Design Automation Conference.
F. Somenzi,
K. Ravi,
1995,
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
F. Somenzi,
K. Ravi,
Roderick Bloem,
2002
.
G. Hachtel,
A. Pardo,
F. Somenzi,
1996,
FMCAD.
Enrico Macii,
Massimo Poncino,
Kavita Ravi,
1995
.
Kavita Ravi,
Fabio Somenzi,
HoonSang Jin,
2004,
International Journal on Software Tools for Technology Transfer.
Chao Wang,
Kavita Ravi,
Fabio Somenzi,
2006,
Formal Methods Syst. Des..
Kavita Ravi,
Fabio Somenzi,
HoonSang Jin,
2004,
International Journal on Software Tools for Technology Transfer.
Kavita Ravi,
Fabio Somenzi,
F. Somenzi,
2004,
TACAS.
Kavita Ravi,
Fabio Somenzi,
Roderick Bloem,
1999,
CAV.
Kavita Ravi,
Fabio Somenzi,
Saqib Sohail,
2008,
VMCAI.
Kavita Ravi,
Fabio Somenzi,
Roderick Bloem,
2002,
FMCAD.
Chao Wang,
Kavita Ravi,
Fabio Somenzi,
2001,
CONCUR.
Kavita Ravi,
Fabio Somenzi,
Roderick Bloem,
2000,
FMCAD.
Kavita Ravi,
Fabio Somenzi,
Roderick Bloem,
2000,
Proceedings 37th Design Automation Conference.
Kavita Ravi,
Fabio Somenzi,
F. Somenzi,
1999,
Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).
Kavita Ravi,
Fabio Somenzi,
F. Somenzi,
1999,
CHARME.
Kenneth L. McMillan,
Kavita Ravi,
Thomas R. Shiple,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).