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

Filter your results

36 results

Human-Computer Interaction – INTERACT 2019

David Lamas , Fernando Loizides , Lennart E. Nacke , Helen Petrie , Marco Winckler , et al.
Springer International Publishing, LNCS-11747, 2019, Lecture Notes in Computer Science, 978-3-030-29383-3. ⟨10.1007/978-3-030-29384-0⟩
Books hal-02544612v1
Image document

Experiments in Model Driven Composition of User Interfaces

Audrey Occello , Cedric Joffroy , Anne-Marie Déry-Pinna , Philippe Renevier-Gonin , Michel Riveill
10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.98-111, ⟨10.1007/978-3-642-13645-0_8⟩
Conference papers hal-01307121v1
Image document

A Decidable Subtyping Logic for Intersection and Union Types

Luigi Liquori , Claude Stolze
TTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science, Sep 2017, Tehran, Iran. pp.74-90, ⟨10.1007/978-3-319-68953-1_7⟩
Conference papers hal-01760641v1
Image document

Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular Automata: Exact Asymptotic Measures

Pedro Paulo Balbi , Enrico Formenti , Kévin Perrot , Sara Riva , Eurico Ruivo
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.14-28, ⟨10.1007/978-3-030-61588-8_2⟩
Conference papers hal-03659470v1

Cellular Automata and Discrete Complex Systems

Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Antonio E. Porreca
Springer International Publishing, LNCS-10248, 2017, Lecture Notes in Computer Science, 978-3-319-58630-4. ⟨10.1007/978-3-319-58631-1⟩
Books hal-01656363v1
Image document

On the Periods of Spatially Periodic Preimages in Linear Bipermutive Cellular Automata

Luca Mariot , Alberto Leporati
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.181-195, ⟨10.1007/978-3-662-47221-7_14⟩
Conference papers hal-01313895v1