Person:765512: Difference between revisions

From MaRDI portal
Person:765512
Created automatically from import230924090903
 
m AuthorDisambiguator moved page Sriram K. Rajamani to Sriram K. Rajamani: Duplicate
 
(No difference)

Latest revision as of 03:40, 9 December 2023

Available identifiers

zbMath Open rajamani.sriram-kWikidataQ102249343 ScholiaQ102249343MaRDI QIDQ765512

List of research outcomes

PublicationDate of PublicationType
Fair simulation2023-05-17Paper
https://portal.mardi4nfdi.de/entity/Q52753902017-07-13Paper
Summarizing procedures in concurrent programs2015-11-11Paper
Compositional may-must program analysis2015-06-11Paper
Types as models2015-03-17Paper
Generalized lattice agreement2014-12-05Paper
A model-learner pattern for bayesian reasoning2014-11-27Paper
Refining abstract interpretations2012-03-19Paper
Alternation for Termination2010-10-01Paper
Verifiable Design of Asynchronous Software2010-06-02Paper
https://portal.mardi4nfdi.de/entity/Q51907772009-07-27Paper
Automatically Refining Abstract Interpretations2008-04-11Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-09-28Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-05-02Paper
Computer Aided Verification2005-08-25Paper
Computer Aided Verification2005-08-25Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper
https://portal.mardi4nfdi.de/entity/Q48175452004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q48187982004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q44722352004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q48048942003-05-01Paper
Fair simulation2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q47787082002-11-19Paper
https://portal.mardi4nfdi.de/entity/Q45532572002-11-04Paper
https://portal.mardi4nfdi.de/entity/Q45317542002-05-23Paper
https://portal.mardi4nfdi.de/entity/Q27695852002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q27695922002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q27537562001-11-11Paper
Partial-order reduction in symbolic state-space exploration2001-09-09Paper
https://portal.mardi4nfdi.de/entity/Q45189012001-05-20Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Sriram K. Rajamani