| On context-free languages RJ Parikh Journal of the ACM (JACM) 13 (4), 570-581, 1966 | 1062 | 1966 |
| Existence and feasibility in arithmetic R Parikh The journal of symbolic logic 36 (3), 494-508, 1971 | 441 | 1971 |
| The logic of games and its applications R Parikh North-Holland Mathematics Studies 102, 111-139, 1985 | 330 | 1985 |
| Process logic: Expressiveness, decidability, completeness D Harel, D Kozen, R Parikh Journal of computer and system sciences 25 (2), 144-170, 1982 | 249 | 1982 |
| An elementary proof of the completeness of PDL D Kozen, R Parikh Theoretical Computer Science 14 (1), 113-118, 1981 | 246 | 1981 |
| A knowledge based semantics of messages R Parikh, R Ramanujam Journal of Logic, Language and Information 12, 453-467, 2003 | 241 | 2003 |
| Beliefs, belief revision, and splitting languages R Parikh Logic, language and computation 2 (96), 266-268, 1999 | 225 | 1999 |
| Distributed processes and the logic of knowledge: Preliminary report R Parikh, R Ramanujam Workshop on Logic of Programs, 256-268, 1985 | 216 | 1985 |
| Communication, consensus, and knowledge R Parikh, P Krasucki Journal of Economic Theory 52 (1), 178-189, 1990 | 214 | 1990 |
| Social software R Parikh Synthese 132, 187-211, 2002 | 210 | 2002 |
| Topological reasoning and the logic of knowledge A Dabrowski, LS Moss, R Parikh Annals of Pure and Applied Logic 78 (1-3), 73-110, 1996 | 177 | 1996 |
| Well-partial orderings and hierarchies DHJ de Jongh, R Parikh Indagationes Mathematicae (Proceedings) 80 (3), 195-207, 1977 | 176 | 1977 |
| Game logic-an overview M Pauly, R Parikh Studia Logica 75, 165-182, 2003 | 165 | 2003 |
| 100O results of a randomized phase 2 study of Pd 0332991, a cyclin-dependent kinase (Cdk) 4/6 inhibitor, in combination with letrozole vs letrozole alone for first-line … RS Finn, JP Crown, K Boer, I Lang, RJ Parikh, A Breazna, SN Ho, ST Kim, ... Annals of Oncology 23, ii43, 2012 | 163 | 2012 |
| Language generating devices RJ Parikh Quarterly Progress Report 60 (199-212), 679, 1961 | 159 | 1961 |
| Some results on the length of proofs RJ Parikh Transactions of the American Mathematical Society 177, 29-36, 1973 | 139 | 1973 |
| Topological Reasoning and The Logic of Knowledge. LS Moss, R Parikh TARK 92, 95-105, 1992 | 138 | 1992 |
| The completeness of propositional dynamic logic R Parikh International Symposium on Mathematical Foundations of Computer Science, 403-415, 1978 | 120 | 1978 |
| The logic of knowledge based obligation E Pacuit, R Parikh, E Cogan Synthese 149, 311-341, 2006 | 117 | 2006 |
| Vagueness and utility: The semantics of common nouns R Parikh Linguistics and Philosophy, 521-535, 1994 | 105 | 1994 |
Eric PacuitUniversity of Maryland, College ParkVerified email at umd.edu
