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

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : Inria Saclay - Ile de France
labStructName_s : VERIMAG
Image document

Information-Theoretic Analysis of Human Performance for Command Selection

Wanyu Liu , Olivier Rioul , Michel Beaudouin-Lafon , Yves Guiard
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Mumbai, India. pp.515-524, ⟨10.1007/978-3-319-67687-6_35⟩
Conference papers hal-01643924v1
Image document

Implementing Open Call-by-Value

Beniamino Accattoli , Giulio Guerrieri
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.1-19, ⟨10.1007/978-3-319-68972-2_1⟩
Conference papers hal-01675365v1
Image document

Type Inference of Simulink Hierarchical Block Diagrams in Isabelle

Viorel Preoteasa , Iulia Dragomir , Stavros Tripakis
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.194-209, ⟨10.1007/978-3-319-60225-7_14⟩
Conference papers hal-01658411v1
Image document

One Fitts’ Law, Two Metrics

Julien Gori , Olivier Rioul , Yves Guiard , Michel Beaudouin-Lafon
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.525-533, ⟨10.1007/978-3-319-67687-6_36⟩
Conference papers hal-01717202v1