Techniques for Formal Verification of Digital Systems: A System Approach. - Hamid Shojaei; Habib Ghayoumi (DSD, 2004)

TED+: a data structure for microprocessor verification. - Pejman Lotfi-Kamran; Mohammad Hosseinabady; Hamid Shojaei; Mehran Massoumi; Zainalabedin Navabi (ASP-DAC, 2005)

Signal Coverage Computation in Formal Verification. - Hamid Shojaei; Mohammad Sayyaran (VLSI-SoC, 2006)

Optimized Assignment Coverage Computation in Formal Verification of Digital Systems. - Majid Nabi; Hamid Shojaei; Siamak Mohammadi; Zainalabedin Navabi (ATS, 2007)

A New Approach for Design and Verification of Transaction Level Models. - Mohammad Reza Kakoee; Hamid Shojaei; Hassan Ghasemzadeh 001; Marjan Sirjani; Zainalabedin Navabi (ISCAS, 2007)

SPaC: a symbolic pareto calculator. - Hamid Shojaei; Twan Basten; Marc Geilen; Phillip Stanley-Marbell (CODES+ISSS, 2008)

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 (DAC, 2009)

Trace signal selection to enhance timing and logic visibility in post-silicon validation. - Hamid Shojaei; Azadeh Davoodi (ICCAD, 2010)

A pareto-algebraic framework for signal power optimization in global routing. - Hamid Shojaei; Tai-Hsuan Wu; Azadeh Davoodi; Twan Basten (ISLPED, 2010)

Torc: towards an open-source tool flow. - Neil Steiner; Aaron Wood; Hamid Shojaei; Jacob Couch; Peter Athanas; Matthew French (FPGA, 2011)

Congestion analysis for global routing via integer programming. - Hamid Shojaei; Azadeh Davoodi; Jeffrey T. Linderoth (ICCAD, 2011)

Confidentiality preserving integer programming for global routing. - Hamid Shojaei; Azadeh Davoodi; Parmeswaran Ramanathan (DAC, 2012)

Planning for local net congestion in global routing. - Hamid Shojaei; Azadeh Davoodi; Jeffrey T. Linderoth (ISPD, 2013)

A fast and scalable multidimensional multiple-choice knapsack heuristic. - Hamid Shojaei; Twan Basten; Marc Geilen; Azadeh Davoodi (ACM Trans. Design Autom. Electr. Syst., 2013)

Collaborative Multiobjective Global Routing. - Hamid Shojaei; Azadeh Davoodi; Twan Basten (IEEE Trans. Very Large Scale Integr. Syst., 2013)

Learning Semantic Representations to Verify Hardware Designs. - Shobha Vasudevan; Wenjie Jiang 001; David Bieber; Rishabh Singh; Hamid Shojaei; Richard Ho 001; Charles Sutton (NeurIPS, 2021)

"Constructing Machine Learning models for Orthodontic Treatment Planning: a comparison of different methods". - Hamid Shojaei; Vincent Augusto (IEEE Big Data, 2022)