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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Dipartimento di Informatica
labStructName_s : Laboratoire Cherchons Pour Voir
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

Investigating Feedback for Two-Handed Exploration of Digital Maps Without Vision

Sandra Bardot , Marcos Serrano , Simon Perrault , Shengdong Zhao , Christophe Jouffrais
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.305-324, ⟨10.1007/978-3-030-29381-9_19⟩
Conference papers hal-02544543v1
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