Filter your results
- 52
- 52
- 52
- 12
- 20
- 7
- 9
- 9
- 2
- 5
- 5
- 2
- 4
- 6
- 1
- 1
- 1
- 52
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Interactive Simulation of DNA Structure for Mobile-Learning19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.176-187, ⟨10.1007/978-3-030-65736-9_16⟩
Conference papers
hal-03686019v1
|
||
|
|
Digital Therapies17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.266-273, ⟨10.1007/978-3-319-99426-0_28⟩
Conference papers
hal-02128624v1
|
||
|
|
The Role of Big Data in Addressing Societal Challenges: A Systematic Mapping Study18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.151-163, ⟨10.1007/978-3-030-29374-1_13⟩
Conference papers
hal-02510114v1
|
||
|
|
Supporting Transformations across User Interface Descriptions at Various Abstraction Levels13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.608-611, ⟨10.1007/978-3-642-23768-3_94⟩
Conference papers
hal-01597015v1
|
||
|
|
Structural Requirements for Digital Transformation – Insights from German Enterprises18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.718-729, ⟨10.1007/978-3-030-29374-1_58⟩
Conference papers
hal-02510117v1
|
||
|
|
PLACE_SUBST Transformation of P/T Petri Process Nets and Its Properties15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.504-515, ⟨10.1007/978-3-319-45378-1_45⟩
Conference papers
hal-01637481v1
|
||
|
|
Transformation Systems with Incremental Negative Application Conditions21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.127-142, ⟨10.1007/978-3-642-37635-1_8⟩
Conference papers
hal-01485982v1
|
||
|
|
Social Influence Scale for Technology Design and Transformation17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.561-577, ⟨10.1007/978-3-030-29387-1_33⟩
Conference papers
hal-02553864v1
|
||
|
|
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.66-80, ⟨10.1007/978-3-319-19195-9_5⟩
Conference papers
hal-01767328v1
|
||
|
|
A Trustable and Interoperable Decentralized Solution for Citizen-Centric and Cross-Border eGovernance: A Conceptual Approach20th International Conference on Electronic Government (EGOV), Sep 2021, Granada, Spain. pp.259-270, ⟨10.1007/978-3-030-84789-0_19⟩
Conference papers
hal-04175106v1
|
||
|
|
Chief Digital Officers as Protagonists in Digital Transformation18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.730-737, ⟨10.1007/978-3-030-29374-1_59⟩
Conference papers
hal-02510143v1
|
||
|
|
formic: Building Collaborative Applications with Operational Transformation17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.138-145, ⟨10.1007/978-3-319-59665-5_10⟩
Conference papers
hal-01800125v1
|
||
|
|
New Wine in Old Bottles: Chatbots in Government11th International Conference on Electronic Participation (ePart), Sep 2019, San Benedetto Del Tronto, Italy. pp.49-59, ⟨10.1007/978-3-030-27397-2_5⟩
Conference papers
hal-02446018v1
|
||
|
|
Opportunities of Big Data Tools in Smart Energy Systems3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2017, Essen, Germany. pp.161-177, ⟨10.1007/978-3-319-66553-5_12⟩
Conference papers
hal-01691200v1
|
||
|
|
Understanding the Social Implications of the Digital Transformation: Insights from Four Case Studies on the Role of Social Innovation to Foster Resilience of Society10th International Conference on Electronic Participation (ePart), Sep 2018, Krems, Austria. pp.145-156, ⟨10.1007/978-3-319-98578-7_12⟩
Conference papers
hal-01985603v1
|
||
|
|
Digital Transformation of Software Development: Implications for the Future of Work20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.609-621, ⟨10.1007/978-3-030-85447-8_50⟩
Conference papers
hal-03648122v1
|
||
|
|
Learning of Art Style Using AI and Its Evaluation Based on Psychological Experiments19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.308-316, ⟨10.1007/978-3-030-65736-9_28⟩
Conference papers
hal-03686030v1
|
||
|
|
Bounded Model Checking of Graph Transformation Systems via SMT Solving15th 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.178-192, ⟨10.1007/978-3-642-38592-6_13⟩
Conference papers
hal-01515236v1
|
||
|
|
Digital Transformation in the Context of the Open Government Partnership12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.69-80, ⟨10.1007/978-3-030-58141-1_6⟩
Conference papers
hal-03201955v1
|
||
|
|
Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-23220-7_8⟩
Conference papers
hal-02364576v1
|
||
|
|
Social Media and the Digital Enterprise17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.701-705, ⟨10.1007/978-3-030-29390-1_66⟩
Conference papers
hal-02878624v1
|
||
|
|
Weaving Aspects and Business Processes through Model Transformation3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.47-61, ⟨10.1007/978-3-662-44879-3_4⟩
Conference papers
hal-01318272v1
|
||
|
|
Transformation of Digital Ecosystems: The Case of Digital Payments2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.46-55, ⟨10.1007/978-3-642-55032-4_5⟩
Conference papers
hal-01397143v1
|
||
|
|
Advanced Approach to Future Service Development19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.233-244, ⟨10.1007/978-3-642-40552-5_21⟩
Conference papers
hal-01497020v1
|
||
|
|
Digital Transformation Within the Emobility Market–Learnings and Insights from Early Market Development3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2016, Essen, Germany. pp.23-42, ⟨10.1007/978-3-319-66553-5_2⟩
Conference papers
hal-01691203v1
|
||
|
|
A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.164-178, ⟨10.1007/978-3-662-44602-7_14⟩
Conference papers
hal-01402040v1
|
||
|
|
Linking Telecom Service High-level Abstract Models to Simulators based on Model Transformations: The IMS Case Study18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.100-111, ⟨10.1007/978-3-642-32808-4_10⟩
Conference papers
hal-00739604v1
|
||
|
|
Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.30-41, ⟨10.1007/978-3-319-44902-9_3⟩
Conference papers
hal-01647719v1
|
||
|
|
Future Energy Systems – Autonomous Control, Self-sufficient Energy Infrastructures and Big Data3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2016, Essen, Germany. pp.3-22, ⟨10.1007/978-3-319-66553-5_1⟩
Conference papers
hal-01691204v1
|
||
|
|
Digital Transformation Initiatives in Public Administration During the Covid-19 Pandemic in Brazil: Unveiling Challenges and Opportunities20th International Conference on Electronic Government (EGOV), Sep 2021, Granada, Spain. pp.16-28, ⟨10.1007/978-3-030-84789-0_2⟩
Conference papers
hal-04175094v1
|
- 1
- 2