| 2025 |
J |
jnl |
CoRR
Prashanth Vijayaraghavan, Apoorva Nitsure, Charles Mackin, Luyao Shi, Stefano Ambrogio, Arvind Haran, Viresh Paruthi, Ali El-Zein, Dan Coops, David Beymer, Tyler Baldwin, Ehsan Degan
|
| 2024 |
— |
conf |
MLCAD
Prashanth Vijayaraghavan, Apoorva Nitsure, Charles Mackin, Luyao Shi, Stefano Ambrogio, Arvind Haran, Viresh Paruthi, Ali El-Zein, Dan Coops, David Beymer, Tyler Baldwin, Ehsan Degan
|
| 2015 |
A |
conf |
DATE
Stephen Bergman, Gabor Bobok, Walter Kowalski, Shlomit Koyfman, Shiri Moran, Ziv Nevo, Avigail Orni, Viresh Paruthi, Wolfgang Roesner, Gil Shurek, Vasantha Vuyyuru
|
| 2015 |
J |
jnl |
IBM J. Res. Dev.
Klaus-Dieter Schubert, John M. Ludden, Salma Ayub, J. Behrend, Bishop Brock, Fady Copty, S. M. German, Oz Hershkovitz, H. Horbach, Jonathan R. Jackson, K. Keuerleber, J. Koesters, Larry S. Leitner, G. B. Meil, Charles Meissner, Ronny Morad, Amir Nahir, Viresh Paruthi, Richard D. Peterson, Randall R. Pratt, Michal Rimon, John Schumann
|
| 2014 |
A* |
conf |
DAC
Udo Krautz, Viresh Paruthi, Anand Arunagiri, Sujeet Kumar, Shweta Pujar, Tina Babinsky
|
| 2014 |
J |
jnl |
Formal Methods Syst. Des.
Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein
|
| 2012 |
B |
conf |
FMCAD
Alexey Lvov, Luis Alfonso Lastras-Montaño, Viresh Paruthi, Robert Shadowen, Ali El-Zein
|
| 2011 |
B |
conf |
FMCAD
Jun Sawada, Peter Sandon, Viresh Paruthi, Jason Baumgartner, Michael L. Case, Hari Mony
|
| 2010 |
B |
conf |
FMCAD
Gadiel Auerbach, Fady Copty, Viresh Paruthi
|
| 2010 |
B |
conf |
FMCAD
Viresh Paruthi
|
| 2009 |
B |
conf |
FMCAD
Krishnan Kailas, Viresh Paruthi, Brian Monwai
|
| 2006 |
C |
conf |
ICCD
Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen
|
| 2005 |
A |
conf |
DATE
Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner
|
| 2005 |
— |
conf |
CHARME
Viresh Paruthi, Christian Jacobi, Kai Weber
|
| 2005 |
A* |
conf |
DAC
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman
|
| 2004 |
B |
conf |
FMCAD
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann
|
| 2002 |
J |
jnl |
IBM J. Res. Dev.
John M. Ludden, Wolfgang Roesner, Gerry M. Heiling, John R. Reysa, Jonathan R. Jackson, Bing-Lun Chu, Michael L. Behm, Jason Baumgartner, Richard D. Peterson, Jamee Abdulhafiz, William E. Bucy, John H. Klaus, Danny J. Klema, Tien N. Le, F. Danette Lewis, Philip E. Milling, Lawrence A. McConville, Bradley S. Nelson, Viresh Paruthi, Travis W. Pouarz, Audre D. Romonosky, Jeff Stuecheli, Kent D. Thompson, Dave W. Victor, Bruce Wile
|
| 2002 |
J |
jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai
|
| 2001 |
A* |
conf |
DAC
Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi
|
| 2000 |
C |
conf |
ICCD
Viresh Paruthi, Andreas Kuehlmann
|
| 1998 |
C |
conf |
ICCD
Viresh Paruthi, Nazanin Mansouri, Ranga Vemuri
|