| 2012 | DAC | Confidentiality preserving integer programming for global routing. | Hamid Shojaei, Azadeh Davoodi, Parmeswaran Ramanathan |
| 2011 | FPGA | Torc: towards an open-source tool flow. | Neil Steiner, Aaron Wood, Hamid Shojaei, Jacob Couch, Peter Athanas, Matthew French |
| 2011 | ICCAD | Congestion analysis for global routing via integer programming. | Hamid Shojaei, Azadeh Davoodi, Jeffrey T. Linderoth |
| 2010 | ICCAD | Trace signal selection to enhance timing and logic visibility in post-silicon validation. | Hamid Shojaei, Azadeh Davoodi |
| 2010 | ISLPED | A pareto-algebraic framework for signal power optimization in global routing. | Hamid Shojaei, Tai-Hsuan Wu, Azadeh Davoodi, Twan Basten |
| 2009 | DAC | A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management. | Hamid Shojaei, Amir Hossein Ghamarian, Twan Basten, Marc Geilen, Sander Stuijk, Rob Hoes |
| 2007 | ISCAS | A New Approach for Design and Verification of Transaction Level Models. | Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi |
| 2005 | ASPDAC | TED+: a data structure for microprocessor verification. | Pejman Lotfi-Kamran, Mohammad Hosseinabady, Hamid Shojaei, Mehran Massoumi, Zainalabedin Navabi |
| 2004 | DSD | Techniques for Formal Verification of Digital Systems: A System Approach. | Hamid Shojaei, Habib Ghayoumi |