Y. S. Ramakrishna

From MaRDI portal
Person:230068

Available identifiers

zbMath Open ramakrishna.y-sMaRDI QIDQ230068

List of research outcomes





PublicationDate of PublicationType
Partial-order reduction in the weak modal mu-calculus2023-05-17Paper
A real-time interval logic and its decision procedure2002-02-18Paper
https://portal.mardi4nfdi.de/entity/Q45184242000-11-28Paper
https://portal.mardi4nfdi.de/entity/Q45184442000-11-28Paper
https://portal.mardi4nfdi.de/entity/Q42472722000-01-12Paper
https://portal.mardi4nfdi.de/entity/Q42684641999-10-31Paper
https://portal.mardi4nfdi.de/entity/Q42566521999-08-08Paper
Interval logics and their decision procedures. I: An interval logic1997-02-27Paper
Interval logics and their decision procedures. II: A real-time interval logic1997-02-27Paper
Automated deduction in a graphical temporal logic1996-05-02Paper
https://portal.mardi4nfdi.de/entity/Q48533171996-01-30Paper
https://portal.mardi4nfdi.de/entity/Q48533201995-10-29Paper
https://portal.mardi4nfdi.de/entity/Q43186361995-01-09Paper
https://portal.mardi4nfdi.de/entity/Q40323131993-04-01Paper

Research outcomes over time

This page was built for person: Y. S. Ramakrishna

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:230068&oldid=7556163"
Powered by MediaWiki