Diego Figueira
3
Documents
Publications
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
Playing with repetitions in data words using energy gamesLogical Methods in Computer Science, 2020, 16 (3), pp.1
Article dans une revue
hal-02888536v1
|
|
Universality Problem for Unambiguous VASSInternational Conference on Concurrency Theory (CONCUR), Sep 2020, Vienna, Austria. pp.36:1-36:15, ⟨10.4230/LIPIcs.CONCUR.2020.36⟩
Communication dans un congrès
hal-02483495v3
|
|
Co-finiteness of VASS coverability languages2019
Pré-publication, Document de travail
hal-02193089v2
|