Diego Figueira
4
Documents
Publications
- 2
- 1
- 1
- 1
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 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
|
Playing with Repetitions in Data Words Using Energy GamesAnnual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209154⟩
Communication dans un congrès
hal-01715125v1
|
|
|
Co-finiteness of VASS coverability languages2019
Pré-publication, Document de travail
hal-02193089v2
|