Treffer 1 - 15 von 15 für Suche 'Jens Oliver Gutsfeld', Suchdauer: 0,62s Treffer weiter einschränken
  1. 1
    Temporal logics with language parameters

    Temporal logics with language parameters von Gutsfeld, Jens Oliver, Müller-Olm, Markus, Dielitz, Christian

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automata and fixpoints for asynchronous hyperproperties

    Automata and fixpoints for asynchronous hyperproperties von Gutsfeld, Jens Oliver, Müller-Olm, Markus, Ohrem, Christoph


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Deciding Asynchronous Hyperproperties for Recursive Programs

    Deciding Asynchronous Hyperproperties for Recursive Programs von Gutsfeld, Jens Oliver, Müller-Olm, Markus, Ohrem, Christoph


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Temporal Logics with Language Parameters

    Temporal Logics with Language Parameters von Gutsfeld, Jens Oliver, Müller-Olm, Markus, Dielitz, Christian


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A Branching Time Variant of CaRet

    A Branching Time Variant of CaRet von Gutsfeld, Jens Oliver, Müller-Olm, Markus, Nordhoff, Benedikt


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Deciding Asynchronous Hyperproperties for Recursive Programs

    Deciding Asynchronous Hyperproperties for Recursive Programs von Gutsfeld, Jens Oliver, Müller-Olm, Markus, Ohrem, Christoph

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Temporal Team Semantics Revisited

    Temporal Team Semantics Revisited von Gutsfeld, Jens Oliver, Meier, Arne, Ohrem, Christoph, Virtema, Jonni

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Automata and Fixpoints for Asynchronous Hyperproperties

    Automata and Fixpoints for Asynchronous Hyperproperties von Gutsfeld, Jens Oliver, Müller-Olm, Markus, Ohrem, Christoph

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Temporal Team Semantics Revisited

    Temporal Team Semantics Revisited von Jens Oliver Gutsfeld, Meier, Arne, Ohrem, Christoph, Virtema, Jonni

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Temporal Logics with Language Parameters

    Temporal Logics with Language Parameters von Gutsfeld, Jens Oliver, Müller-Olm, Markus, Dielitz, Christian

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Deciding Asynchronous Hyperproperties for Recursive Programs

    Deciding Asynchronous Hyperproperties for Recursive Programs von Jens Oliver Gutsfeld, Müller-Olm, Markus, Ohrem, Christoph

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Propositional Dynamic Logic for Hyperproperties

    Propositional Dynamic Logic for Hyperproperties von Gutsfeld, Jens Oliver, Müller-Olm, Markus, Ohrem, Christoph

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Automata and Fixpoints for Asynchronous Hyperproperties

    Automata and Fixpoints for Asynchronous Hyperproperties von Jens Oliver Gutsfeld, Müller-Olm, Markus, Ohrem, Christoph

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Propositional Dynamic Logic for Hyperproperties

    Propositional Dynamic Logic for Hyperproperties von Jens Oliver Gutsfeld, Müller-Olm, Markus, Ohrem, Christoph

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Temporal Logics with Language Parameters

    Temporal Logics with Language Parameters von Jens Oliver Gutsfeld, Müller-Olm, Markus, Dielitz, Christian

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: