Hamid Shojaei

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 2

Top Topics

Treatment Planning

Routing Problem

Machine Learning Models

Top Venues

ACM Trans. Design Autom. Electr. Syst.

IEEE Trans. Very Large Scale Integr. Syst.

Publications

Hamid Shojaei, Vincent Augusto
"Constructing Machine Learning models for Orthodontic Treatment Planning: a comparison of different methods". Big Data (2022)
Shobha Vasudevan, Wenjie Jiang, David Bieber, Rishabh Singh, Hamid Shojaei, Richard Ho, Charles Sutton
Learning Semantic Representations to Verify Hardware Designs. NeurIPS (2021)
Hamid Shojaei, Azadeh Davoodi, Twan Basten
Collaborative Multiobjective Global Routing. IEEE Trans. Very Large Scale Integr. Syst. 21 (7) (2013)
Hamid Shojaei, Twan Basten, Marc Geilen, Azadeh Davoodi
A fast and scalable multidimensional multiple-choice knapsack heuristic. ACM Trans. Design Autom. Electr. Syst. 18 (4) (2013)
Hamid Shojaei, Azadeh Davoodi, Jeffrey T. Linderoth
Planning for local net congestion in global routing. ISPD (2013)
Hamid Shojaei, Azadeh Davoodi, Parmeswaran Ramanathan
Confidentiality preserving integer programming for global routing. DAC (2012)
Neil Steiner, Aaron Wood, Hamid Shojaei, Jacob Couch, Peter Athanas, Matthew French
Torc: towards an open-source tool flow. FPGA (2011)
Hamid Shojaei, Azadeh Davoodi, Jeffrey T. Linderoth
Congestion analysis for global routing via integer programming. ICCAD (2011)
Hamid Shojaei, Azadeh Davoodi
Trace signal selection to enhance timing and logic visibility in post-silicon validation. ICCAD (2010)
Hamid Shojaei, Tai-Hsuan Wu, Azadeh Davoodi, Twan Basten
A pareto-algebraic framework for signal power optimization in global routing. ISLPED (2010)
Hamid Shojaei, Amir Hossein Ghamarian, Twan Basten, Marc Geilen, Sander Stuijk, Rob Hoes
A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management. DAC (2009)
Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell
SPaC: a symbolic pareto calculator. CODES+ISSS (2008)
Majid Nabi, Hamid Shojaei, Siamak Mohammadi, Zainalabedin Navabi
Optimized Assignment Coverage Computation in Formal Verification of Digital Systems. ATS (2007)
Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi
A New Approach for Design and Verification of Transaction Level Models. ISCAS (2007)
Hamid Shojaei, Mohammad Sayyaran
Signal Coverage Computation in Formal Verification. VLSI-SoC (2006)
Pejman Lotfi-Kamran, Mohammad Hosseinabady, Hamid Shojaei, Mehran Massoumi, Zainalabedin Navabi
TED+: a data structure for microprocessor verification. ASP-DAC (2005)
Hamid Shojaei, Habib Ghayoumi
Techniques for Formal Verification of Digital Systems: A System Approach. DSD (2004)