Sfoglia per Autore
Origin-equivalence of two-way word transducers is in PSPACE
2018-01-01 Bose, Sougata; Muscholl, Anca; Puppis, Gabriele; Penelle, Vincent
An Algebraic Approach to Mso-Definability on Countable Linear Orderings
2018-01-01 Carton, O.; Colcombet, T.; Puppis, G.
One-way definability of two-way word transducers
2018-01-01 Baschenis, F.; Gauwin, O.; Muscholl, A.; Puppis, G.
Resynchronizing classes of word relations
2018-01-01 Descotte, M. E.; Figueira, D.; Puppis, G.
On synthesis of resynchronizers for transducers
2019-01-01 Bose, S.; Krishna, S. N.; Muscholl, A.; Penelle, V.; Puppis, G.
Equivalence of finite-valued streaming string transducers is decidable
2019-01-01 Muscholl, A.; Puppis, G.
The many facets of string transducers
2019-01-01 Muscholl, A.; Puppis, G.
Dynamic data structures for timed automata acceptance
2021-01-01 Grez, A.; Mazowiecki, F.; Pilipczuk, M.; Puppis, G.; Riveros, C.
Inference from Visible Information and Background Knowledge
2021-01-01 Benedikt, Michael; Bourhis, Pierre; ten Cate, Balder; Puppis, Gabriele; Vanden Boom, Michael
One-way resynchronizability of word transducers
2021-01-01 Bose, S.; Krishna, S. N.; Muscholl, A.; Puppis, G.
Ciaramella: A Synchronous Data Flow Programming Language For Audio DSP
2022-01-01 Marrone, Paolo; D’Angelo, Stefano; Fontana, Federico; Costagliola, Gennaro; Puppis, Gabriele
Dynamic Data Structures for Timed Automata Acceptance
2022-01-01 Grez, A.; Mazowiecki, F.; Pilipczuk, M.; Puppis, G.; Riveros, C.
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*
2023-01-01 Della Monica, D.; Montanari, A.; Puppis, G.; Sala, P.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Origin-equivalence of two-way word transducers is in PSPACE | 1-gen-2018 | Bose, Sougata; Muscholl, Anca; Puppis, Gabriele; Penelle, Vincent | |
An Algebraic Approach to Mso-Definability on Countable Linear Orderings | 1-gen-2018 | Carton, O.; Colcombet, T.; Puppis, G. | |
One-way definability of two-way word transducers | 1-gen-2018 | Baschenis, F.; Gauwin, O.; Muscholl, A.; Puppis, G. | |
Resynchronizing classes of word relations | 1-gen-2018 | Descotte, M. E.; Figueira, D.; Puppis, G. | |
On synthesis of resynchronizers for transducers | 1-gen-2019 | Bose, S.; Krishna, S. N.; Muscholl, A.; Penelle, V.; Puppis, G. | |
Equivalence of finite-valued streaming string transducers is decidable | 1-gen-2019 | Muscholl, A.; Puppis, G. | |
The many facets of string transducers | 1-gen-2019 | Muscholl, A.; Puppis, G. | |
Dynamic data structures for timed automata acceptance | 1-gen-2021 | Grez, A.; Mazowiecki, F.; Pilipczuk, M.; Puppis, G.; Riveros, C. | |
Inference from Visible Information and Background Knowledge | 1-gen-2021 | Benedikt, Michael; Bourhis, Pierre; ten Cate, Balder; Puppis, Gabriele; Vanden Boom, Michael | |
One-way resynchronizability of word transducers | 1-gen-2021 | Bose, S.; Krishna, S. N.; Muscholl, A.; Puppis, G. | |
Ciaramella: A Synchronous Data Flow Programming Language For Audio DSP | 1-gen-2022 | Marrone, Paolo; D’Angelo, Stefano; Fontana, Federico; Costagliola, Gennaro; Puppis, Gabriele | |
Dynamic Data Structures for Timed Automata Acceptance | 1-gen-2022 | Grez, A.; Mazowiecki, F.; Pilipczuk, M.; Puppis, G.; Riveros, C. | |
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* | 1-gen-2023 | Della Monica, D.; Montanari, A.; Puppis, G.; Sala, P. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile