The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ron van der Meyden: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ron van der Meyden
    The Complexity of Querying Indefinite Data about Linearly Ordered Domains. [Citation Graph (16, 16)][DBLP]
    PODS, 1992, pp:331-345 [Conf]
  2. Tomasz Imielinski, Ron van der Meyden, Kumar V. Vadaparty
    Complexity Tailored Design: A New Design Methodology for Databases With Incomplete Information. [Citation Graph (4, 0)][DBLP]
    J. Comput. Syst. Sci., 1995, v:51, n:3, pp:405-432 [Journal]
  3. Ron van der Meyden
    Logical Approaches to Incomplete Information: A Survey. [Citation Graph (3, 0)][DBLP]
    Logics for Databases and Information Systems, 1998, pp:307-356 [Conf]
  4. Ron van der Meyden
    Recursively Indefinite Databases. [Citation Graph (3, 18)][DBLP]
    ICDT, 1990, pp:364-378 [Conf]
  5. Ron van der Meyden
    Recursively Indefinite Databases. [Citation Graph (3, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:116, n:1&2, pp:151-194 [Journal]
  6. Ron van der Meyden
    The Complexity of Querying Indefinite Data about Linearly Ordered Domains. [Citation Graph (2, 0)][DBLP]
    J. Comput. Syst. Sci., 1997, v:54, n:1, pp:113-135 [Journal]
  7. Ron van der Meyden
    The Dynamic Logic of Permission [Citation Graph (1, 0)][DBLP]
    LICS, 1990, pp:72-78 [Conf]
  8. Kai Engelhardt, Ron van der Meyden, Kaile Su
    Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:9-30 [Conf]
  9. Tim French, Ron van der Meyden, Mark Reynolds
    Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:53-72 [Conf]
  10. Peter Gammie, Ron van der Meyden
    MCK: Model Checking the Logic of Knowledge. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:479-483 [Conf]
  11. Edward P. F. Chan, Ron van der Meyden
    Testing Containment of Object-Oriented Conjunctive Queries is Pi_2^p-hard. [Citation Graph (0, 0)][DBLP]
    COCOON, 1995, pp:81-90 [Conf]
  12. Ron van der Meyden, Moshe Y. Vardi
    Synthesis from Knowledge-Based Specifications (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:34-49 [Conf]
  13. Ron van der Meyden, Thomas Wilke
    Synthesis of Distributed Systems from Knowledge-Based Specifications. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:562-576 [Conf]
  14. Joseph Y. Halpern, Ron van der Meyden
    A Logic for SDSI's Linked Local Name Spaces. [Citation Graph (0, 0)][DBLP]
    CSFW, 1999, pp:111-122 [Conf]
  15. Joseph Y. Halpern, Ron van der Meyden
    A Logical Reconstruction of SPKI. [Citation Graph (0, 0)][DBLP]
    CSFW, 2001, pp:59-0 [Conf]
  16. Ron van der Meyden, Kaile Su
    Symbolic Model Checking the Knowledge of the Dining Cryptographers. [Citation Graph (0, 0)][DBLP]
    CSFW, 2004, pp:280-0 [Conf]
  17. Ron van der Meyden, Manas Patra
    A Logic for Probability in Quantum Systems. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:427-440 [Conf]
  18. Kai Engelhardt, Ron van der Meyden, Yoram Moses
    A Program Refinement Framework Supporting Reasoning about Knowledge and Time. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:114-129 [Conf]
  19. Ron van der Meyden
    Finite State Implementations of Knowledge-Based Programs. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1996, pp:262-273 [Conf]
  20. Ron van der Meyden, Nikolay V. Shilov
    Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1999, pp:432-445 [Conf]
  21. Ron van der Meyden, Yoram Moses
    On Refinement and Temporal Annotations. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:185-201 [Conf]
  22. Kai Baukus, Ron van der Meyden
    A Knowledge Based Analysis of Cache Coherence. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:99-114 [Conf]
  23. L. Thorne McCarty, Ron van der Meyden
    Indefinite Reasoning with Definite Rules. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:890-896 [Conf]
  24. L. Thorne McCarty, Ron van der Meyden
    Reasoning About Indefinite Actions. [Citation Graph (0, 0)][DBLP]
    KR, 1992, pp:59-70 [Conf]
  25. Ron van der Meyden
    Mutual Belief Revision (Preliminary Report). [Citation Graph (0, 0)][DBLP]
    KR, 1994, pp:595-606 [Conf]
  26. Ron van der Meyden
    Axioms for Knowledge and Time in Distributed Systems with Perfect Recall [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:448-457 [Conf]
  27. Kai Engelhardt, Ron van der Meyden, Yoram Moses
    A Refinement Theory that Supports Reasoning About Knowledge and Time. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:125-141 [Conf]
  28. L. Thorne McCarty, Ron van der Meyden
    An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    LPNMR, 1993, pp:417-436 [Conf]
  29. Ron van der Meyden
    Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall. [Citation Graph (0, 0)][DBLP]
    PRICAI Workshop on Intelligent Agent Systems, 1996, pp:135-151 [Conf]
  30. Ron van der Meyden
    A Clausal Logic for Deontic Action Specification. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:221-238 [Conf]
  31. Ron van der Meyden
    Common Knowledge and Update in Finite Enviromnents I. [Citation Graph (0, 0)][DBLP]
    TARK, 1994, pp:225-242 [Conf]
  32. Ron van der Meyden
    Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:31-49 [Conf]
  33. Ron van der Meyden, Manas Patra
    Knowledge in quantum systems. [Citation Graph (0, 0)][DBLP]
    TARK, 2003, pp:104-117 [Conf]
  34. Kai Engelhardt, Ron van der Meyden, Yoram Moses
    Knowledge and the Logic of Local Propositions. [Citation Graph (0, 0)][DBLP]
    TARK, 1998, pp:29-41 [Conf]
  35. Ron van der Meyden
    Modal Logics of Knowledge and Tim. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:5- [Conf]
  36. Ron van der Meyden, Yoram Moses
    Top-Down Considerations on Distributed Computing. [Citation Graph (0, 0)][DBLP]
    DISC, 1998, pp:16-19 [Conf]
  37. Joseph Y. Halpern, Ron van der Meyden
    A Logic for SDSI's Linked Local Name Spaces [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  38. Joseph Y. Halpern, Ron van der Meyden
    A logical reconstruction of SPKI [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  39. Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
    Complete Axiomatizations for Reasoning About Knowledge and Time [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  40. Alessio Lomuscio, Ron van der Meyden, Mark Ryan
    Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  41. Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan
    Model Checking Russian Cards. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:105-123 [Journal]
  42. Ron van der Meyden, Chenyi Zhang
    Algorithmic Verification of Noninterference Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:61-75 [Journal]
  43. Ron van der Meyden
    Common Knowledge and Update in Finite Environments. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:140, n:2, pp:115-157 [Journal]
  44. Ron van der Meyden
    Predicate Boundedness of Linear Monadic Datalog is in PSPACE. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2000, v:11, n:4, pp:591-612 [Journal]
  45. Joseph Y. Halpern, Ron van der Meyden
    A Logic for SDSI's Linked Local Name Spaces. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2001, v:9, n:1/2, pp:105-142 [Journal]
  46. Joseph Y. Halpern, Ron van der Meyden
    A Logical Reconstruction of SPKI. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2003, v:11, n:4, pp:581-614 [Journal]
  47. Ron van der Meyden
    The Dynamic Logic of Permission. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:3, pp:465-479 [Journal]
  48. Ron van der Meyden, Ka-Shu Wong
    Complete Axiomatizations for Reasoning about Knowledge and Branching Time. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:1, pp:93-123 [Journal]
  49. Edward P. F. Chan, Ron van der Meyden
    Containment and Optimization of Object-Preserving Conjunctive Queries. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2000, v:29, n:4, pp:1371-1400 [Journal]
  50. Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
    Complete Axiomatizations for Reasoning about Knowledge and Time. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2004, v:33, n:3, pp:674-703 [Journal]
  51. Alessio Lomuscio, Ron van der Meyden, Mark Ryan
    Knowledge in multiagent systems: initial configurations and broadcast. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2000, v:1, n:2, pp:247-284 [Journal]
  52. Ron van der Meyden
    What, Indeed, Is Intransitive Noninterference? [Citation Graph (0, 0)][DBLP]
    ESORICS, 2007, pp:235-250 [Conf]
  53. Ron van der Meyden, Chenyi Zhang
    A Comparison of Semantic Models for Noninterference. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2006, pp:235-249 [Conf]
  54. Kai Engelhardt, Peter Gammie, Ron van der Meyden
    Model Checking Knowledge and Linear Time: PSPACE Cases. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:195-211 [Conf]

  55. Improved bounded model checking for a fair branching-time temporal epistemic logic. [Citation Graph (, )][DBLP]


  56. Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic. [Citation Graph (, )][DBLP]


  57. A Linear Time Algorithm for Pricing European Sequential Barrier Options. [Citation Graph (, )][DBLP]


  58. Games, Norms and Strategic Notions in Information Flow Security. [Citation Graph (, )][DBLP]


  59. Information Flow in Systems with Schedulers. [Citation Graph (, )][DBLP]


  60. The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. [Citation Graph (, )][DBLP]


  61. The Complexity of Synchronous Notions of Information Flow Security. [Citation Graph (, )][DBLP]


  62. Access Control and Information Flow in Transactional Memory. [Citation Graph (, )][DBLP]


  63. On Notions of Causality and Distributed Knowledge. [Citation Graph (, )][DBLP]


  64. Preservation of epistemic properties in security protocol implementations. [Citation Graph (, )][DBLP]


  65. Deriving epistemic conclusions from agent architecture. [Citation Graph (, )][DBLP]


  66. Architectural Refinement and Notions of Intransitive Noninterference. [Citation Graph (, )][DBLP]


  67. Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.008secs
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