Policy analysis for Administrative Role-Based Access Control
Sasturkar, Amit, Yang, Ping, Stoller, Scott D., Ramakrishnan, C.R.
Published in Theoretical computer science (14.10.2011)
Published in Theoretical computer science (14.10.2011)
Get full text
Journal Article
Symbolic reachability analysis for parameterized administrative role-based access control
Stoller, Scott D., Yang, Ping, Gofman, Mikhail I., Ramakrishnan, C.R.
Published in Computers & security (01.03.2011)
Published in Computers & security (01.03.2011)
Get full text
Journal Article
Compositional analysis for verification of parameterized systems
Get full text
Journal Article
Conference Proceeding
Constraint-Based Inference in Probabilistic Logic Programs
NAMPALLY, ARUN, ZHANG, TIMOTHY, RAMAKRISHNAN, C. R.
Published in Theory and practice of logic programming (01.07.2018)
Published in Theory and practice of logic programming (01.07.2018)
Get full text
Journal Article
Value of Information in Probabilistic Logic Programs
Ghosh, Sarthak, Ramakrishnan, C. R.
Published in Electronic proceedings in theoretical computer science (19.09.2019)
Published in Electronic proceedings in theoretical computer science (19.09.2019)
Get full text
Journal Article
Preface of the special issue on Model Checking of Software: Selected papers of the 20th International SPIN Symposium on Model Checking of Software
Bartocci, Ezio, Ramakrishnan, C. R.
Published in International journal on software tools for technology transfer (01.08.2016)
Published in International journal on software tools for technology transfer (01.08.2016)
Get full text
Journal Article
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation
Get full text
Book Chapter
Conference Proceeding
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Pokorny, L. Robert, Ramakrishnan, C. R.
Published in Declarative Agent Languages and Technologies II (2005)
Published in Declarative Agent Languages and Technologies II (2005)
Get full text
Book Chapter
Conference Proceeding
Inference in probabilistic logic programs with continuous random variables
ISLAM, MUHAMMAD ASIFUL, RAMAKRISHNAN, C. R., RAMAKRISHNAN, I. V.
Published in Theory and practice of logic programming (01.07.2012)
Published in Theory and practice of logic programming (01.07.2012)
Get full text
Journal Article
Model checking with probabilistic tabled logic programming
GORLIN, ANDREY, RAMAKRISHNAN, C. R., SMOLKA, SCOTT A.
Published in Theory and practice of logic programming (01.07.2012)
Published in Theory and practice of logic programming (01.07.2012)
Get full text
Journal Article
A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
Get full text
Book Chapter
Conference Proceeding
Distribution of Quantum Circuits Over General Quantum Networks
Sundaram, Ranjani G., Gupta, Himanshu, Ramakrishnan, C. R.
Published in 2022 IEEE International Conference on Quantum Computing and Engineering (QCE) (01.09.2022)
Published in 2022 IEEE International Conference on Quantum Computing and Engineering (QCE) (01.09.2022)
Get full text
Conference Proceeding
Efficient Quantum Network Communication using Optimized Entanglement-Swapping Trees
Ghaderibaneh, Mohammad, Zhan, Caitao, Gupta, Himanshu, Ramakrishnan, C R
Published in arXiv.org (05.04.2024)
Published in arXiv.org (05.04.2024)
Get full text
Paper
Journal Article
Generation and Distribution of GHZ States in Quantum Networks
Ghaderibaneh, Mohammad, Gupta, Himanshu, Ramakrishnan, C.R.
Published in 2023 IEEE International Conference on Quantum Computing and Engineering (QCE) (17.09.2023)
Published in 2023 IEEE International Conference on Quantum Computing and Engineering (QCE) (17.09.2023)
Get full text
Conference Proceeding
Introduction to the special issue on Verification and Computational Logic
LEUSCHEL, MICHAEL, PODELSKI, ANDREAS, RAMAKRISHNAN, C. R., ULTES-NITSCHE, ULRICH
Published in Theory and practice of logic programming (01.09.2004)
Published in Theory and practice of logic programming (01.09.2004)
Get full text
Journal Article
Deductive Spreadsheets Using Tabled Logic Programming
Ramakrishnan, C. R., Ramakrishnan, I. V., Warren, David S.
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Pre-Distribution of Entanglements in Quantum Networks
Ghaderibaneh, Mohammad, Gupta, Himanshu, Ramakrishnan, C R, Luo, Ertai
Published in arXiv.org (09.05.2022)
Published in arXiv.org (09.05.2022)
Get full text
Paper
Journal Article