Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Future Interaction Technology Lab [Swansea]
labStructName_s : Dipartimento di Informatica
Image document

Sugar Ka Saathi – A Case Study Designing Digital Self-management Tools for People Living with Diabetes in Pakistan

Kehkashan Zeb , Stephen Lindsay , Suleman Shahid , Waleed Riaz , Matt Jones
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.161-181, ⟨10.1007/978-3-030-29387-1_10⟩
Conference papers hal-02553908v1
Image document

Pushdown Automata and Constant Height: Decidability and Bounds

Giovanni Pighizzini , Luca Prigioniero
21th 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
Image document

Limited Automata: Properties, Complexity and Variants

Giovanni Pighizzini
21th 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