Filter your results
- 7402
- 245
- 17
- 7374
- 272
- 14
- 3
- 1
- 7664
- 1138
- 2
- 1
- 116
- 110
- 109
- 87
- 85
- 82
- 67
- 57
- 55
- 53
- 48
- 48
- 46
- 44
- 42
- 42
- 41
- 41
- 40
- 37
- 37
- 35
- 35
- 35
- 34
- 34
- 32
- 31
- 30
- 30
- 29
- 28
- 27
- 27
- 27
- 26
- 26
- 26
- 26
- 26
- 26
- 26
- 25
- 25
- 24
- 24
- 24
- 24
- 23
- 23
- 23
- 22
- 22
- 22
- 22
- 21
- 21
- 21
- 21
- 21
- 21
- 21
- 20
- 20
- 20
- 20
- 20
- 41
- 579
- 513
- 698
- 425
- 737
- 539
- 744
- 589
- 752
- 708
- 828
- 511
- 7664
- 58
- 48
- 24
- 20
- 19
- 18
- 18
- 15
- 15
- 15
- 14
- 14
- 14
- 13
- 13
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 46
- 38
- 29
- 26
- 25
- 21
- 20
- 19
- 19
- 18
- 18
- 17
- 17
- 16
- 16
- 16
- 16
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
|
Chosen-Ciphertext Secure Certificateless Proxy Re-Encryption11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.214-232, ⟨10.1007/978-3-642-13241-4_20⟩
Conference papers
hal-01056377v1
|
||
|
The Use of Expressives in Online Political Talk: Impeding or Facilitating the Normative Goals of Deliberation?Second IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.26-41, ⟨10.1007/978-3-642-15158-3_3⟩
Conference papers
hal-01059064v1
|
||
|
Extending UsiXML to Support User-Aware InterfacesThird IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.95-110, ⟨10.1007/978-3-642-16488-0_8⟩
Conference papers
hal-01055194v1
|
||
|
Understanding Formal Description of Pitch-Based InputThird IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.190-197, ⟨10.1007/978-3-642-16488-0_16⟩
Conference papers
hal-01055204v1
|
||
|
A Domain Specific Language for Contextual DesignThird IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.46-61, ⟨10.1007/978-3-642-16488-0_5⟩
Conference papers
hal-01055231v1
|
||
|
Anonygator: Privacy and Integrity Preserving Data AggregationACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.85-106, ⟨10.1007/978-3-642-16955-7_5⟩
Conference papers
hal-01055270v1
|
||
|
Dial-based Game Interface with Multi-modal Feedback9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.389-396, ⟨10.1007/978-3-642-15399-0_42⟩
Conference papers
hal-01055620v1
|
||
|
A Laban-Based Approach to Emotional Motion Rendering for Human-Robot Interaction9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.372-380, ⟨10.1007/978-3-642-15399-0_40⟩
Conference papers
hal-01055622v1
|
||
|
Ubiquitous Verification of Ubiquitous Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.47-58, ⟨10.1007/978-3-642-16256-5_7⟩
Conference papers
hal-01055377v1
|
||
|
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.119-130, ⟨10.1007/978-3-642-16256-5_13⟩
Conference papers
hal-01055392v1
|
||
|
Theory and Implementation of a Real-Time Extension to the π-CalculusJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.125-139, ⟨10.1007/978-3-642-13464-7_11⟩
Conference papers
hal-01055159v1
|
||
|
A Secure RFID Ticket System for Public Transport24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.350-357, ⟨10.1007/978-3-642-13739-6_27⟩
Conference papers
hal-01056673v1
|
||
|
eParticipation Initiatives in Europe: Learning from PractitionersSecond IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.54-65, ⟨10.1007/978-3-642-15158-3_5⟩
Conference papers
hal-01054836v1
|
||
|
Do Animation Direction and Position of Progress Bar Affect Selections?18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.395-399, ⟨10.1007/978-3-030-85607-6_45⟩
Conference papers
hal-04291271v1
|
||
|
A Flexible and Adaptable Workflow to Develop and Visualise Industrial Digital Twins18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.259-263, ⟨10.1007/978-3-030-85607-6_18⟩
Conference papers
hal-04291262v1
|
||
|
InteractDiff: A 3D Sandbox Game for Online Teaching and Campus Life Experience18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.442-446, ⟨10.1007/978-3-030-85607-6_54⟩
Conference papers
hal-04291225v1
|
||
|
Visualization of User’s Behavior in Indoor Virtual Environments Through Interactive Heatmaps18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.600-609, ⟨10.1007/978-3-030-85613-7_38⟩
Conference papers
hal-04292345v1
|
||
|
VRQUEST: Designing and Evaluating a Virtual Reality System for Factory Training18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.300-305, ⟨10.1007/978-3-030-85607-6_26⟩
Conference papers
hal-04291214v1
|
||
|
Usability Evaluation of a VibroTactile API for Web-Based Virtual Reality Experiences18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.517-521, ⟨10.1007/978-3-030-85607-6_70⟩
Conference papers
hal-04291198v1
|
||
|
An Optimized Resilient Advance Bandwidth Scheduling for Media Delivery Services11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.79-93, ⟨10.1007/978-3-319-60774-0_6⟩
Conference papers
hal-01806052v1
|
||
|
A Network-Driven Multi-Access-Point Load-Balancing Algorithm for Large-Scale Public Hotspots9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.30-42, ⟨10.1007/978-3-319-20034-7_3⟩
Conference papers
hal-01410140v1
|
||
|
DecoTouch: Turning the Forehead as Input Surface for Head Mounted Display16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.481-484, ⟨10.1007/978-3-319-66715-7_68⟩
Conference papers
hal-01771274v1
|
||
|
Privacy-Preserving Scheduling Mechanism for eHealth Systems13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.198-200, ⟨10.1007/978-3-642-32805-3_18⟩
Conference papers
hal-01540885v1
|
||
|
Improving the Debate: Interface Elements that Enhance Civility and Relevance in Online News Comments18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.433-450, ⟨10.1007/978-3-030-85610-6_25⟩
Conference papers
hal-04215483v1
|
||
|
Secure Negotiation for Manual Authentication Protocols12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.214-221, ⟨10.1007/978-3-642-24712-5_20⟩
Conference papers
hal-01596202v1
|
||
|
Design and Evaluation of a Fall Prevention Multiplayer Game for Senior Care Centres17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.103-114, ⟨10.1007/978-3-319-99426-0_9⟩
Conference papers
hal-02128595v1
|
||
|
A Random Walk Approach to Modeling the Dynamics of the Blogosphere10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.294-306, ⟨10.1007/978-3-642-20757-0_23⟩
Conference papers
hal-01583405v1
|
||
|
Pushdown Automata and Constant Height: Decidability and Bounds21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.260-271, ⟨10.1007/978-3-030-23247-4_20⟩
Conference papers
hal-02387302v1
|
||
|
Descriptional Complexity of Formal SystemsSpringer International Publishing, LNCS-10316, 2017, Lecture Notes in Computer Science, 978-3-319-60251-6. ⟨10.1007/978-3-319-60252-3⟩
Books
hal-01656999v1
|
||
|
Designing with Dementia: Guidelines for Participatory Design together with Persons with Dementia14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.649-666, ⟨10.1007/978-3-642-40483-2_46⟩
Conference papers
hal-01497469v1
|