Filter your results
- 40
- 1
- 39
- 2
- 41
- 17
- 3
- 3
- 2
- 5
- 4
- 2
- 2
- 7
- 5
- 6
- 2
- 41
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 5
- 5
- 4
- 4
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Electronic GovernmentSpringer International Publishing, LNCS-12219, 2020, Lecture Notes in Computer Science, 978-3-030-57598-4. ⟨10.1007/978-3-030-57599-1⟩
Books
hal-03282761v1
|
||
|
|
Implementing Multiparty Session Types in Rust22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.127-136, ⟨10.1007/978-3-030-50029-0_8⟩
Conference papers
hal-03273998v1
|
||
|
|
What to Be Disclosed? Attributes of Online Games for the Market Transparency Policy12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.81-92, ⟨10.1007/978-3-030-58141-1_7⟩
Conference papers
hal-03201957v1
|
||
|
|
A Pilot Teaching Project, “Keeping Safe”, Exploring the Use of “Scratch 3” Computer Coding Files and Computer-Generated Music Files Created in “Sibelius”, to Support Young Adults with Language Learning Difficulties and Disabilities at Lambeth College, in South London1st International Conference on Sustainable ICT, Education, and Learning (SUZA), Apr 2019, Zanzibar, Tanzania. pp.45-54, ⟨10.1007/978-3-030-28764-1_7⟩
Conference papers
hal-02515749v1
|
||
|
|
Optimising e-Government Data Centre Operations to Minimise Energy Consumption: A Simulation-Based Analytical Approach18th International Conference on Electronic Government (EGOV), Sep 2019, San Benedetto del Tronto, Italy. pp.205-214, ⟨10.1007/978-3-030-27325-5_16⟩
Conference papers
hal-02445788v1
|
||
|
|
Electronic GovernmentSpringer International Publishing, LNCS-11685, 2019, Lecture Notes in Computer Science, 978-3-030-27324-8. ⟨10.1007/978-3-030-27325-5⟩
Books
hal-02445784v1
|
||
|
|
Understanding Public Healthcare Service Quality from Social Media17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.40-47, ⟨10.1007/978-3-319-98690-6_4⟩
Conference papers
hal-01961515v1
|
||
|
|
The Relationship Between Audit Committee Characteristics and the Level of Sustainability Report Disclosure17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.492-503, ⟨10.1007/978-3-030-02131-3_44⟩
Conference papers
hal-02274149v1
|
||
|
|
Constraint-Based Oracles for Timed Distributed Systems29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers
hal-01678964v1
|
||
|
|
Digitization and Preservation of Cultural Heritage Products14th IFIP International Conference on Product Lifecycle Management (PLM 2017), Jul 2017, Seville, Spain. pp.241-253, ⟨10.1007/978-3-319-72905-3_22⟩
Conference papers
hal-01764208v1
|
||
|
|
Modularising Opacity Verification for Hybrid Transactional Memory37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.33-49, ⟨10.1007/978-3-319-60225-7_3⟩
Conference papers
hal-01658416v1
|
||
|
|
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
|
||
|
|
Developing Criteria for Evaluating a Multi-channel Digitally Enabled Participatory Budgeting Platform9th International Conference on Electronic Participation (ePart), Sep 2017, St. Petersburg, Russia. pp.3-11, ⟨10.1007/978-3-319-64322-9_1⟩
Conference papers
hal-01703330v1
|
||
|
|
Controllability Through Nondeterminism in Distributed Testing28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.89-105, ⟨10.1007/978-3-319-47443-4_6⟩
Conference papers
hal-01643709v1
|
||
|
|
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.123-138, ⟨10.1007/978-3-319-47443-4_8⟩
Conference papers
hal-01643715v1
|
||
|
|
Opportunities and Challenges of Using Web 2.0 Technologies in Government15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.594-606, ⟨10.1007/978-3-319-45234-0_53⟩
Conference papers
hal-01702175v1
|
||
|
|
Social Media Strategies for Companies: A Comprehensive Framework15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.3-14, ⟨10.1007/978-3-319-45234-0_1⟩
Conference papers
hal-01702182v1
|
||
|
|
Comparing Local e-Government Websites in Canada and the UK14th International Conference on Electronic Government (EGOV), Aug 2015, Thessaloniki, Greece. pp.291-304, ⟨10.1007/978-3-319-22479-4_22⟩
Conference papers
hal-01412281v1
|
||
|
|
Open Data Platforms and Their Usability: Proposing a Framework for Evaluating Citizen Intentions14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.261-271, ⟨10.1007/978-3-319-25013-7_21⟩
Conference papers
hal-01448045v1
|
||
|
|
Promoting ICT Skills through Online Services: Case Study of Video Use for Adult Education in Municipalities10th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2014, Rhodes, Greece. pp.63-72, ⟨10.1007/978-3-662-44722-2_8⟩
Conference papers
hal-01391030v1
|
||
|
|
Identifying a Public Sector Information Systems (PSIS) for E-service: A Case of Land Records E-service in Bangladesh13th International Conference on Electronic Government (EGOV), Sep 2014, Dublin, Ireland. pp.106-119, ⟨10.1007/978-3-662-44426-9_9⟩
Conference papers
hal-01401731v1
|
||
|
|
Is It All Lost? A Study of Inactive Open Source Projects9th Open Source Software (OSS), Jun 2013, Koper-Capodistria, Slovenia. pp.61-79, ⟨10.1007/978-3-642-38928-3_5⟩
Conference papers
hal-01467582v1
|
||
|
|
A Framework of Reference for Evaluating User Experience When Using High Definition Video to Video to Facilitate Public ServicesInternationalWorking Conference on Transfer and Diffusion of IT (TDIT), Jun 2013, Bangalore, India. pp.436-450, ⟨10.1007/978-3-642-38862-0_27⟩
Conference papers
hal-01467795v1
|
||
|
|
Dynamic Spatial Positioning: Physical Collaboration around Interactive Table by Children in India14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.141-158, ⟨10.1007/978-3-642-40498-6_11⟩
Conference papers
hal-01510543v1
|
||
|
|
Designing an Information System for Updating Land Records in Bangladesh: Action Design Ethnographic Research (ADER)InternationalWorking Conference on Transfer and Diffusion of IT (TDIT), Jun 2013, Bangalore, India. pp.359-374, ⟨10.1007/978-3-642-38862-0_22⟩
Conference papers
hal-01467790v1
|
||
|
|
Green IT Logistics in a Greek Retailer: Grand Successes and Minor FailuresInternationalWorking Conference on Transfer and Diffusion of IT (TDIT), Jun 2013, Bangalore, India. pp.136-150, ⟨10.1007/978-3-642-38862-0_9⟩
Conference papers
hal-01467819v1
|
||
|
|
Passive Testing with Asynchronous Communications15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.99-113, ⟨10.1007/978-3-642-38592-6_8⟩
Conference papers
hal-01515240v1
|
||
|
|
Social Media and Government Responsiveness: The Case of the UK Food Standards Agency12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.310-321, ⟨10.1007/978-3-642-40358-3_26⟩
Conference papers
hal-01490916v1
|
||
|
|
Action Design Ethnographic Research (ADER): Vested Interest Networks and ICT Networks in Service Delivery of Land Records in BangladeshWorking COnference on Shaping the Future of ICT Research, Dec 2012, Tampa, FL, United States. pp.51-67, ⟨10.1007/978-3-642-35142-6_4⟩
Conference papers
hal-01515860v1
|
||
|
|
Utilizing a High Definition Live Video Platform to Facilitate Public Service Delivery8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.290-299, ⟨10.1007/978-3-642-33412-2_30⟩
Conference papers
hal-01523084v1
|
- 1
- 2