Treffer 1 - 20 von 83 für Suche 'van der Meyden, R', Suchdauer: 0,91s Treffer weiter einschränken
  1. 1
    Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)

    Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract) von van der Meyden, R, Patra, M K


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    MCK: Model Checking the Logic of Knowledge

    MCK: Model Checking the Logic of Knowledge von Gammie, Peter, van der Meyden, Ron


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Complete axiomatizations for reasoning about knowledge and time

    Complete axiomatizations for reasoning about knowledge and time von HALPERN, Joseph Y, VAN DER MEYDEN, Ron, VARDI, Moshe Y

    Veröffentlicht in SIAM journal on computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Synthesis of distributed systems from knowledge-based specifications

    Synthesis of distributed systems from knowledge-based specifications von VAN DER MEYDEN, Ron, WILKE, Thomas


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Modal logics of knowledge and time

    Modal logics of knowledge and time von van der Meyden, R.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Symbolic model checking the knowledge of the dining cryptographers

    Symbolic model checking the knowledge of the dining cryptographers von van der Meyden, R., Suf, K.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    The Complexity of Intransitive Noninterference

    The Complexity of Intransitive Noninterference von Eggert, S., van der Meyden, R., Schnoor, H., Wilke, T.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Common Knowledge and Update in Finite Environments

    Common Knowledge and Update in Finite Environments von van der Meyden, Ron

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    The Dynamic Logic of Permission

    The Dynamic Logic of Permission von van der Meyden, R


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A Knowledge Based Analysis of Cache Coherence

    A Knowledge Based Analysis of Cache Coherence von Baukus, Kai, van der Meyden, Ron


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Synthesis from knowledge-based specifications

    Synthesis from knowledge-based specifications von VAN DER MEYDEN, R, VARDI, M. Y


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)

    Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract) von van der Meyden, R, Patra, M K

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A Logic for Probability in Quantum Systems

    A Logic for Probability in Quantum Systems von van der Meyden, Ron, Patra, Manas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    A logical reconstruction of SPKI

    A logical reconstruction of SPKI von Halpern, J.Y., van der Meyden, R.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    A logic for SDSI's linked local name spaces: preliminary version

    A logic for SDSI's linked local name spaces: preliminary version von Halpern, J.Y., Van Der Meyden, R.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics

    Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics von Huang, X, van der Meyden, R

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Top-down considerations on distributed computing

    Top-down considerations on distributed computing von van der Meyden, Ron, Moses, Yoram


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    On Refinement and Temporal Annotations

    On Refinement and Temporal Annotations von van der Meyden, Ron, Moses, Yoram


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Recursively indefinite databases

    Recursively indefinite databases von van der Meyden, Ron

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Containment and optimization of object-preserving conjunctive queries

    Containment and optimization of object-preserving conjunctive queries von CHAN, E. P. F, VAN DER MEYDEN, R

    Veröffentlicht in SIAM journal on computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: