C. R. Ramakrishnan - Publications

Affiliations: 
Computer Science Stony Brook University, Stony Brook, NY, United States 
Area:
Logic Programming, Programming Languages, Verification.

88 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Bartocci E, Ramakrishnan CR. 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. DOI: 10.1007/s10009-016-0414-5  1
2015 Nampally A, Ramakrishnan CR. Constraint-based inference in probabilistic logic programs Ceur Workshop Proceedings. 1413: 46-56.  1
2014 Grosu R, Peled D, Ramakrishnan CR, Smolka SA, Stoller SD, Yang J. Compositional branching-time measurements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8415: 118-128. DOI: 10.1007/978-3-642-54848-2_8  1
2014 Grosu R, Peled D, Ramakrishnan CR, Smolka SA, Stoller SD, Yang J. Using statistical model checking for measuring systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8803: 223-238.  1
2012 Ramakrishnan C, Patnia A, Hovy E, Burns GA. Layout-aware text extraction from full-text PDF of scientific articles. Source Code For Biology and Medicine. 7: 7. PMID 22640904 DOI: 10.1186/1751-0473-7-7  1
2012 Gorlin A, Ramakrishnan CR, Smolka SA. Model checking with probabilistic tabled logic programming Theory and Practice of Logic Programming. 12: 681-700. DOI: 10.1017/S1471068412000245  1
2012 Islam MA, Ramakrishnan CR, Ramakrishnan IV. Inference in probabilistic logic programs with continuous random variables Theory and Practice of Logic Programming. 12: 505-523. DOI: 10.1017/S1471068412000154  1
2011 Russ TA, Ramakrishnan C, Hovy EH, Bota M, Burns GA. Knowledge engineering tools for reasoning with scientific observations and interpretations: a neural connectivity use case. Bmc Bioinformatics. 12: 351. PMID 21859449 DOI: 10.1186/1471-2105-12-351  1
2011 Sasturkar A, Yang P, Stoller SD, Ramakrishnan CR. Policy analysis for Administrative Role-Based Access Control Theoretical Computer Science. 412: 6208-6234. DOI: 10.1016/j.tcs.2011.05.009  1
2011 Stoller SD, Yang P, Gofman MI, Ramakrishnan CR. Symbolic reachability analysis for parameterized administrative role-based access control Computers and Security. 30: 148-164. DOI: 10.1016/j.cose.2010.08.002  1
2011 Bartocci E, Grosu R, Katsaros P, Ramakrishnan CR, Smolka SA. Model repair for probabilistic systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6605: 326-340. DOI: 10.1007/978-3-642-19835-9_30  1
2010 Singh A, Ramakrishnan CR, Smolka SA. A process calculus for Mobile Ad Hoc Networks Science of Computer Programming. 75: 440-469. DOI: 10.1016/j.scico.2009.07.008  1
2009 Stoller SD, Yang P, Gofman M, Ramakrishnan CR. Symbolic reachability analysis for parameterized administrative role based access control Proceedings of Acm Symposium On Access Control Models and Technologies, Sacmat. 165-174. DOI: 10.1145/1542207.1542233  1
2009 Mahmud J, Borodin Y, Ramakrishnan IV, Ramakrishnan CR. Automated construction of web accessibility models from transaction click-streams Www'09 - Proceedings of the 18th International World Wide Web Conference. 871-880. DOI: 10.1145/1526709.1526826  1
2009 Singh A, Ramakrishnan CR, Smolka SA. Query-based model checking of ad hoc network protocols Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5710: 603-619. DOI: 10.1007/978-3-642-04081-8_40  1
2008 Singh A, Ramakrishnan CR, Ramakrishnan IV, Warren DS, Wong JL. 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. DOI: 10.1145/1460412.1460432  1
2008 Ramakrishnan C, Mendes PN, Da Gama RATS, Ferreira GCN, Sheth AP. Joint extraction of compound entities and relationships from biomedical literature Proceedings - 2008 Ieee/Wic/Acm International Conference On Web Intelligence, Wi 2008. 398-401. DOI: 10.1109/WIIAT.2008.295  1
2008 Riganelli O, Grosu R, Das SR, Ramakrishnan CR, Smolka SA. Power optimization in fault-tolerant mobile ad hoc networks Proceedings of Ieee International Symposium On High Assurance Systems Engineering. 362-370. DOI: 10.1109/HASE.2008.12  1
2008 Ramakrishnan C, Mendes PN, Wang S, Sheth AP. Unsupervised discovery of compound entities for relationship extraction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5268: 146-155. DOI: 10.1007/978-3-540-87696-0-15  1
2007 Stoller SD, Yang P, Ramakrishnan CR, Gofman MI. Efficient policy analysis for administrative role based access control Proceedings of the Acm Conference On Computer and Communications Security. 445-455. DOI: 10.1145/1315245.1315300  1
2007 Singh A, Ramakrishnan CR, Ramakrishnan IV, Stoller SD, Warren DS. Security policy analysis using deductive spreadsheets Fmse'07 - Proceedings of the 2007 Acm Workshop On Formal Methods in Security Engineering. 42-50. DOI: 10.1145/1314436.1314443  1
2007 Sheth AP, Ramakrishnan C. Relationship Web: Blazing Semantic trails between Web resources Ieee Internet Computing. 11: 77-81. DOI: 10.1109/MIC.2007.91  1
2007 Ramakrishnan CR, Ramakrishnan IV, Warren DS. XcelLog: A deductive spreadsheet system Knowledge Engineering Review. 22: 269-279. DOI: 10.1017/S026988890700118X  1
2007 Guo HF, Liu M, Roop PS, Ramakrishnan CR, Ramakrishnan IV. Precise specification matching for adaptive reuse in embedded systems Journal of Applied Logic. 5: 333-355. DOI: 10.1016/j.jal.2005.12.016  1
2007 Sarna-Starosta B, Ramakrishnan CR. Compiling constraint handling rules for efficient tabled evaluation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4354: 170-184. DOI: 10.1007/978-3-540-69611-7-11  1
2006 Sheth A, Ramakrishnan C, Thomas C. Semantics for the Semantic Web: The implicit, the formal, and the powerful Semantic Web-Based Information Systems: State-of-the-Art Applications. 1-21. DOI: 10.4018/978-1-59904-426-2.ch001  1
2006 Aleman-Meza B, Nagarajan M, Ramakrishnan C, Ding L, Kolari P, Sheth AP, Arpinar IB, Joshi A, Finin T. Semantic analytics on social networks: Experiences in addressing the problem of conflict of interest detection Proceedings of the 15th International Conference On World Wide Web. 407-416. DOI: 10.1145/1135777.1135838  1
2006 Budak IA, Sheth A, Ramakrishnan C, Lynn U.E. UE, Azami M, Kwan MP. Geospatial ontology development and semantic analytics Transactions in Gis. 10: 551-575. DOI: 10.1111/j.1467-9671.2006.01012.x  1
2006 Singh A, Ramakrishnan CR, Smolka SA. Modelng the AODV routing protocol in the ω-calculus 2006 Ieee Long Island Systems, Applications and Technology Conference, Lisat. DOI: 10.1109/LISAT.2006.4302655  1
2006 Sasturkar A, Yang P, Stoller SD, Ramakrishnan CR. Policy analysis for administrative role based access control Proceedings of the Computer Security Foundations Workshop. 2006: 124-136. DOI: 10.1109/CSFW.2006.22  1
2006 Basu S, Ramakrishnan CR. Compositional analysis for verification of parameterized systems Theoretical Computer Science. 354: 211-229. DOI: 10.1016/j.tcs.2005.11.016  1
2006 Yang P, Basu S, Ramakrishnan CR. Parameterized verification of π-calculus systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3920: 42-47.  1
2006 Saha D, Ramakrishnan CR. A local algorithm for incremental evaluation of tabled logic programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4079: 56-71.  1
2006 Ramakrishnan CR, Ramakrishnan IV, Warren DS. Deductive spreadsheets using tabled logic programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4079: 391-405.  1
2006 Ramakrishnan C, Kochut KJ, Sheth AP. A framework for schema-driven relationship discovery from unstructured text Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4273: 583-596.  1
2005 Sheth A, Ramakrishnan C, Thomas C. Semantics for the semantic web: The implicit, the formal and the powerful International Journal On Semantic Web and Information Systems. 1: 1-18. DOI: 10.4018/jswis.2005010101  1
2005 Aleman-Meza B, Halaschek-Wiener C, Arpinar IB, Ramakrishnan C, Sheth AP. Ranking complex relationships on the semantic web Ieee Internet Computing. 9: 37-44. DOI: 10.1109/MIC.2005.63  1
2005 Saha D, Ramakrishnan CR. Incremental evaluation of tabled prolog: Beyond pure logic programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3819: 215-229. DOI: 10.1007/11603023_15  1
2005 Pokorny LR, Ramakrishnan CR. Modeling and verification of distributed autonomous agents using logic programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3476: 148-165.  1
2005 Saha D, Ramakrishnan CR. Incremental and demand-driven points-to analysis using logic programming Ppdp'05 - Proceedings of the Seventh Acm Sigplan Conference On Principles and Practice of Declarative Programming. 2005: 117-128.  1
2005 Saha D, Ramakrishnan CR. Symbolic support graph: A space efficient data structure for incremental tabled evaluation Lecture Notes in Computer Science. 3668: 235-249.  1
2005 Yang P, Dong Y, Ramakrishnan CR, Smolka SA. A provably correct compiler for efficient model checking of mobile processes Lecture Notes in Computer Science. 3350: 113-127.  1
2005 Perry M, Janik M, Ramakrishnan C, Ibañez C, Arpinar B, Sheth A. Peer-to-peer discovery of semantic associations Ceur Workshop Proceedings. 139.  1
2005 Kashyap V, Ramakrishnan C, Thomas C, Sheth A. TaxaMiner: an experimentation framework for automated taxonomy bootstrapping International Journal of Web and Grid Services. 1: 240-266.  1
2004 Roychoudhury A, Kumar KN, Ramakrishnan CR, Ramakrishnan IV. An unfold/fold transformation framework for definite logic programs Acm Transactions On Programming Languages and Systems. 26: 464-509. DOI: 10.1145/982158.982160  1
2004 Yang P, Ramakrishnan CR, Smolka SA. A logical encoding of the π-calculus: Model checking mobile processes using tabled resolution International Journal On Software Tools For Technology Transfer. 6: 38-66. DOI: 10.1007/s10009-003-0136-3  1
2004 Pemmasani G, Guo HF, Dong Y, Ramakrishnan CR, Ramakrishnan IV. Online justification for tabled logic programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2998: 24-38. DOI: 10.1007/978-3-540-24599-5_42  1
2004 Roychoudhury A, Ramakrishnan CR. Unfold/fold transformations for automated verification of parameterized concurrent systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3049: 261-290.  1
2003 Dong Y, Ramakrishnan CR, Smolka SA. Model checking and evidence exploration Proceedings - 10th Ieee International Conference and Workshop On the Engineering of Computer-Based Systems, Ecbs 2003. 214-223. DOI: 10.1109/ECBS.2003.1194802  1
2003 Saha D, Ramakrishnan CR. Incremental evaluation of tabled logic programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2916: 392-406. DOI: 10.1007/978-3-540-24599-5_27  1
2003 Sarna-Starosta B, Ramakrishnan CR. Constraint-Based model checking of data-independent systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2885: 579-598.  1
2003 Dong Y, Ramakrishnan CR, Smolka SA. Evidence explorer: A tool for exploring model-checking proofs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2725: 215-218.  1
2003 Guo HF, Ramakrishnan CR, Ramakrishnan IV. Justification based on program transformation (extended abstract) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2664: 158-159.  1
2002 Roychoudhury A, Narayan Kumar K, Ramakrishnan CR, Ramakrishnan IV. Beyond tamaki-sato style unfold/fold transformations for normal logic programs International Journal of Foundations of Computer Science. 13: 387-403. DOI: 10.1142/S0129054102001175  1
2002 Pemmasani G, Ramakrishnan CR, Ramakrishnan IV. Efficient real-time model checking using tabled logic programming and constraints Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2401: 100-114.  1
2002 Basu S, Kumar KN, Pokorny LR, Ramakrishnan CR. Resource-constrained model checking of recursive programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2280: 236-250.  1
2002 Ramakrishnan CR, Sekar R. Model-based analysis of configuration vulnerabilities Journal of Computer Security. 10: 189-209.  1
2002 Dong Y, Sarna-Starosta B, Ramakrishnan CR, Smolka SA. Vacuity checking in the modal mu-calculus Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2422: 147-162.  1
2001 Sekar R, Ramakrishnan CR, Ramakrishnan IV, Smolka SA. Model-carrying code (MCC): A new paradigm for mobile-code security Proceedings New Security Paradigms Workshop. 23-30.  1
2001 Ramakrishnan CR. A model checker for value-passing mu-calculus using logic programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1990: 1-13.  1
2001 Guo HF, Ramakrishnan CR, Ramakrishnan IV. Speculative beats conservative justification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2237: 150-165.  1
2001 Narayan Kumar K, Ramakrishnan CR, Smolka SA. Alternating fixed points in Boolean equation systems as preferred stable models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2237: 227-241.  1
2001 Basu S, Mukund M, Ramakrishnan CR, Ramakrishnan IV, Verma R. Local and symbolic bisimulation using tabled constraint logic programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2237: 166-180.  1
2000 Du X, Ramakrishnan CR, Smolka SA. Real-time verification techniques for untimed systems Electronic Notes in Theoretical Computer Science. 39: 258-272. DOI: 10.1016/S1571-0661(05)80751-0  1
2000 Du X, Ramakrishnan CR, Smolka SA. Tabled resolution+constraints: A recipe for model checking real-time systems Proceedings - Real-Time Systems Symposium. 175-184.  1
2000 Roychoudhury A, Ramakrishnan CR, Ramakrishnan IV. Justifying proofs using memo tables Proceedings of the 2nd International Acm Sigplan Conference On Principles and Practice of Declarative Programming. 178-189.  1
2000 Roychoudhury A, Kumar KN, Ramakrishnan CR, Ramakrishnan IV, Smolka SA. Verification of parameterized systems using logic program transformations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1785: 172-187.  1
2000 Ramakrishnan CR. Verification using tabled logic programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1877: 89-91.  1
2000 Ramakrishnan CR, Ramakrishnan IV, Smolka SA, Dong Y, Du X, Roychoudhury A, Venkatakrishnan VN. XMC: A logic-programming-based verification toolset Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1855: 576-580.  1
1999 Bachmair L, Ramakrishnan CR, Ramakrishnan IV, Tiwari A. Normalization via rewrite closures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1631: 190-204. DOI: 10.1007/3-540-48685-2_15  1
1999 Ramakrishnan CR, Silva CT. Optimal processor allocation for sort-last compositing under BSP-tree ordering Proceedings of Spie - the International Society For Optical Engineering. 3643: 182-192.  1
1999 Davulcu H, Kifer M, Pokorny LR, Ramakrishnan CR, Ramakrishnan IV, Dawson S. Modeling and analysis of interactions in virtual enterprises Proceedings of the Ieee International Workshop On Research Issues in Data Engineering. 12-18.  1
1999 Dong Y, Du X, Ramakrishna YS, Ramakrishnan CR, Ramakrishnan IV, Smolka SA, Sokolsky O, Stark EW, Warren DS. Fighting livelock in the i-protocol: A comparative study of verification tools Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1579: 74-88.  1
1999 Johnson E, Ramakrishnan CR, Ramakrishnan IV, Rao P. A space efficient engine for subsumption-based tabled evaluation of logic programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1722: 284-299.  1
1998 Roychoudhury A, Ramakrishnan CR, Ramakrishnan IV, Sekar R. Conservative technique to improve deterministic evaluation of logic programs Proceedings of the Ieee International Conference On Computer Languages. 196-205. DOI: 10.1109/ICCL.1998.674170  1
1998 Kaser O, Ramakrishnan CR. Evaluating inlining techniques Computer Languages. 24: 55-72.  1
1998 Liu X, Ramakrishnan CR, Smolka SA. Fully local and efficient evaluation of alternating fixed points: (Extended abstract) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1384: 5-19.  1
1998 Davulcu H, Kifer M, Ramakrishnan CR, Ramakrishnan IV. Logic based modeling and analysis of workflows Proceedings of the Acm Sigact-Sigmod-Sigart Symposium On Principles of Database Systems. 25-33.  1
1998 Cui B, Dong Y, Du X, Kumar KN, Ramakrishnan CR, Ramakrishnan IV, Roychoudhury A, Smolka SA, Warren DS. Logic programming and model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1490: 1-20.  1
1997 Kaser O, Ramakrishnan CR, Ramakrishnan IV, Sekar RC. Equals - A fast parallel implementation of a lazy language Journal of Functional Programming. 7: 183-217.  1
1997 Ramakrishna YS, Ramakrishnan CR, Ramakrishnan IV, Smolka SA, Swift T, Warren DS. Efficient model checking using tabled resolution Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1254: 143-154.  1
1996 Dawson S, Ramakrishnan CR, Skiena S, Swift T. Principles and Practice of Unification Factoring Acm Transactions On Programming Languages and Systems. 18: 528-563.  1
1996 Dawson S, Ramakrishnan CR, Warren DS. Practical program analysis using general purpose logic programming systems - A case study Sigplan Notices (Acm Special Interest Group On Programming Languages). 31: 117-126.  1
1996 Bachmair L, Chen T, Ramakrishnan CR, Ramakrishnan IV. Subsumption algorithms based on search trees Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1059: 135-148.  1
1995 Dawson S, Ramakrishnan CR, Ramakrishnan IV. Design and implementation of jump tables for fast indexing of logic programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 982: 133-150. DOI: 10.1007/BFb0026818  1
1995 Dawson S, Ramakrishnan CR, Ramakrishnan IV, Sagonas K, Skiena S, Swift T, Warren DS. Unification factoring for efficient execution of logic programs Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 247-258.  1
1993 Kaser O, Ramakrishnan CR, Pawagi S. On the conversion of indirect to direct recursion Acm Letters On Programming Languages and Systems. 2: 151-164. DOI: 10.1145/176454.176510  1
1992 Kaser O, Pawagi S, Ramakrishnan CR, Ramakrishnan IV, Sekar RC. Fast parallel implementation of lazy languages - the EQUALS experience . 335-344.  1
Show low-probability matches.