Pre-Distribution of Entanglements in Quantum Networks
Ghaderibaneh, Mohammad, Gupta, Himanshu, Ramakrishnan, C.R., Luo, Ertai
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
A process calculus for Mobile Ad Hoc Networks
Singh, Anu, Ramakrishnan, C.R., Smolka, Scott A.
Published in Science of computer programming (01.06.2010)
Published in Science of computer programming (01.06.2010)
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
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
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
Compositional analysis for verification of parameterized systems
Get full text
Journal Article
Conference Proceeding
Modeling and analysis of interactions in virtual enterprises
Davulcu, H., Kifer, M., Pokorny, L.R., Ramakrishnan, C.R., Ramakrishnan, I.V., Dawson, S.
Published in Proceedings Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises. RIDE-VE'99 (1999)
Published in Proceedings Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises. RIDE-VE'99 (1999)
Get full text
Conference Proceeding
XcelLog: a deductive spreadsheet system
RAMAKRISHNAN, C.R., RAMAKRISHNAN, I.V., WARREN, DAVID S.
Published in Knowledge engineering review (01.09.2007)
Published in Knowledge engineering review (01.09.2007)
Get full text
Journal Article
A logical encoding of the π-calculus: model checking mobile processes using tabled resolution
PING YANG, RAMAKRISHNAN, C. R, SMOLKA, Scott A
Published in International journal on software tools for technology transfer (01.07.2004)
Published in International journal on software tools for technology transfer (01.07.2004)
Get full text
Conference Proceeding
Journal Article
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks
Riganelli, O., Grosu, R., Das, S.R., Ramakrishnan, C.R., Smolka, S.A.
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
Efficacy and Safety of Intravenous Tenecteplase Bolus in Acute Ischemic Stroke: Results of Two Open-Label, Multicenter Trials
Ramakrishnan, Tirppur C. R., Kumaravelu, Somasundaram, Narayan, Sunil K., Buddha, Sai S., Murali, Ch, Majeed, Palakkapparampil H. A., Meenakshi-Sundaram, Salvadeeswaran, Wadia, Rustom S., Sharma, Vikram, Basu, Indraneel, Vijaya, Pamidimukkala, Salam, Kizhakkaniyakath A., Barmare, Shahid, Vaid, Zubin, Nirmal Raj, K. K., Wattamwar, Pandurang R., Asokan, Konbappan, Dhonge, Vijaykumar, Nellikunja, Shankara, Namjoshi, Deepak, Srinivasa, Rangasetty, Laddhad, Deepak S., Deshpande, Shirish D., Raghunath, Balakrishnan, Kalita, Jayantee, Kumar, Mritunjai, Misra, Usha K., Pradeep, Methil
Published in American journal of cardiovascular drugs : drugs, devices, and other interventions (01.10.2018)
Published in American journal of cardiovascular drugs : drugs, devices, and other interventions (01.10.2018)
Get full text
Journal Article
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Year of Publication 2008
Get full text
Conference Proceeding
Precise specification matching for adaptive reuse in embedded systems
Guo, Hai-Feng, Liu, Miao, Roop, Partha S., Ramakrishnan, C.R., Ramakrishnan, I.V.
Published in Journal of applied logic (01.06.2007)
Published in Journal of applied logic (01.06.2007)
Get full text
Journal Article
Policy analysis for administrative role based access control
Sasturkar, A., Ping Yang, Stoller, S.D., Ramakrishnan, C.R.
Published in 19th IEEE Computer Security Foundations Workshop (CSFW'06) (2006)
Published in 19th IEEE Computer Security Foundations Workshop (CSFW'06) (2006)
Get full text
Conference Proceeding
MODELNG THE AODV ROUTING PROTOCOL IN THE ω-CALCULUS
Singh, A., Ramakrishnan, C.R., Smolka, S.A.
Published in 2006 IEEE Long Island Systems, Applications and Technology Conference (01.05.2006)
Published in 2006 IEEE Long Island Systems, Applications and Technology Conference (01.05.2006)
Get full text
Conference Proceeding
Tabled resolution + constraints: a recipe for model checking real-time systems
Xiaoqun Du, Ramakrishnan, C.R., Smolka, S.A.
Published in Proceedings 21st IEEE Real-Time Systems Symposium (2000)
Published in Proceedings 21st IEEE Real-Time Systems Symposium (2000)
Get full text
Conference Proceeding