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

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: G. Ramalingam