Filter your results
- 27
- 1
- 26
- 1
- 27
- 11
- 3
- 2
- 2
- 4
- 4
- 2
- 1
- 3
- 2
- 3
- 1
- 27
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 3
- 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
|
|
|
sorted by
|
|
|
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
|
||
|
|
An Overview Assessment of ePetitioning Tools in the English Local Government3rd Electronic Participation (ePart), Aug 2011, Delft, Netherlands. pp.204-215, ⟨10.1007/978-3-642-23333-3_18⟩
Conference papers
hal-01589380v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
A Framework for Evaluating Citizens’ Expectations and Satisfaction toward Continued Intention to Use E-Government Services11th International Conference on Electronic Government (EGOV), Sep 2012, Kristiansand, Norway. pp.273-286, ⟨10.1007/978-3-642-33489-4_23⟩
Conference papers
hal-01543576v1
|
||
|
|
5 Days in August" – How London Local Authorities Used Twitter during the 2011 Riots11th International Conference on Electronic Government (EGOV), Sep 2012, Kristiansand, Norway. pp.102-113, ⟨10.1007/978-3-642-33489-4_9⟩
Conference papers
hal-01543586v1
|
||
|
|
The Relative Importance of Intermediaries in eGovernment Adoption: A Study of Saudi Arabia10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.62-74, ⟨10.1007/978-3-642-22878-0_6⟩
Conference papers
hal-01589079v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Testing Probabilistic Distributed SystemsJoint 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.63-77, ⟨10.1007/978-3-642-13464-7_6⟩
Conference papers
hal-01055146v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Conformance Relations for Distributed Testing Based on CSP23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.48-63, ⟨10.1007/978-3-642-24580-0_5⟩
Conference papers
hal-01583923v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|