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

This page was built for person: Sriram K. Rajamani