Ramin Hojati
About
Ramin Hojati has authored 3 papers that have received a total of 40 indexed citations.
This includes 3 papers in Computational Theory and Mathematics, 1 paper in Artificial Intelligence and 1 paper in Industrial and Manufacturing Engineering. The topics of these papers are Formal Methods in Verification (3 papers), Manufacturing Process and Optimization (1 paper) and Scheduling and Optimization Algorithms (1 paper). Ramin Hojati is often cited by papers focused on Formal Methods in Verification (3 papers), Manufacturing Process and Optimization (1 paper) and Scheduling and Optimization Algorithms (1 paper) and collaborates with scholars based in United States. Ramin Hojati's co-authors include Alberto Sangiovanni‐Vincentelli, Kedar S. Namjoshi, Robert K. Brayton, Thomas R. Shiple and Richard Raimi and has published in prestigious journals such as ACM Transactions on Design Automation of Electronic Systems and Formal Methods in System Design
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by John K. Ryan are co-authored with Top authors papers by Ad Aerts are co-authored with Top fields papers by R. Pedersini are about Top fields papers by R. C. J. Howland are about Top journals papers by H. Park are published in Top fields papers by J. V. Tucci are about Top journals papers by Neil Fitch are published in Top fields papers by Chandrashekhar Nagarajan are about