C. R. Ramakrishnan

Available identifiers

zbMath Open ramakrishnan.c-rMaRDI QIDQ655413

List of research outcomes

Publication	Date of Publication	Type
Subsumption algorithms based on search trees	2023-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q5020546	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5009454	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q5240217	2019-10-24	Paper
Constraint-Based Inference in Probabilistic Logic Programs	2018-12-04	Paper
Compositional Branching-Time Measurements	2014-07-24	Paper
Model checking with probabilistic tabled logic programming	2013-03-13	Paper
Inference in probabilistic logic programs with continuous random variables	2013-03-13	Paper
Policy analysis for administrative role-based access control	2012-01-04	Paper
Model Repair for Probabilistic Systems	2011-05-19	Paper
Vacuity Checking in the Modal Mu-Calculus*	2011-05-06	Paper
A process calculus for mobile ad hoc networks	2010-04-29	Paper
Query-Based Model Checking of Ad Hoc Network Protocols	2009-10-22	Paper
Logic Programming	2009-08-06	Paper
Deductive Spreadsheets Using Tabled Logic Programming	2008-03-11	Paper
A Local Algorithm for Incremental Evaluation of Tabled Logic Programs	2008-03-11	Paper
Functional and Logic Programming	2007-09-25	Paper
Precise specification matching for adaptive reuse in embedded systems	2007-07-25	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Logic Programming	2006-06-27	Paper
Compositional analysis for verification of parameterized systems	2006-04-28	Paper
Program Development in Computational Logic	2005-12-23	Paper
BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS	2005-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4809159	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4736515	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4736511	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4736510	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4472242	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4417935	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4414384	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4536595	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4501591	2002-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q2766790	2002-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q2754127	2001-12-18	Paper
Real-time verification techniques for untimed systems	2001-05-08	Paper
https://portal.mardi4nfdi.de/entity/Q4518894	2001-02-05	Paper
Evaluating inlining techniques	2000-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4494372	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4944884	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4942016	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4938606	2000-02-23	Paper

Research outcomes over time

This page was built for person: C. R. Ramakrishnan