G. Ramalingam

Available identifiers

zbMath Open ramalingam.ganesanMaRDI QIDQ436393

List of research outcomes

Publication	Date of Publication	Type
Checking observational purity of procedures	2023-11-24	Paper
Sequential verification of serializability	2015-06-11	Paper
Generalized lattice agreement	2014-12-05	Paper
Fault tolerance via idempotence	2014-11-27	Paper
Checking Linearizability of Encapsulated Extended Operations	2014-04-16	Paper
Reference count analysis with shallow aliasing	2013-04-04	Paper
Mining quantified temporal rules: formalism, algorithms, and evaluation	2012-07-20	Paper
Logical Concurrency Control from Sequential Proofs	2012-04-02	Paper
Logical Concurrency Control from Sequential Proofs	2010-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q3400631	2010-02-05	Paper
Bottom-Up Shape Analysis	2009-08-18	Paper
Heap Decomposition for Concurrent Shape Analysis	2008-08-28	Paper
Thread Quantification for Concurrent Shape Analysis	2008-07-15	Paper
Abstract Counterexample-Based Refinement for Powerset Domains	2007-09-24	Paper
Shape Analysis by Graph Decomposition	2007-09-03	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Typestate verification: abstraction techniques and complexity results	2005-10-10	Paper
Static Analysis	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4813415	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4411959	2003-07-13	Paper
On sparse evaluation representations	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2736362	2001-08-29	Paper
On competitive on-line algorithms for the dynamic priority-ordering problem	2000-08-14	Paper
On the computational complexity of dynamic graph problems	1997-02-27	Paper
An Incremental Algorithm for a Generalization of the Shortest-Path Problem	1996-10-16	Paper
Bounded incremental computation	1996-07-24	Paper
New sequential and parallel algorithms for interval graph recognition	1990-01-01	Paper
A unified approach to domination problems on interval graphs	1988-01-01	Paper
Total domination in interval graphs revisited	1988-01-01	Paper

Research outcomes over time

This page was built for person: G. Ramalingam