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

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : Inria Sophia Antipolis - Méditerranée
labStructName_s : Inria Saclay - Ile de France
Page :
sorted by
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
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

Retractable and Speculative Contracts

 Franco Barbanera , Ivan Lanese , Ugo de 'Liguoro
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.119-137, ⟨10.1007/978-3-319-59746-1_7⟩
Conference papers hal-01633262v1
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

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
Page :