Filter your results
- 5
- 5
- 5
- 5
- 1
- 1
- 5
- 4
- 3
- 2
- 4
- 5
- 2
- 2
- 2
- 5
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Limited Automata: Properties, Complexity and Variants21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.57-73, ⟨10.1007/978-3-030-23247-4_4⟩
Conference papers
hal-02387288v1
|
||
|
User Experiences and Wellbeing at Work17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.754-758, ⟨10.1007/978-3-030-29390-1_75⟩
Conference papers
hal-02878656v1
|
||
|
Pushdown Automata and Constant Height: Decidability and Bounds21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.260-271, ⟨10.1007/978-3-030-23247-4_20⟩
Conference papers
hal-02387302v1
|
||
|
Descriptional Complexity of Iterated Uniform Finite-State Transducers21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.223-234, ⟨10.1007/978-3-030-23247-4_17⟩
Conference papers
hal-02387284v1
|
||
|
Regular Expression Learning with Evolutionary Testing and Repair31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.22-40, ⟨10.1007/978-3-030-31280-0_2⟩
Conference papers
hal-02526352v1
|