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 10 of 92  
    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
    Conference paper
    Radu Grosu, Doron Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang.
    Using Statistical Model Checking for Measuring Systems.
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II 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
    Show item 1 to 10 of 92  

    Your query returned 92 matches in the database.