Journal of the ACM (JACM)
Proving systolic systems correct
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Weakest Congruence Results Concerning "Any-Lock"
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
| Hi-index | 0.00 |