Filter your results
- 55
- 55
- 55
- 1
- 55
- 388
- 55
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
User Evaluations of Virtually Experiencing Mount Everest7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.294-307, ⟨10.1007/978-3-030-05909-5_18⟩
Conference papers
hal-02270721v1
|
||
|
Usability Evaluation of Model-Driven Cross-Device Web User Interfaces7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.231-247, ⟨10.1007/978-3-030-05909-5_14⟩
Conference papers
hal-02270698v1
|
||
|
Universally Designed Beacon-Assisted Indoor Navigation for Emergency Evacuations3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.120-129, ⟨10.1007/978-3-030-32169-7_9⟩
Conference papers
hal-02799287v1
|
||
|
Tweeting About Floods of Messinia (Greece, September 2016) - Towards a Credible Methodology for Disaster Management Purposes3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.142-154, ⟨10.1007/978-3-030-32169-7_11⟩
Conference papers
hal-02799279v1
|
||
|
Towards Tool-Support for Robot-Assisted Product Creation in Fab Labs7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.219-230, ⟨10.1007/978-3-030-05909-5_13⟩
Conference papers
hal-02270719v1
|
||
|
Towards a Model to Address the Interplay Between IoT Applications and Users in Complex Heterogeneous Contexts7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.283-293, ⟨10.1007/978-3-030-05909-5_17⟩
Conference papers
hal-02270705v1
|
||
|
Term Charters24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.119-138, ⟨10.1007/978-3-030-23220-7_7⟩
Conference papers
hal-02364571v1
|
||
|
Structuring Theories with Implicit Morphisms24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.154-173, ⟨10.1007/978-3-030-23220-7_9⟩
Conference papers
hal-02364570v1
|
||
|
Strategy of Effective Decision-Making in Planning and Elimination of Consequences of Emergency Situations3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.66-75, ⟨10.1007/978-3-030-32169-7_6⟩
Conference papers
hal-02799290v1
|
||
|
Software Support for Coherent Prototyping of 3D Gesture Interactions7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.207-218, ⟨10.1007/978-3-030-05909-5_12⟩
Conference papers
hal-02270720v1
|
||
|
Secure Outsourcing in Discrete-Logarithm-Based and Pairing-Based Cryptography (Invited Talk)12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.7-11, ⟨10.1007/978-3-030-20074-9_2⟩
Conference papers
hal-02294605v1
|
||
|
Role-Based Development of Dynamically Evolving Esembles24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-23220-7_1⟩
Conference papers
hal-02364578v1
|
||
|
Remote Credential Management with Mutual Attestation for Trusted Execution Environments12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.157-173, ⟨10.1007/978-3-030-20074-9_12⟩
Conference papers
hal-02294612v1
|
||
|
Recovery Watcher: A Disaster Communication System for Situation Awareness and Its Use for Barrier-Free Information Provision3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.1-11, ⟨10.1007/978-3-030-32169-7_1⟩
Conference papers
hal-02799294v1
|
||
|
Real-Time Tornado Forecasting Using SLHGN3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.97-119, ⟨10.1007/978-3-030-32169-7_8⟩
Conference papers
hal-02799277v1
|
||
|
Rationalizing the Need of Architecture-Driven Testing of Interactive Systems7th International Working Conference on Human-Centered Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.164-186, ⟨10.1007/978-3-030-05909-5_10⟩
Conference papers
hal-02089262v1
|
||
|
Preparing a Smart Environment to Decision-Making in Emergency Traffic Control Management3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.12-21, ⟨10.1007/978-3-030-32169-7_2⟩
Conference papers
hal-02799281v1
|
||
|
Prediction-Based Intrusion Detection System for In-Vehicle Networks Using Supervised Learning and Outlier-Detection12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.109-128, ⟨10.1007/978-3-030-20074-9_9⟩
Conference papers
hal-02294610v1
|
||
|
Participatory Ideation for Gamification: Bringing the User at the Heart of the Gamification Design Process7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.51-61, ⟨10.1007/978-3-030-05909-5_4⟩
Conference papers
hal-02270710v1
|
||
|
Parameterized Strategies Specification in Maude24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩
Conference papers
hal-02364577v1
|
||
|
Organizational Features in Disaster Risk Management Systems3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.155-174, ⟨10.1007/978-3-030-32169-7_12⟩
Conference papers
hal-02799291v1
|
||
|
On the Non-repudiation of Isogeny Based Signature Scheme12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.63-77, ⟨10.1007/978-3-030-20074-9_6⟩
Conference papers
hal-02294595v1
|
||
|
MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.109-129, ⟨10.1007/978-3-030-05909-5_7⟩
Conference papers
hal-02270703v1
|
||
|
Micro Failure Region Models Inducing Massive Correlated Failures on Networks Topologies3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.130-141, ⟨10.1007/978-3-030-32169-7_10⟩
Conference papers
hal-02799283v1
|
||
|
Linear Depth Integer-Wise Homomorphic Division12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.91-106, ⟨10.1007/978-3-030-20074-9_8⟩
Conference papers
hal-02294597v1
|
||
|
Intuitive User-Centered Interaction Design for ATV7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.335-342, ⟨10.1007/978-3-030-05909-5_22⟩
Conference papers
hal-02270712v1
|
||
|
Institutions for SQL Database Schemas and Datasets24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.67-86, ⟨10.1007/978-3-030-23220-7_4⟩
Conference papers
hal-02364575v1
|
||
|
Helping Teams to Help Themselves: An Industrial Case Study on Interdependencies During Sprints7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.31-50, ⟨10.1007/978-3-030-05909-5_3⟩
Conference papers
hal-02270699v1
|
||
|
Get Realistic! - UCD Course Design and Evaluation7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.15-30, ⟨10.1007/978-3-030-05909-5_2⟩
Conference papers
hal-02270704v1
|
||
|
Geological – Geomorphological Features of River Catchments in Flood Susceptibility Assessment (on the Example of Middle Struma Valley, Bulgaria)3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.76-96, ⟨10.1007/978-3-030-32169-7_7⟩
Conference papers
hal-02799288v1
|
- 1
- 2