Treffer 1 - 20 von 106 für Suche 'Laroussinie, Francois', Suchdauer: 0,85s Treffer weiter einschränken
  1. 1
    Augmenting ATL with strategy contexts

    Augmenting ATL with strategy contexts von Laroussinie, François, Markey, Nicolas

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    QCTL model-checking with QBF solvers

    QCTL model-checking with QBF solvers von Hossain, Akash, Laroussinie, François

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Quantified CTL: Expressiveness and Complexity

    Quantified CTL: Expressiveness and Complexity von Laroussinie, François, Markey, Nicolas


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Session Types as Intuitionistic Linear Propositions

    Session Types as Intuitionistic Linear Propositions von Caires, Luís, Pfenning, Frank


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Timed Temporal Logics

    Timed Temporal Logics von Bouyer, Patricia, Laroussinie, François, Markey, Nicolas, Ouaknine, Joël, Worrell, James


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    ATLsc with partial observation

    ATLsc with partial observation von Laroussinie, François, Markey, Nicolas, Sangnier, Arnaud


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Model Checking Probabilistic Timed Automata with One or Two Clocks

    Model Checking Probabilistic Timed Automata with One or Two Clocks von Jurdzinski, Marcin, Laroussinie, Francois, Sproston, Jeremy


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Satisfiability of ATL with strategy contexts

    Satisfiability of ATL with strategy contexts von Laroussinie, François, Markey, Nicolas


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A Linear Account of Session Types in the Pi Calculus

    A Linear Account of Session Types in the Pi Calculus von Giunti, Marco, Vasconcelos, Vasco T.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A Theory of Design-by-Contract for Distributed Multiparty Interactions

    A Theory of Design-by-Contract for Distributed Multiparty Interactions von Bocchi, Laura, Honda, Kohei, Tuosto, Emilio, Yoshida, Nobuko


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    On the Expressiveness and Complexity of ATL

    On the Expressiveness and Complexity of ATL von Laroussinie, Francois, Markey, Nicolas, Oreiby, Ghassan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Reversing Higher-Order Pi

    Reversing Higher-Order Pi von Lanese, Ivan, Mezzina, Claudio Antares, Stefani, Jean-Bernard


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Model-Checking Timed ATL for Durational Concurrent Game Structures

    Model-Checking Timed ATL for Durational Concurrent Game Structures von Laroussinie, François, Markey, Nicolas, Oreiby, Ghassan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Temporal logic with forgettable past

    Temporal logic with forgettable past von Laroussinie, F., Markey, N., Schnoebelen, P.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Counting LTL

    Counting LTL von Laroussinie, Francois, Meyer, Antoine, Petonnet, Eudes


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    State explosion in almost-sure probabilistic reachability

    State explosion in almost-sure probabilistic reachability von Laroussinie, François, Sproston, Jeremy

    Veröffentlicht in Information processing letters

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Model checking durational probabilistic systems

    Model checking durational probabilistic systems von LAROUSSINIE, Francois, SPROSTON, Jeremy


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Generic Forward and Backward Simulations II:Probabilistic Simulation

    Generic Forward and Backward Simulations II:Probabilistic Simulation von Hasuo, Ichiro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Parameterized Verification of Ad Hoc Networks

    Parameterized Verification of Ad Hoc Networks von Delzanno, Giorgio, Sangnier, Arnaud, Zavattaro, Gianluigi


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Learning I/O Automata

    Learning I/O Automata von Aarts, Fides, Vaandrager, Frits


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: