Y.S. Ramakrishna - Citegraph

Author Info

Name	Affiliation	Papers
Y.S. RAMAKRISHNA	Department of Electrical and Computer Engineering, Department of Computer Science, University of California, Santa Barbara 93106	3
Collaborators	Citations	PageRank
4	10	1.66
Referers	Referees	References
16	46	39

Publications (3 rows)

Collaborators (4 rows)

Referers (16 rows)

Referees (46 rows)

Title	Citations	PageRank	Year
On The Satisfiability Problem For Lamport'S Propositional Temporal Logic Of Actions And Some Of Its Extensions	0	0.34	1995
Axiomatizations Of Interval Logics	5	0.69	1995
Completeness And Soundness Of Axiomatizations For Temporal Logics Without Next	5	0.63	1994

1