| 2013 | DAC | Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation. | Adam B. Kinsman, Ho Fai Ko, Nicola Nicolici |
| 2012 | ITC | In-system constrained-random stimuli generation for post-silicon validation. | Adam B. Kinsman, Ho Fai Ko, Nicola Nicolici |
| 2010 | DAC | Robust design methods for hardware accelerators for iterative algorithms in scientific computing. | Adam B. Kinsman, Nicola Nicolici |
| 2009 | DATE | Finite Precision bit-width allocation using SAT-Modulo Theory. | Adam B. Kinsman, Nicola Nicolici |
| 2009 | ICCD | Computational bit-width allocation for operations in vector calculus. | Adam B. Kinsman, Nicola Nicolici |
| 2008 | IROS | Hardware-based parallel computing for real-time haptic rendering of deformable objects. | Ramin Mafi, Shahin Sirouspour, Brian Moody, Behzad Mahdavikhah, Kaveh Elizeh, Adam B. Kinsman, Nicola Nicolici, Mahyar Fotoohi, D. Madill |
| 2008 | ITC | Distributed Embedded Logic Analysis for Post-Silicon Validation of SOCs. | Ho Fai Ko, Adam B. Kinsman, Nicola Nicolici |
| 2005 | ETS | Time-multiplexed test data decompression architecture for core-based SOCs with improved utilization of tester channels. | Adam B. Kinsman, Nicola Nicolici |
| 2004 | ICCD | Compressed Embedded Diagnosis of Logic Cores. | Scott Ollivierre, Adam B. Kinsman, Nicola Nicolici |