Filter your results
- 86
- 84
- 1
- 1
- 85
- 4
- 1
- 1
- 14
- 3
- 13
- 11
- 5
- 8
- 7
- 5
- 10
- 2
- 4
- 4
- 86
- 6
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 7
- 7
- 7
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
Transforming a Supply Chain Towards a Digital Business EcosystemIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2017, Hamburg, Germany. pp.295-301, ⟨10.1007/978-3-319-66926-7_34⟩
Conference papers
hal-01707265v1
|
||
|
|
Exploiting Event Log Event Attributes in RNN Based Prediction8th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2018, Seville, Spain. pp.67-85, ⟨10.1007/978-3-030-46633-6_4⟩
Conference papers
hal-03188627v1
|
||
|
|
Using Buffer Space Advertisements to Avoid Congestion in Mobile Opportunistic DTNs9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.386-397, ⟨10.1007/978-3-642-21560-5_32⟩
Conference papers
hal-01583643v1
|
||
|
|
Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. pp.37-45, ⟨10.1007/978-3-319-31165-4_4⟩
Conference papers
hal-01438280v1
|
||
|
|
Decentralised Coordination of Intelligent Autonomous Batteries7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. pp.425-433, ⟨10.1007/978-3-319-31165-4_40⟩
Conference papers
hal-01438270v1
|
||
|
|
Improving the Language of Designing for Ageing18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.405-425, ⟨10.1007/978-3-030-85616-8_24⟩
Conference papers
hal-04196836v1
|
||
|
|
Focus, Structure, Reflection! Integrating User-Centred Design and Design Sprint18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.239-258, ⟨10.1007/978-3-030-85616-8_15⟩
Conference papers
hal-04196894v1
|
||
|
|
Ability-Based Optimization: Designing Smartphone Text Entry Interface for Older Adults16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.326-331, ⟨10.1007/978-3-319-68059-0_22⟩
Conference papers
hal-01679821v1
|
||
|
|
User Experiences and Wellbeing at Work17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.754-758, ⟨10.1007/978-3-030-29390-1_75⟩
Conference papers
hal-02878656v1
|
||
|
|
Information-Entropy-Based DNS Tunnel Prediction14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.127-140, ⟨10.1007/978-3-319-99277-8_8⟩
Conference papers
hal-01988835v1
|
||
|
|
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle37th 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
|
||
|
|
Heat Recovery Unit Failure Detection in Air Handling UnitIFIP International Conference on Advances in Production Management Systems (APMS), Aug 2018, Seoul, South Korea. pp.343-350, ⟨10.1007/978-3-319-99707-0_43⟩
Conference papers
hal-02177899v1
|
||
|
|
Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.84-100, ⟨10.1007/978-3-642-30793-5_6⟩
Conference papers
hal-01528739v1
|
||
|
|
How HCI Interprets Service Design: A Systematic Literature Review18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.259-280, ⟨10.1007/978-3-030-85616-8_16⟩
Conference papers
hal-04196840v1
|
||
|
|
Understanding the Role of Physical and Digital Techniques in the Initial Design Processes of Architecture18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.312-329, ⟨10.1007/978-3-030-85616-8_19⟩
Conference papers
hal-04196860v1
|
||
|
|
Designing for Aging People17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.719-724, ⟨10.1007/978-3-030-29390-1_69⟩
Conference papers
hal-02878650v1
|
||
|
|
The Contracting of Advanced Services Based on Digitally-Enabled Product-Service SystemsIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.228-237, ⟨10.1007/978-3-030-85902-2_25⟩
Conference papers
hal-04117669v1
|
||
|
|
User Experience in an Automated World17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.706-710, ⟨10.1007/978-3-030-29390-1_67⟩
Conference papers
hal-02878649v1
|
||
|
|
Directing and Combining Multiple Queries for Exploratory Search by Visual Interactive Intent Modeling18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.514-535, ⟨10.1007/978-3-030-85613-7_34⟩
Conference papers
hal-04292383v1
|
||
|
|
InBookModE: An Interactive Book and Model Environment to Link BIM and AEC Education15th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2018, Turin, Italy. pp.93-103, ⟨10.1007/978-3-030-01614-2_9⟩
Conference papers
hal-02075575v1
|
||
|
|
It AIn’t Nuttin’ New – Interaction Design Practice After the AI Hype17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.600-604, ⟨10.1007/978-3-030-29390-1_45⟩
Conference papers
hal-02878643v1
|
||
|
|
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. pp.73-81, ⟨10.1007/978-3-319-16766-4_8⟩
Conference papers
hal-01343467v1
|
||
|
|
Maintenance of Facilities and Aircrafts: A Comparison of IT-Driven Solutions11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.11-20, ⟨10.1007/978-3-662-45937-9_2⟩
Conference papers
hal-01386471v1
|
||
|
|
Similar Concepts, Distinct Solutions, Common Problems: Learning from PLM and BIM Deployment11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.31-40, ⟨10.1007/978-3-662-45937-9_4⟩
Conference papers
hal-01386473v1
|
||
|
|
Multi-party Private Set Operations with an External Decider35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.117-135, ⟨10.1007/978-3-030-81242-3_7⟩
Conference papers
hal-03677026v1
|
||
|
|
Towards Continuous Collaboration on Civic Tech Projects: Use Cases of a Goal Sharing System Based on Linked Open Data7th International Conference on Electronic Participation (ePart), Aug 2015, Thessaloniki, Greece. pp.81-92, ⟨10.1007/978-3-319-22500-5_7⟩
Conference papers
hal-01587631v1
|