Hamid Shojaei

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