Venkatesh-Prasad Ranganath

Available identifiers

zbMath Open ranganath.venkatesh-prasadWikidataQ87024632 ScholiaQ87024632MaRDI QIDQ436394

List of research outcomes

Publication	Date of Publication	Type
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
Fundamental Approaches to Software Engineering	2007-11-28	Paper
Compiler Construction	2007-09-28	Paper
Programming Languages and Systems	2005-09-13	Paper
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs	2004-11-22	Paper

Research outcomes over time

This page was built for person: Venkatesh-Prasad Ranganath