Filter your results
- 72
- 14
- 72
- 72
- 13
- 7
- 3
- 2
- 4
- 5
- 5
- 8
- 13
- 6
- 7
- 7
- 5
- 72
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 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
|
|
Empirical and Computational Issues of Microclimate Simulation2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.78-85, ⟨10.1007/978-3-642-55032-4_8⟩
Conference papers
hal-01397147v1
|
||
|
|
A Practical Tool-Chain for the Development of Coordination Scenarios23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.239-254, ⟨10.1007/978-3-030-78142-2_15⟩
Conference papers
hal-03387844v1
|
||
|
|
Contextual Array Grammars with Matrix and Regular Control18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.98-110, ⟨10.1007/978-3-319-41114-9_8⟩
Conference papers
hal-01633942v1
|
||
|
|
Agent-Based Methods for Simulation of Epidemics with a Low Number of Infected Persons2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.21-28, ⟨10.1007/978-3-642-55032-4_2⟩
Conference papers
hal-01397140v1
|
||
|
|
Automated Analysis of Underground Marketplaces10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.31-42, ⟨10.1007/978-3-662-44952-3_3⟩
Conference papers
hal-01393757v1
|
||
|
|
ZENse - Supporting Everyday Emotional Reflection15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.448-455, ⟨10.1007/978-3-319-22723-8_36⟩
Conference papers
hal-01610797v1
|
||
|
|
UIs Automatically Optimized for Your Smartphone13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.712-713, ⟨10.1007/978-3-642-23768-3_128⟩
Conference papers
hal-01597002v1
|
||
|
|
Efficient Computation of Generalized Ising Polynomials on Graphs with Fixed Clique-Width1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.135-146, ⟨10.1007/978-3-319-28678-5_10⟩
Conference papers
hal-01446257v1
|
||
|
|
Cover Complexity of Finite Languages20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.139-150, ⟨10.1007/978-3-319-94631-3_12⟩
Conference papers
hal-01905625v1
|
||
|
|
Tutorial: Parameterized Verification with Byzantine Model Checker40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.189-207, ⟨10.1007/978-3-030-50086-3_11⟩
Conference papers
hal-03283235v1
|
||
|
|
Current Advances, Trends and Challenges of Machine Learning and Knowledge Extraction: From Machine Learning to Explainable AI2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.1-8, ⟨10.1007/978-3-319-99740-7_1⟩
Conference papers
hal-02060058v1
|
||
|
|
How to Investigate Interaction with Information Visualisation: An Overview of Methodologies8th Workshop on Human-Computer Interaction and Visualization (HCIV), Sep 2011, Lisbon, Portugal. pp.17-29, ⟨10.1007/978-3-642-54894-9_3⟩
Conference papers
hal-01414649v1
|
||
|
|
Future Digital Challenges: Social-Emotional Skills as Critical Enablers for Good Technical Design Work18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.34-38, ⟨10.1007/978-3-030-85623-6_4⟩
Conference papers
hal-04329839v1
|
||
|
|
A Framework for Defect Prediction in Specific Software Project Contexts3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.261-274, ⟨10.1007/978-3-642-22386-0_20⟩
Conference papers
hal-01572547v1
|
||
|
|
Human Aspects of Visualization2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.1-9, ⟨10.1007/978-3-642-19641-6_1⟩
Conference papers
hal-01572647v1
|
||
|
|
Whom You Gonna Trust? A Longitudinal Study on TLS Notary Services30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.331-346, ⟨10.1007/978-3-319-41483-6_23⟩
Conference papers
hal-01633686v1
|
||
|
|
Time-Predictable Computing8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.23-34, ⟨10.1007/978-3-642-16256-5_5⟩
Conference papers
hal-01055379v1
|
||
|
|
Experience Report: Trading Dependability, Performance, and Security through Temporal Decoupling11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.228-242, ⟨10.1007/978-3-642-21387-8_18⟩
Conference papers
hal-01583575v1
|
||
|
|
Scenario-Based Requirements Engineering Facilitating Interaction Design13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.708-709, ⟨10.1007/978-3-642-23768-3_126⟩
Conference papers
hal-01596924v1
|
||
|
|
Mobile SIP: An Empirical Study on SIP Retransmission Timers in HSPA 3G Networks19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.78-89, ⟨10.1007/978-3-642-40552-5_8⟩
Conference papers
hal-01497039v1
|
||
|
|
A General Framework for Sequential Grammars with Control Mechanisms21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.1-34, ⟨10.1007/978-3-030-23247-4_1⟩
Conference papers
hal-02387286v1
|
||
|
|
A Case Study on Parametric Verification of Failure Detectors41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.138-156, ⟨10.1007/978-3-030-78089-0_8⟩
Conference papers
hal-03740258v1
|
||
|
|
A Context-Aware Mashup Integration Guideline for Enterprise 2.0International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.17-30, ⟨10.1007/978-3-642-32498-7_2⟩
Conference papers
hal-01542455v1
|
||
|
|
Quantifying Windows File Slack Size and Stability9th International Conference on Digital Forensics (DF), Jan 2013, Orlando, FL, United States. pp.183-193, ⟨10.1007/978-3-642-41148-9_13⟩
Conference papers
hal-01460605v1
|
||
|
|
Flexible Transactional Coordination in the Peer Model7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.116-131, ⟨10.1007/978-3-319-68972-2_8⟩
Conference papers
hal-01760850v1
|
||
|
|
Distributed Coordination Runtime Assertions for the Peer Model20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.200-219, ⟨10.1007/978-3-319-92408-3_9⟩
Conference papers
hal-01821497v1
|
||
|
|
Towards Fully Automated Digital Alibis with Social Interaction10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.297-307, ⟨10.1007/978-3-662-44952-3_20⟩
Conference papers
hal-01393786v1
|
||
|
|
A Core Ontology of Safety Risk Concepts6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.165-180, ⟨10.1007/978-3-319-44902-9_11⟩
Conference papers
hal-01647717v1
|
||
|
|
Decision Tree Rule Induction for Detecting Covert Timing Channels in TCP/IP Traffic1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.105-122, ⟨10.1007/978-3-319-66808-6_8⟩
Conference papers
hal-01677146v1
|
||
|
|
Complex Contexts and Subtle Actions: Design and Evaluation of a Virtual Coach for Utilitarian Cycling18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.125-146, ⟨10.1007/978-3-030-85607-6_9⟩
Conference papers
hal-04291259v1
|