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

Filter your results

3 results
Image document

Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs

Miguel Ferreira , Nelma Moreira , Rogério Reis
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.88-100, ⟨10.1007/978-3-319-94631-3_8⟩
Conference papers hal-01905623v1
Image document

A Demo of a Dynamic Facial UI for Digital Artists

Pedro Bastos , Xenxo Alvarez , Veronica Orvalho
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.358-359, ⟨10.1007/978-3-642-23768-3_30⟩
Conference papers hal-01596977v1
Image document

USB Connection Vulnerabilities on Android Smartphones: Default and Vendors’ Customizations

André Pereira , Manuel Correia , Pedro Brandão
15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.19-32, ⟨10.1007/978-3-662-44885-4_2⟩
Conference papers hal-01404182v1