Sriram K. Rajamani

Available identifiers

zbMath Open rajamani.sriram-kWikidataQ102249343 ScholiaQ102249343MaRDI QIDQ765512

List of research outcomes

Publication	Date of Publication	Type
Fair simulation	2023-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q5275390	2017-07-13	Paper
Summarizing procedures in concurrent programs	2015-11-11	Paper
Compositional may-must program analysis	2015-06-11	Paper
Types as models	2015-03-17	Paper
Generalized lattice agreement	2014-12-05	Paper
A model-learner pattern for bayesian reasoning	2014-11-27	Paper
Refining abstract interpretations	2012-03-19	Paper
Alternation for Termination	2010-10-01	Paper
Verifiable Design of Asynchronous Software	2010-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q5190777	2009-07-27	Paper
Automatically Refining Abstract Interpretations	2008-04-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4817545	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4818798	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4472235	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4804894	2003-05-01	Paper
Fair simulation	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4778708	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q4553257	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4531754	2002-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q2769585	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2769592	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2753756	2001-11-11	Paper
Partial-order reduction in symbolic state-space exploration	2001-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4518901	2001-05-20	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: Sriram K. Rajamani