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 96  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Andrey Gorlin, C. R. Ramakrishnan.
    XPL: An extended probabilistic logic for probabilistic transition systems.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Ezio Bartocci, C. R. Ramakrishnan.
    Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software.
    STTT 2016, Volume 18 (0) 2016
    Journal article
    Arun Nampally, C. R. Ramakrishnan.
    Inference in Probabilistic Logic Programs using Lifted Explanations.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Arun Nampally, C. R. Ramakrishnan.
    Constraint-Based Inference in Probabilistic Logic Programs.
    Proceedings of the 2nd International Workshop on Probabilistic Logic Programming co-located with 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31st, 2015. 2015 (0) 2015
    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 A. 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 A. 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
    Show item 1 to 10 of 96  

    Your query returned 96 matches in the database.