The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rohit Parikh: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rohit Parikh
    On Context-Free Languages. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1966, v:13, n:4, pp:570-581 [Journal]
  2. David Harel, Dexter Kozen, Rohit Parikh
    Process Logic: Expressiveness, Decidability, Completeness. [Citation Graph (1, 0)][DBLP]
    J. Comput. Syst. Sci., 1982, v:25, n:2, pp:144-170 [Journal]
  3. Rohit Parikh
    Propositions, Propositional Attitudes and Belief Revision. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 1998, pp:381-400 [Conf]
  4. Rohit Parikh
    Knowledge Based Computation (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:127-132 [Conf]
  5. Eric Pacuit, Rohit Parikh
    The Logic of Communication Graphs. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:256-269 [Conf]
  6. Rohit Parikh
    Propositional Logics of Programs: New Directions. [Citation Graph (0, 0)][DBLP]
    FCT, 1983, pp:347-359 [Conf]
  7. David Harel, Dexter Kozen, Rohit Parikh
    Process Logic: Expressiveness, Decidability, Completeness [Citation Graph (0, 0)][DBLP]
    FOCS, 1980, pp:129-142 [Conf]
  8. Rohit Parikh
    A Decidability Result for a Second Order Process Logic [Citation Graph (0, 0)][DBLP]
    FOCS, 1978, pp:177-183 [Conf]
  9. Rohit Parikh
    Propositional Game Logic [Citation Graph (0, 0)][DBLP]
    FOCS, 1983, pp:195-200 [Conf]
  10. Rohit Parikh
    Logics of Knowledge, Games and Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1984, pp:202-222 [Conf]
  11. Rohit Parikh
    Some Recent Applications of Knowledge. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1987, pp:528-539 [Conf]
  12. Rohit Parikh
    Logic and Computation (Panel). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:391-392 [Conf]
  13. Samir Chopra, Rohit Parikh
    An Inconsistency Tolerant Model for Belief Representation and Belief Revision. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:192-199 [Conf]
  14. Rohit Parikh
    Knowledge and the Problem of Logical Omniscience. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1987, pp:432-439 [Conf]
  15. Samir Chopra, Eric Pacuit, Rohit Parikh
    Knowledge-Theoretic Properties of Strategic Voting. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:18-30 [Conf]
  16. Rohit Parikh
    Logical Omniscience. [Citation Graph (0, 0)][DBLP]
    LCC, 1994, pp:22-29 [Conf]
  17. Rohit Parikh
    Levels of Knowledge in Distributed Computing [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:314-321 [Conf]
  18. Rohit Parikh
    Propositional Dynamic Logics of Programs: a Survey. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1979, pp:102-144 [Conf]
  19. Rohit Parikh
    Some Applications of Topology to Program Semantics. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:375-386 [Conf]
  20. Rohit Parikh, Anne Mahoney
    A Theory of Probabilistic Programs. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:396-402 [Conf]
  21. Rohit Parikh, Ramaswamy Ramanujam
    Distributed Processes and the Logic of Knowledge. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:256-268 [Conf]
  22. Dexter Kozen, Rohit Parikh
    A Decision Procedure for the Propositional µ-Calculus. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:313-325 [Conf]
  23. Rohit Parikh
    The Completeness of Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:403-415 [Conf]
  24. Rohit Parikh
    Propositional Logics of Programs: Systems, Models, and Complexity. [Citation Graph (0, 0)][DBLP]
    POPL, 1980, pp:186-192 [Conf]
  25. Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh
    Equations between Regular Terms and an Application to Process Logic [Citation Graph (0, 0)][DBLP]
    STOC, 1981, pp:384-390 [Conf]
  26. Albert R. Meyer, Rohit Parikh
    Definability in Dynamic Logic [Citation Graph (0, 0)][DBLP]
    STOC, 1980, pp:1-7 [Conf]
  27. Lawrence S. Moss, Rohit Parikh
    Topological Reasoning and The Logic of Knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 1992, pp:95-105 [Conf]
  28. Rohit Parikh
    Logical omniscience and common knowledge: WHAT do we know and what do WE know? [Citation Graph (0, 0)][DBLP]
    TARK, 2005, pp:62-77 [Conf]
  29. Rohit Parikh
    Recent Issues in Reasoning about Knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 1990, pp:3-10 [Conf]
  30. Samir Chopra, Rohit Parikh
    Relevance sensitive belief structures. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:259-285 [Journal]
  31. Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh
    Topological Reasoning and the Logic of Knowledge. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:73-110 [Journal]
  32. Rohit Parikh, Jouko A. Väänänen
    Finite information logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:83-93 [Journal]
  33. Samir Chopra, Konstantinos Georgatos, Rohit Parikh
    Relevance Sensitive Non-Monotonic Inference on Belief Sequences [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  34. Rohit Parikh
    Dumb-Founded Sets. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:43, n:, pp:183- [Journal]
  35. Rohit Parikh
    States of Knowledge. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
  36. Rohit Parikh
    Monotonic and non-monotonic logics of knowledge. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1991, v:15, n:3-4, pp:255-274 [Journal]
  37. Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan
    A Logical Study of Distributed Transition Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:119, n:1, pp:91-118 [Journal]
  38. Rohit Parikh
    Preface [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1991, v:93, n:1, pp:0- [Journal]
  39. Samir Chopra, Rohit Parikh, Renata Wassermann
    Approximate Belief Revision. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:6, pp:- [Journal]
  40. Rohit Parikh, Laxmi Parida, Vaughan R. Pratt
    Sock Sorting: An Example of a Vague Algorithm. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:5, pp:- [Journal]
  41. Samir Chopra, Konstantinos Georgatos, Rohit Parikh
    Relevance Sensitive Non-Monotonic Inference on Belief Sequences. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2001, v:11, n:1-2, pp:131-150 [Journal]
  42. Albert R. Meyer, Rohit Parikh
    Definability in Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1981, v:23, n:2, pp:279-298 [Journal]
  43. Rohit Parikh, Ramaswamy Ramanujam
    A Knowledge Based Semantics of Messages. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2003, v:12, n:4, pp:453-467 [Journal]
  44. Rohit Parikh
    Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2000, v:9, n:1, pp:131-132 [Journal]
  45. Martin Davis, Rohit Parikh
    Meeting of the Association for Symbolic Logic: New York City, May 1987. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1270-1274 [Journal]
  46. Rohit Parikh
    Existence and Feasibility in Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1971, v:36, n:3, pp:494-508 [Journal]
  47. Rohit Parikh
    Some Applications of Topology to Program Semantics. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1983, v:16, n:2, pp:111-131 [Journal]
  48. Marc Pauly, Rohit Parikh
    Editorial Introduction. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:2, pp:163-164 [Journal]
  49. Marc Pauly, Rohit Parikh
    Game Logic - An Overview. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:2, pp:165-182 [Journal]
  50. M. Angela Weiss, Rohit Parikh
    Completeness of Certain Bimodal Logics for Subset Spaces. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:1, pp:1-30 [Journal]
  51. Andrzej Ehrenfeucht, Rohit Parikh, Grzegorz Rozenberg
    Pumping Lemmas for Regular Sets. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1981, v:10, n:3, pp:536-541 [Journal]
  52. Rohit Parikh, Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer
    Equations Between Regular Terms and an Application to Process Logic. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1985, v:14, n:4, pp:935-942 [Journal]
  53. Dexter Kozen, Rohit Parikh
    An Elementary Proof of the Completness of PDL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1981, v:14, n:, pp:113-118 [Journal]
  54. Rohit Parikh
    Some Puzzles About Probability and Probabilistic Conditionals. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:449-456 [Conf]

  55. Knowledge and Structure in Social Algorithms. [Citation Graph (, )][DBLP]


  56. Knowledge, Games and Tales from the East. [Citation Graph (, )][DBLP]


Search in 0.089secs, Finished in 0.091secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002