Richard Raimi

2 papers and 215 indexed citations i.

Richard Raimi has authored 2 papers that have received a total of 215 indexed citations. This includes 2 papers in Computational Theory and Mathematics, 2 papers in Software and 0 papers in Industrial relations. The topics of these papers are Formal Methods in Verification (2 papers), Software Testing and Debugging Techniques (1 paper) and Model-Driven Software Engineering Techniques (1 paper). Richard Raimi is often cited by papers focused on Formal Methods in Verification (2 papers), Software Testing and Debugging Techniques (1 paper) and Model-Driven Software Engineering Techniques (1 paper) and collaborates with scholars based in United States and Switzerland. Richard Raimi's co-authors include Kedar S. Namjoshi, Ramin Hojati, Armin Biere, Yunshan Zhu and Edmund M. Clarke and has published in prestigious journals such as ACM Transactions on Design Automation of Electronic Systems and Formal Methods in System Design