Y. S. Ramakrishna

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Partial-order reduction in the weak modal mu-calculus CONCUR '97: Concurrency Theory	2023-05-17	Paper
A real-time interval logic and its decision procedure Sādhanā	2002-02-18	Paper
scientific article; zbMATH DE number 1536575 (Why is no real title available?)	2000-11-28	Paper
scientific article; zbMATH DE number 1536556 (Why is no real title available?)	2000-11-28	Paper
scientific article; zbMATH DE number 1302029 (Why is no real title available?)	2000-01-12	Paper
scientific article; zbMATH DE number 1354149 (Why is no real title available?)	1999-10-31	Paper
scientific article; zbMATH DE number 1318520 (Why is no real title available?)	1999-08-08	Paper
Interval logics and their decision procedures. I: An interval logic Theoretical Computer Science	1997-02-27	Paper
Interval logics and their decision procedures. II: A real-time interval logic Theoretical Computer Science	1997-02-27	Paper
Automated deduction in a graphical temporal logic Journal of Applied Non-Classical Logics	1996-05-02	Paper
scientific article; zbMATH DE number 810105 (Why is no real title available?)	1996-01-30	Paper
scientific article; zbMATH DE number 810108 (Why is no real title available?)	1995-10-29	Paper
scientific article; zbMATH DE number 708661 (Why is no real title available?)	1995-01-09	Paper
scientific article; zbMATH DE number 149521 (Why is no real title available?)	1993-04-01	Paper

Research outcomes over time

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