Y. S. Ramakrishna
According to our database1,
Y. S. Ramakrishna
authored at least 27 papers
between 1992 and 1999.
Collaborative distances:
Collaborative distances:
Timeline
1992
1993
1994
1995
1996
1997
1998
1999
0
1
2
3
4
5
6
7
1
3
2
3
1
2
1
3
2
3
4
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999
1998
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998
1997
ACM Trans. Softw. Eng. Methodol., 1997
Proceedings of the CONCUR '97: Concurrency Theory, 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study.
Proceedings of the Algebraic Methodology and Software Technology, 1997
1996
Theor. Comput. Sci., 1996
Theor. Comput. Sci., 1996
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1995
On the Satisfiability Problem for Lamport's Propositional Temporal Logic of Actions and Some of Its Extensions.
Fundam. Informaticae, 1995
1994
ACM Trans. Softw. Eng. Methodol., 1994
Fundam. Informaticae, 1994
Proceedings of the Temporal Logic, First International Conference, 1994
Proceedings of the Temporal Logic, First International Conference, 1994
Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994
1993
Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
1992
An automata-theoretic decision procedure for propositional temporal logic with since and until.
Fundam. Informaticae, 1992
Proceedings of the 14th International Conference on Software Engineering, 1992
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992