Treffer 1 - 20 von 201 für Suche 'Reynier, Alain', Suchdauer: 0,75s Treffer weiter einschränken
  1. 1
    Optimal controller synthesis for timed systems

    Optimal controller synthesis for timed systems von Busatto-Gaston, Damien, Monmege, Benjamin, Reynier, Pierre-Alain


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Computability of Data-Word Transductions over Different Data Domains

    Computability of Data-Word Transductions over Different Data Domains von Exibard, Léo, Filiot, Emmanuel, Lhote, Nathan, Reynier, Pierre-Alain


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

    Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings von Potapov, Igor, Reynier, Pierre-Alain


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Streamability of nested word transductions

    Streamability of nested word transductions von Filiot, Emmanuel, Gauwin, Olivier, Reynier, Pierre-Alain, Servais, Frédéric


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Synthesis of Data Word Transducers

    Synthesis of Data Word Transducers von Exibard, Léo, Filiot, Emmanuel, Reynier, Pierre-Alain


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Optimal and robust controller synthesis using energytimed automata with uncertainty

    Optimal and robust controller synthesis using energytimed automata with uncertainty von Bacci, Giovanni, Bouyer, Patricia, Fahrenberg, Uli, Larsen, Kim G., Markey, Nicolas, Reynier, Pierre-Alain

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Decision problems of tree transducers with origin

    Decision problems of tree transducers with origin von Filiot, Emmanuel, Maneth, Sebastian, Reynier, Pierre-Alain, Talbot, Jean-Marc

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Optimal and robust controller synthesis using energy timed automata with uncertainty

    Optimal and robust controller synthesis using energy timed automata with uncertainty von Bacci, Giovanni, Bouyer, Patricia, Fahrenberg, Uli, Larsen, Kim G., Markey, Nicolas, Reynier, Pierre-Alain

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Visibly pushdown transducers

    Visibly pushdown transducers von Filiot, Emmanuel, Raskin, Jean-François, Reynier, Pierre-Alain, Servais, Frédéric, Talbot, Jean-Marc


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Additive diffusion coefficients in polyolefins. II. Effect of swelling and temperature on the D = f(M) correlation

    Additive diffusion coefficients in polyolefins. II. Effect of swelling and temperature on the D = f(M) correlation von Reynier, Alain, Dole, Patrice, Feigenbaum, Alexandre


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Trimming visibly pushdown automata

    Trimming visibly pushdown automata von Caralp, Mathieu, Reynier, Pierre-Alain, Talbot, Jean-Marc

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Optimal and Robust Controller Synthesis: Using Energy Timed Automata with Uncertainty

    Optimal and Robust Controller Synthesis: Using Energy Timed Automata with Uncertainty von Bacci, Giovanni, Bouyer, Patricia, Fahrenberg, Uli, Larsen, Kim Guldstrand, Markey, Nicolas, Reynier, Pierre-Alain


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    On the Computation of the Minimal Coverability Set of Petri Nets

    On the Computation of the Minimal Coverability Set of Petri Nets von Reynier, Pierre-Alain, Servais, Frédéric


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    From Two-Way Transducers to Regular Function Expressions

    From Two-Way Transducers to Regular Function Expressions von Baudru, Nicolas, Reynier, Pierre-Alain


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    From Two-Way to One-Way Finite State Transducers

    From Two-Way to One-Way Finite State Transducers von Filiot, Emmanuel, Gauwin, Olivier, Reynier, Pierre-Alain, Servais, Frederic


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Timed Petri nets and timed automata: On the discriminating power of zeno sequences

    Timed Petri nets and timed automata: On the discriminating power of zeno sequences von Bouyer, Patricia, Haddad, Serge, Reynier, Pierre-Alain

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Copyful Streaming String Transducers

    Copyful Streaming String Transducers von Filiot, Emmanuel, Reynier, Pierre-Alain


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Robust Model-Checking of Linear-Time Properties in Timed Automata

    Robust Model-Checking of Linear-Time Properties in Timed Automata von Bouyer, Patricia, Markey, Nicolas, Reynier, Pierre-Alain


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Expressiveness of Visibly Pushdown Transducers

    Expressiveness of Visibly Pushdown Transducers von Caralp, Mathieu, Filiot, Emmanuel, Reynier, Pierre-Alain, Servais, Frédéric, Talbot, Jean-Marc


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Optimal controller synthesis for timed systems

    Optimal controller synthesis for timed systems von Busatto-Gaston, Damien, Monmege, Benjamin, Pierre-Alain Reynier

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: