Works matching AU Filiot, A.


Results: 14
    1
    2
    3

    A Pattern Logic for Automata with Outputs.

    Published in:
    International Journal of Foundations of Computer Science, 2020, v. 31, n. 6, p. 711, doi. 10.1142/S0129054120410038
    By:
    • Filiot, Emmanuel;
    • Mazzocchi, Nicolas;
    • Raskin, Jean-François
    Publication type:
    Article
    4

    Multi-Sequential Word Relations.

    Published in:
    International Journal of Foundations of Computer Science, 2018, v. 29, n. 2, p. 271, doi. 10.1142/S0129054118400075
    By:
    • Jecker, Ismaël;
    • Filiot, Emmanuel
    Publication type:
    Article
    5

    TREE AUTOMATA WITH GLOBAL CONSTRAINTS.

    Published in:
    International Journal of Foundations of Computer Science, 2010, v. 21, n. 4, p. 571, doi. 10.1142/S012905411000743X
    By:
    • Filiot, Emmanuel;
    • Talbot, Jean-Marc;
    • Tison, Sophie
    Publication type:
    Article
    6
    7
    8
    9

    STREAMABILITY OF NESTED WORD TRANSDUCTIONS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:1)2019
    By:
    • FILIOT, EMMANUEL;
    • GAUWIN, OLIVIER;
    • REYNIER, PIERRE-ALAIN;
    • SERVAIS, FRÉDÉRIC
    Publication type:
    Article
    10
    11

    Exploiting structure in LTL synthesis.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 541, doi. 10.1007/s10009-012-0222-5
    By:
    • Filiot, Emmanuel;
    • Jin, Naiyong;
    • Raskin, Jean-François
    Publication type:
    Article
    12
    13
    14