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
Inference in probabilistic logic programs with continuous random variables	2013-03-13	Paper
Model checking with probabilistic tabled logic programming	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
A Local Algorithm for Incremental Evaluation of Tabled Logic Programs	2008-03-11	Paper
Deductive Spreadsheets Using Tabled Logic Programming	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/Q4736510	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4736511	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4736515	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
https://portal.mardi4nfdi.de/entity/Q2703729	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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