Uday S. Reddy
Publication Activity (10 Years)
Years Active: 1982-2022
Publications (10 Years): 3
Publications (10 Years): 3
Publications
- Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria
- Claudio Hermida, Uday S. Reddy, Edmund P. Robinson, Alessio Santamaria
- Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy
- Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy
- Uday S. Reddy
- Uday S. Reddy, John C. Reynolds
- Kalpesh Kapoor, Kamal Lodaya, Uday S. Reddy
- Uday S. Reddy, Hongseok Yang
- Brian P. Dunphy, Uday S. Reddy
- Uday S. Reddy, Hongseok Yang
- Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke
- Uday S. Reddy
- Hongseok Yang, Uday S. Reddy
- Peter W. O'Hearn, Uday S. Reddy
- Andrew A. Chien, Uday S. Reddy, John Plevyak, Julian Dolby
- Uday S. Reddy
- François Bronsard, Uday S. Reddy, Robert W. Hasker
- Uday S. Reddy
- Uday S. Reddy
- Peter W. O'Hearn, Uday S. Reddy
- Howard Huang, Uday S. Reddy
- Uday S. Reddy
- Uday S. Reddy
- François Bronsard, Uday S. Reddy, Robert W. Hasker
- Uday S. Reddy
- Uday S. Reddy, Samuel N. Kamin
- Nachum Dershowitz, Uday S. Reddy
- Uday S. Reddy, Samuel N. Kamin
- François Bronsard, Uday S. Reddy
- Uday S. Reddy
- Vipin Swarup, Uday S. Reddy
- Vipin Swarup, Uday S. Reddy, Evan Ireland
- Uday S. ReddyTypes for Logic Programs. NACLP (1990)
- Uday S. Reddy
- François Bronsard, Uday S. Reddy
- Changwoo Pyo, Uday S. Reddy
- Uday S. Reddy
- Uday S. Reddy
- Prateek Mishra, Uday S. Reddy
- Uday S. Reddy
- Uday S. Reddy
- Uday S. Reddy, Bharat Jayaraman
- Uday S. Reddy