Filter your results
- 15
- 15
- 15
- 4
- 1
- 2
- 1
- 3
- 1
- 3
- 15
- 15
- 9
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Conformance Relations for Distributed Testing Based on CSP23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.48-63, ⟨10.1007/978-3-642-24580-0_5⟩
Conference papers
hal-01583923v1
|
||
|
|
Counting for Random Testing23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.1-8, ⟨10.1007/978-3-642-24580-0_1⟩
Conference papers
hal-01583925v1
|
||
|
|
Storytelling in Visual Analytics Tools for Business Intelligence14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.280-297, ⟨10.1007/978-3-642-40477-1_18⟩
Conference papers
hal-00817732v2
|
||
|
|
Influence of Color and Size of Particles on Their Perceived Speed in Node-Link DiagramsINTERACT 2019 - 17th IFIP Conference on Human-Computer Interaction, Sep 2019, Paphos, Cyprus. pp.619-637, ⟨10.1007/978-3-030-29384-0_37⟩
Conference papers
hal-02274134v1
|
||
|
|
Structuring Theories with Implicit Morphisms24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.154-173, ⟨10.1007/978-3-030-23220-7_9⟩
Conference papers
hal-02364570v1
|
||
|
|
High Performance SoC Design Using Magnetic Logic and MemoryVLSI-SoC: Very Large Scale Integration - System-on-Chip, Oct 2011, Hong Kong, China. pp.10-33, ⟨10.1007/978-3-642-32770-4_2⟩
Conference papers
hal-01519767v1
|
||
|
|
Redundancy and Collaboration in WikibooksProceedings of the 13th International Conference on Human-Computer Interaction, Sep 2011, Lisbon, Portugal. pp.215-232, ⟨10.1007/978-3-642-23774-4_20⟩
Conference papers
inria-00595516v2
|
||
|
|
Information-Theoretic Analysis of Human Performance for Command Selection16th 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
|
||
|
|
PolemicTweet: Video Annotation and Analysis through Tagged Tweets14th International Conference on Human-Computer Interaction (INTERACT), IFIP, Sep 2013, Heidelberg, Germany. pp.135-152, ⟨10.1007/978-3-642-40480-1_9⟩
Conference papers
hal-00817591v1
|
||
|
|
Guiding testers' hands in monitoring tools : application of testing approaches on SIP27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.105-123, ⟨10.1007/978-3-319-25945-1_7⟩
Conference papers
hal-01263247v1
|
||
|
|
Attack tolerance for services-based applications in the cloudICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.242-258, ⟨10.1007/978-3-030-31280-0_15⟩
Conference papers
hal-02526356v1
|
||
|
|
Boolean Networks: Beyond Generalized AsynchronicityAUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.29-42, ⟨10.1007/978-3-319-92675-9_3⟩
Conference papers
hal-01768359v2
|
||
|
|
GazeLens: Guiding Attention to Improve Gaze Interpretation in Hub-Satellite CollaborationINTERACT 2019 - 17th IFIP Conference on Human-Computer Interaction, Sep 2019, Paphos, Cyprus. pp.282-303, ⟨10.1007/978-3-030-29384-0_18⟩
Conference papers
hal-02183386v1
|
||
|
|
Modeless Pointing with Low-Precision Wrist Movements14th IFIP TC 13 International Conference - INTERACT, Sep 2013, Cape Town, South Africa. pp.494-511, ⟨10.1007/978-3-642-40477-1_31⟩
Conference papers
hal-00821078v2
|
||
|
|
One Fitts’ Law, Two Metrics16th 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
|