C. R. Ramakrishnan
Affiliations: | Computer Science | Stony Brook University, Stony Brook, NY, United States |
Area:
Logic Programming, Programming Languages, Verification.Website:
https://www.cs.stonybrook.edu/people/faculty/crramakrishnanGoogle:
"Coimbatore Rajamani Ramakrishnan" OR "C. R. Ramakrishnan"Bio:
Parents
Sign in to add mentor| I. V. Ramakrishnan | grad student | 1995 | SUNY Stony Brook | |
| (Techniques of enhancing the performance of declarative programming systems) | ||||
Children
Sign in to add trainee| Xiaoqun Du | grad student | 2000 | SUNY Stony Brook |
| Samik Basu | grad student | 2003 | SUNY Stony Brook (Neurotree) |
| Giridhar Pemmasani | grad student | 2005 | SUNY Stony Brook |
| Louis R. Pokorny | grad student | 2005 | SUNY Stony Brook |
| Beata Sarna-Starosta | grad student | 2005 | SUNY Stony Brook |
| Diptikalyan Saha | grad student | 2006 | SUNY Stony Brook |
| Ping Yang | grad student | 2006 | SUNY Stony Brook |
| Anu Singh | grad student | 2009 | SUNY Stony Brook |
| Muhammad Asiful Islam | grad student | 2012 | SUNY Stony Brook |
| Yury Puzis | grad student | 2013 | SUNY Stony Brook |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Ghosh S, Ramakrishnan CR. (2019) Value of Information in Probabilistic Logic Programs Arxiv: Artificial Intelligence. 306: 71-84 |
| Bartocci E, Ramakrishnan CR. (2016) Preface of the special issue on Model Checking of Software: Selected papers of the 20th International SPIN Symposium on Model Checking of Software International Journal On Software Tools For Technology Transfer. 1-3 |
| Nampally A, Ramakrishnan CR. (2015) Constraint-based inference in probabilistic logic programs Ceur Workshop Proceedings. 1413: 46-56 |
| Gorlin A, Ramakrishnan CR, Smolka SA. (2012) Model checking with probabilistic tabled logic programming Theory and Practice of Logic Programming. 12: 681-700 |
| Islam MA, Ramakrishnan CR, Ramakrishnan IV. (2012) Inference in probabilistic logic programs with continuous random variables Theory and Practice of Logic Programming. 12: 505-523 |
| Sasturkar A, Yang P, Stoller SD, et al. (2011) Policy analysis for Administrative Role-Based Access Control Theoretical Computer Science. 412: 6208-6234 |
| Stoller SD, Yang P, Gofman MI, et al. (2011) Symbolic reachability analysis for parameterized administrative role-based access control Computers and Security. 30: 148-164 |
| Singh A, Ramakrishnan CR, Smolka SA. (2010) A process calculus for Mobile Ad Hoc Networks Science of Computer Programming. 75: 440-469 |
| Mahmud J, Borodin Y, Ramakrishnan IV, et al. (2009) Automated construction of web accessibility models from transaction click-streams Www'09 - Proceedings of the 18th International World Wide Web Conference. 871-880 |
| Singh A, Ramakrishnan CR, Ramakrishnan IV, et al. (2008) A methodology for in-network evaluation of integrated logical-statistical models Sensys'08 - Proceedings of the 6th Acm Conference On Embedded Networked Sensor Systems. 197-210 |