Filter your results
- 26
- 26
- 26
- 2
- 4
- 5
- 7
- 2
- 1
- 1
- 2
- 1
- 3
- 26
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 3
- 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
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
The Potential of Open Science for Research Visibility in the Global South: Rwandan Librarians’ Perspectives16th International Conference on Social Implications of Computers in Developing Countries (ICT4D), Jun 2020, Manchester, United Kingdom. pp.41-53, ⟨10.1007/978-3-030-65828-1_4⟩
Conference papers
hal-03272518v1
|
||
|
|
IS Research Theoretical Foundation: Theories Used and the Future Path13th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Dec 2019, Prague, Czech Republic. pp.24-39, ⟨10.1007/978-3-030-37632-1_3⟩
Conference papers
hal-03408373v1
|
||
|
|
Embracing uMunthu: How Informal Caregivers in Malawi Use ICTs16th International Conference on Social Implications of Computers in Developing Countries (ICT4D), Jun 2020, Manchester, United Kingdom. pp.93-101, ⟨10.1007/978-3-030-65828-1_8⟩
Conference papers
hal-03272536v1
|
||
|
|
Decolonising Neo-Liberal Innovation: Using the Andean Philosophy of ‘Buen Vivir’ to Reimagine Innovation Hubs15th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2019, Dar es Salaam, Tanzania. pp.180-191, ⟨10.1007/978-3-030-19115-3_15⟩
Conference papers
hal-02281295v1
|
||
|
|
BIM as a Boundary Object in Construction Projects: A Knowledge-as-Practice Perspective20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.371-382, ⟨10.1007/978-3-030-85447-8_32⟩
Conference papers
hal-03648167v1
|
||
|
|
Perceptions of Rwanda’s Research Environment in the Context of Digitalization: Reflections on Deficit DiscoursesIFIP Joint Working Conference on the Future of Digital Work: The Challenge of Inequality (IFIPJWC), Dec 2020, Hyderabad, India. pp.50-64, ⟨10.1007/978-3-030-64697-4_6⟩
Conference papers
hal-03450716v1
|
||
|
|
The Contributions of WhatsApp to Social Inclusion: A Case of Internally Displaced Persons in Nigeria15th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2019, Dar es Salaam, Tanzania. pp.414-424, ⟨10.1007/978-3-030-18400-1_34⟩
Conference papers
hal-02285244v1
|
||
|
|
Knowledge Sharing in eCollaboration9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.351-362, ⟨10.1007/978-3-642-14799-9_30⟩
Conference papers
hal-01059195v1
|
||
|
|
User's Satisfaction of Kuwait E-Government Portal; Organization of Information in ParticularJoint IFIP TC 8 and TC 6 International Conferences on E-Government, E-Services and Global Processes (EGES) / Global Information Systems Processes (GISP), / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.201-209, ⟨10.1007/978-3-642-15346-4_16⟩
Conference papers
hal-01061267v1
|
||
|
|
Walking in the Wild – Using an Always-On Smartphone Application to Increase Physical Activity14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.19-36, ⟨10.1007/978-3-642-40498-6_2⟩
Conference papers
hal-01510527v1
|
||
|
|
ICT-Based Inter-organisational Knowledge Exchange: A Narrative Literature Review Approach20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.411-422, ⟨10.1007/978-3-030-85447-8_35⟩
Conference papers
hal-03648131v1
|
||
|
|
An Observational Approach to Defining Linearizability on Weak Memory Models37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.108-123, ⟨10.1007/978-3-319-60225-7_8⟩
Conference papers
hal-01658421v1
|
||
|
|
Perceptions of Students for a Gamification Approach: Cities Skylines as a Pedagogical Tool in Urban Planning Education20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.763-773, ⟨10.1007/978-3-030-85447-8_64⟩
Conference papers
hal-03648157v1
|
||
|
|
Investigating the Implementation of ICT Tool to Electoral Process in Nigeria15th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2019, Dar es Salaam, Tanzania. pp.181-191, ⟨10.1007/978-3-030-18400-1_15⟩
Conference papers
hal-02285316v1
|
||
|
|
Student’s Acceptance of Learning Management Systems: A Case Study of the National Open University of Nigeria1st International Conference on Sustainable ICT, Education, and Learning (SUZA), Apr 2019, Zanzibar, Tanzania. pp.245-255, ⟨10.1007/978-3-030-28764-1_27⟩
Conference papers
hal-02515748v1
|
||
|
|
Conformance-Based Doping Detection for Cyber-Physical Systems40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.59-77, ⟨10.1007/978-3-030-50086-3_4⟩
Conference papers
hal-03283236v1
|
||
|
|
A Mechanised Proof of an Adaptive State Counting Algorithm31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.176-193, ⟨10.1007/978-3-030-31280-0_11⟩
Conference papers
hal-02526349v1
|
||
|
|
Increasing Functional Coverage by Inductive Testing: A Case Study22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.126-141, ⟨10.1007/978-3-642-16573-3_10⟩
Conference papers
hal-01055254v1
|
||
|
|
Proving Opacity via Linearizability: A Sound and Complete Method37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.50-66, ⟨10.1007/978-3-319-60225-7_4⟩
Conference papers
hal-01658425v1
|
||
|
|
mu2: A Refactoring-Based Mutation Testing Framework for Erlang27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.178-193, ⟨10.1007/978-3-319-25945-1_11⟩
Conference papers
hal-01470148v1
|
||
|
|
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.39-58, ⟨10.1007/978-3-030-50086-3_3⟩
Conference papers
hal-03283234v1
|
||
|
|
Public Expectations of Social Media Use by Critical Infrastructure Operators During Crises: Lessons Learned from France2nd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2017, Sofia, Bulgaria. pp.177-189, ⟨10.1007/978-3-030-18293-9_15⟩
Conference papers
hal-02280327v1
|
||
|
|
High-Load Titanium Drilling Using an Accurate Robotic Machining System9th International Precision Assembly Seminar (IPAS), Dec 2020, Held virtually, Unknown Region. pp.140-152, ⟨10.1007/978-3-030-72632-4_10⟩
Conference papers
hal-03520395v1
|
||
|
|
Using Behaviour Inference to Optimise Regression Test Sets24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.184-199, ⟨10.1007/978-3-642-34691-0_14⟩
Conference papers
hal-01482401v1
|
||
|
|
A Mahalanobis Distance Based Approach towards the Reliable Detection of Geriatric Depression Symptoms Co-existing with Cognitive Decline8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.16-25, ⟨10.1007/978-3-642-33412-2_2⟩
Conference papers
hal-01523073v1
|
||
|
|
Relational Concurrent Refinement: Timed Refinement13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.121-137, ⟨10.1007/978-3-642-21461-5_8⟩
Conference papers
hal-01583329v1
|