Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: C. R.
    Last name: Ramakrishnan
    DBLP: r/CRRamakrishnan
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 91  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Arun Nampally, C. R. Ramakrishnan.
    Adaptive MCMC-Based Inference in Probabilistic Logic Programs.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Radu Grosu, Doron Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang.
    Compositional Branching-Time Measurements.
    From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings 2014 (0) 2014
    Journal article
    Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan.
    Inference in probabilistic logic programs with continuous random variables.
    TPLP 2012, Volume 12 (0) 2012
    Conference paper
    Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka.
    Model checking with probabilistic tabled logic programming.
    TPLP 2012, Volume 12 (0) 2012
    Conference paper
    Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka.
    Model Checking with Probabilistic Tabled Logic Programming
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan.
    Parameter Learning in PRISM Programs with Continuous Random Variables
    CoRR 2012, Volume 0 (0) 2012
    Journal article
    Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan.
    Symbolic reachability analysis for parameterized administrative role-based access control.
    Computers Security 2011, Volume 30 (0) 2011
    Conference paper
    Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka.
    Model Repair for Probabilistic Systems.
    Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 2011 (0) 2011
    Conference paper
    Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan.
    Policy analysis for Administrative Role-Based Access Control.
    Theor. Comput. Sci. 2011, Volume 412 (0) 2011
    Journal article
    Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan.
    Inference in Probabilistic Logic Programs with Continuous Random Variables
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Anu Singh, C. R. Ramakrishnan, Scott A. Smolka.
    A process calculus for Mobile Ad Hoc Networks.
    Sci. Comput. Program. 2010, Volume 75 (0) 2010
    Conference paper
    Anu Singh, C. R. Ramakrishnan, Scott A. Smolka.
    Query-Based Model Checking of Ad Hoc Network Protocols.
    CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan.
    Symbolic reachability analysis for parameterized administrative role based access control.
    SACMAT 2009, 14th ACM Symposium on Access Control Models and Technologies, Stresa, Italy, June 3-5, 2009, Proceedings 2009 (0) 2009
    Conference paper
    Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan.
    Automated construction of web accessibility models from transaction click-streams.
    Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009 2009 (0) 2009
    Conference paper
    Anu Singh, C. R. Ramakrishnan, Scott A. Smolka.
    A Process Calculus for Mobile Ad Hoc Networks.
    Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka.
    Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong.
    A methodology for in-network evaluation of integrated logical-statistical models.
    Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, SenSys 2008, Raleigh, NC, USA, November 5-7, 2008 2008 (0) 2008
    Conference paper
    Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, Mikhail I. Gofman.
    Efficient policy analysis for administrative role based access control.
    Proceedings of the 2007 ACM Conference on Computer and Communications Security, CCS 2007, Alexandria, Virginia, USA, October 28-31, 2007 2007 (0) 2007
    Conference paper
    Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren.
    Security policy analysis using deductive spreadsheets.
    Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007 2007 (0) 2007
    Conference paper
    Beata Sarna-Starosta, C. R. Ramakrishnan.
    Compiling Constraint Handling Rules for Efficient Tabled Evaluation.
    Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. 2007 (0) 2007
    Conference paper
    Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan.
    Precise specification matching for adaptive reuse in embedded systems.
    J. Applied Logic 2007, Volume 5 (0) 2007
    Conference paper
    C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren.
    XcelLog: a deductive spreadsheet system.
    Knowledge Eng. Review 2007, Volume 22 (0) 2007
    Conference paper
    Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan.
    Policy Analysis for Administrative Role Based Access Control.
    19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006), 5-7 July 2006, Venice, Italy 2006 (0) 2006
    Conference paper
    Diptikalyan Saha, C. R. Ramakrishnan.
    A Local Algorithm for Incremental Evaluation of Tabled Logic Programs.
    Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006 (0) 2006
    Conference paper
    C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren.
    Deductive Spreadsheets Using Tabled Logic Programming.
    Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006 (0) 2006
    Show item 1 to 25 of 91  

    Your query returned 91 matches in the database.