Filter your results
- 120
- 3
- 1
- 118
- 5
- 1
- 123
- 5
- 1
- 18
- 7
- 16
- 5
- 7
- 5
- 13
- 11
- 14
- 11
- 13
- 4
- 124
- 17
- 7
- 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
- 11
- 11
- 9
- 9
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 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
|
Context-Aware Process Modelling for Medicinal Product Development14th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2021, Riga, Latvia. pp.168-183, ⟨10.1007/978-3-030-91279-6_12⟩
Conference papers
hal-04323850v1
|
||
|
Human-Centered Software Engineering for Changing Contexts of Use18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.548-552, ⟨10.1007/978-3-030-85607-6_75⟩
Conference papers
hal-04291201v1
|
||
|
Raya: A Tangible Exercise Buddy Reminding Oneself of the Commitment to Exercise18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.471-475, ⟨10.1007/978-3-030-85607-6_60⟩
Conference papers
hal-04291185v1
|
||
|
Design Students’ Challenges in Individual Brainstorming Using a Design Fiction Method18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.386-389, ⟨10.1007/978-3-030-85607-6_43⟩
Conference papers
hal-04291183v1
|
||
|
The Hubs: Design Insights for Walking Meeting Technology18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.610-629, ⟨10.1007/978-3-030-85610-6_35⟩
Conference papers
hal-04215504v1
|
||
|
Designing for a Convenient In-Car Passenger Experience: A Repertory Grid Study18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.117-139, ⟨10.1007/978-3-030-85616-8_9⟩
Conference papers
hal-04196871v1
|
||
|
Enterprise InteroperabilitySpringer, LNBIP-076, 2011, Lecture Notes in Business Information Processing, ⟨10.1007/978-3-642-19680-5⟩
Books
hal-01572092v1
|
||
|
That Sound’s Juicy! Exploring Juicy Audio Effects in Video Games20th International Conference on Entertainment Computing (ICEC), Nov 2021, Coimbra, Portugal. pp.319-335, ⟨10.1007/978-3-030-89394-1_24⟩
Conference papers
hal-04144377v1
|
||
|
Social Gaming Patterns During a Pandemic Crisis: A Cross-cultural Survey20th International Conference on Entertainment Computing (ICEC), Nov 2021, Coimbra, Portugal. pp.139-153, ⟨10.1007/978-3-030-89394-1_11⟩
Conference papers
hal-04144373v1
|
||
|
Fun to Enhance Learning, Motivation, Self-efficacy, and Intention to Play in DGBL20th International Conference on Entertainment Computing (ICEC), Nov 2021, Coimbra, Portugal. pp.28-45, ⟨10.1007/978-3-030-89394-1_3⟩
Conference papers
hal-04144362v1
|
||
|
An Introduction to ChemiKami AR20th International Conference on Entertainment Computing (ICEC), Nov 2021, Coimbra, Portugal. pp.521-526, ⟨10.1007/978-3-030-89394-1_48⟩
Conference papers
hal-04144359v1
|
||
|
Term Rewriting on GPUs9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.175-189, ⟨10.1007/978-3-030-89247-0_12⟩
Conference papers
hal-04074530v1
|
||
|
Deadlock in Packet Switching Networks9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.127-141, ⟨10.1007/978-3-030-89247-0_9⟩
Conference papers
hal-04074517v1
|
||
|
Impact of Failure Rate Uncertainties on the Implementation of Additive Manufacturing in Spare Parts Supply ChainsIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.291-299, ⟨10.1007/978-3-030-85914-5_31⟩
Conference papers
hal-03897850v1
|
||
|
Correction to: Verifying System-Wide Properties of Industrial Component-Based Software8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.C1-C1, ⟨10.1007/978-3-030-31517-7_18⟩
Conference papers
hal-03769134v1
|
||
|
Active Learning of Industrial Software with Data8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.95-110, ⟨10.1007/978-3-030-31517-7_7⟩
Conference papers
hal-03769114v1
|
||
|
Verifying System-Wide Properties of Industrial Component-Based Software8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.158-175, ⟨10.1007/978-3-030-31517-7_11⟩
Conference papers
hal-03769112v1
|
||
|
Facilitating GDPR Compliance: The H2020 BPR4GDPR Approach18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.72-78, ⟨10.1007/978-3-030-39634-3_7⟩
Conference papers
hal-03759115v1
|
||
|
Formal Techniques for Distributed Objects, Components, and SystemsSpringer International Publishing, LNCS-12719, 2021, Lecture Notes in Computer Science, 978-3-030-78088-3. ⟨10.1007/978-3-030-78089-0⟩
Books
hal-03740268v1
|
||
|
A Formalisation of SysML State Machines in mCRL241th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.42-59, ⟨10.1007/978-3-030-78089-0_3⟩
Conference papers
hal-03740264v1
|
||
|
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.182-187, ⟨10.1007/978-3-030-78089-0_11⟩
Conference papers
hal-03740262v1
|
||
|
Not a Free Lunch, But a Cheap One: On Classifiers Performance on Anonymized Datasets35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.237-258, ⟨10.1007/978-3-030-81242-3_14⟩
Conference papers
hal-03677025v1
|
||
|
Designing a VR Experience to Reduce the Experience of Pain: Scare, Excite or Relax?1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.97-110, ⟨10.1007/978-3-030-34644-7_8⟩
Conference papers
hal-03652056v1
|
||
|
Entertainment Computing and Serious GamesSpringer International Publishing, LNCS-11863, 2019, Lecture Notes in Computer Science, 978-3-030-34643-0. ⟨10.1007/978-3-030-34644-7⟩
Books
hal-03652053v1
|
||
|
Identification of Service Platform Requirements from Value Propositions: A Service Systems Engineering Method22nd Working Conference on Virtual Enterprises (PRO-VE 2021), Nov 2021, Saint-Etienne, France. pp.311-322, ⟨10.1007/978-3-030-85969-5_28⟩
Conference papers
emse-03339298v1
|
||
|
A Matter of Life and Death: Analyzing the Security of Healthcare Networks35th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2020, Maribor, Slovenia. pp.355-369, ⟨10.1007/978-3-030-58201-2_24⟩
Conference papers
hal-03440820v1
|
||
|
Human-Centered Software EngineeringSpringer International Publishing, LNCS-12481, 2020, Lecture Notes in Computer Science, 978-3-030-64265-5. ⟨10.1007/978-3-030-64266-2⟩
Books
hal-03250485v1
|
||
|
Predictive Analytics to Prevent Voice over IP International Revenue Sharing Fraud34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.241-260, ⟨10.1007/978-3-030-49669-2_14⟩
Conference papers
hal-03243633v1
|
||
|
Social Media – A Systemic Change PerspectiveLeon Strous; Roger Johnson; David Alan Grier; Doron Swade. Unimagined Futures – ICT Opportunities and Challenges :, AICT-555, Springer International Publishing, pp.119-128, 2020, IFIP Advances in Information and Communication Technology, 978-3-030-64245-7. ⟨10.1007/978-3-030-64246-4_10⟩
Book sections
hal-03194546v1
|
||
|
Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.84-96, ⟨10.1007/978-3-030-46540-7_9⟩
Conference papers
hal-03188820v1
|