Rajeev Joshi
Publication Activity (10 Years)
Years Active: 1992-2023
Publications (10 Years): 19
Publications (10 Years): 19
Publications
- Rajeev Joshi, Md. Adnan Zaman, Srinivas Katkoori
- Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori
- Klaus Havelund, Rajeev Joshi
- Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister
- Klaus Havelund, Rajeev Joshi
- Sean Kauffman, Rajeev Joshi, Klaus Havelund
- Klaus Havelund, Rajeev Joshi
- Gerard J. Holzmann, Rajeev Joshi, Alex Groce
- Rajeev Joshi
- Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith
- Anna Zaks, Rajeev Joshi
- Gerard J. Holzmann, Rajeev Joshi, Alex Groce
- Gerard J. Holzmann, Rajeev Joshi, Alex Groce
- Gerard J. Holzmann, Rajeev Joshi, Alex Groce
- Gerard J. Holzmann, Rajeev Joshi, Alex Groce
- Alex Groce, Rajeev Joshi
- Rajeev Joshi, Gerard J. Holzmann
- Alex Groce, Rajeev Joshi
- Rajeev Joshi, Greg Nelson, Yunhong Zhou
- Rajeev Joshi, Gerard J. Holzmann
- Gerard J. Holzmann, Rajeev Joshi
- Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe
- Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu
- Rajeev Joshi, Greg Nelson, Keith H. Randall
- Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino
- Rajeev Joshi, Jayadev Misra
- Rajeev Joshi, K. Rustan M. Leino
- Rajeev Joshi, Jayadev Misra
- K. Rustan M. Leino, Rajeev Joshi
- Lorenzo Alvisi, Rajeev Joshi, Calvin Lin, Jayadev Misra