Hamid Shojaei

According to our database, Hamid Shojaei authored at least 17 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

"Constructing Machine Learning models for Orthodontic Treatment Planning: a comparison of different methods".

Hamid Shojaei, Vincent Augusto

Proceedings of the IEEE International Conference on Big Data, 2022

2021

Learning Semantic Representations to Verify Hardware Designs.

Shobha Vasudevan, Wenjie Jiang, David Bieber, Rishabh Singh, Hamid Shojaei, Richard Ho, Charles Sutton

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2013

Collaborative Multiobjective Global Routing.

Hamid Shojaei, Azadeh Davoodi, Twan Basten

IEEE Trans. Very Large Scale Integr. Syst., 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

Planning for local net congestion in global routing.

Hamid Shojaei, Azadeh Davoodi, Jeffrey T. Linderoth

Proceedings of the International Symposium on Physical Design, 2013

2012

Confidentiality preserving integer programming for global routing.

Hamid Shojaei, Azadeh Davoodi, Parmeswaran Ramanathan

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

Congestion analysis for global routing via integer programming.

Hamid Shojaei, Azadeh Davoodi, Jeffrey T. Linderoth

Proceedings of the 2011 IEEE/ACM International Conference on Computer-Aided Design, 2011

Torc: towards an open-source tool flow.

Neil Steiner, Aaron Wood, Hamid Shojaei, Jacob Couch, Peter Athanas, Matthew French

Proceedings of the ACM/SIGDA 19th International Symposium on Field Programmable Gate Arrays, 2011

2010

A pareto-algebraic framework for signal power optimization in global routing.

Hamid Shojaei, Tai-Hsuan Wu, Azadeh Davoodi, Twan Basten

Proceedings of the 2010 International Symposium on Low Power Electronics and Design, 2010

Trace signal selection to enhance timing and logic visibility in post-silicon validation.

Hamid Shojaei, Azadeh Davoodi

Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

2009

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

Proceedings of the 46th Design Automation Conference, 2009

2008

SPaC: a symbolic pareto calculator.

Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell

Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

2007

A New Approach for Design and Verification of Transaction Level Models.

Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

Optimized Assignment Coverage Computation in Formal Verification of Digital Systems.

Majid Nabi, Hamid Shojaei, Siamak Mohammadi, Zainalabedin Navabi

Proceedings of the 16th Asian Test Symposium, 2007

2006

Signal Coverage Computation in Formal Verification.

Hamid Shojaei, Mohammad Sayyaran

Proceedings of the IFIP VLSI-SoC 2006, 2006

2005

TED+: a data structure for microprocessor verification.

Pejman Lotfi-Kamran, Mohammad Hosseinabady, Hamid Shojaei, Mehran Massoumi, Zainalabedin Navabi

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004

Techniques for Formal Verification of Digital Systems: A System Approach.

Hamid Shojaei, Habib Ghayoumi

Proceedings of the 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August, 2004