George Kutty
According to our database1,
George Kutty
authored at least 19 papers
between 1992 and 1997.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1997
ACM Trans. Softw. Eng. Methodol., 1997
1996
Theor. Comput. Sci., 1996
Theor. Comput. Sci., 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
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