Filter your results
- 44
- 42
- 1
- 1
- 44
- 7
- 2
- 5
- 5
- 5
- 2
- 3
- 3
- 3
- 1
- 5
- 4
- 4
- 2
- 44
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 4
- 3
- 3
- 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
|
|
|
sorted by
|
|
|
Community-Centered, Project-Based ICT4D Education in the Field15th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2019, Dar es Salaam, Tanzania. pp.386-397, ⟨10.1007/978-3-030-19115-3_32⟩
Conference papers
hal-02281326v1
|
||
|
|
Model Checking MANETs with Arbitrary Mobility5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.217-232, ⟨10.1007/978-3-642-40213-5_14⟩
Conference papers
hal-01514658v1
|
||
|
|
Conceptualising Inventory Prepositioning in the Humanitarian Sector11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.149-156, ⟨10.1007/978-3-642-15961-9_17⟩
Conference papers
hal-01055999v1
|
||
|
|
Simulation-Based Performance Analysis of Channel-Based Coordination Models13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.187-201, ⟨10.1007/978-3-642-21464-6_13⟩
Conference papers
hal-01582989v1
|
||
|
|
Towards Decentralised Workflow Scheduling via a Rule-Driven Shared Space13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.187-192, ⟨10.1007/978-3-642-38541-4_16⟩
Conference papers
hal-01489457v1
|
||
|
|
An Adaptive Temporal-Causal Network Model for Stress Extinction Using Fluoxetine15th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), May 2019, Hersonissos, Greece. pp.107-119, ⟨10.1007/978-3-030-19823-7_8⟩
Conference papers
hal-02331346v1
|
||
|
|
Visualizing Information Retrieved from (Large) WHAT Networks17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.735-740, ⟨10.1007/978-3-030-29390-1_72⟩
Conference papers
hal-02878635v1
|
||
|
|
‘If Only I Would Have Done that…’: A Controlled Adaptive Network Model for Learning by Counterfactual Thinking17th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2021, Hersonissos, Crete, Greece. pp.3-16, ⟨10.1007/978-3-030-79150-6_1⟩
Conference papers
hal-03287691v1
|
||
|
|
VICINITY: A Pinch of Randomness Brings out the Structure14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.21-40, ⟨10.1007/978-3-642-45065-5_2⟩
Conference papers
hal-01480790v1
|
||
|
|
Cooperative Repair of Wireless Broadcasts11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.243-248, ⟨10.1007/978-3-642-21387-8_19⟩
Conference papers
hal-01583571v1
|
||
|
|
Creating Büchi Automata for Multi-valued Model Checking37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.210-224, ⟨10.1007/978-3-319-60225-7_15⟩
Conference papers
hal-01658422v1
|
||
|
|
Predicting Quality of Crowdsourced Annotations Using Graph Kernels9th IFIP International Conference on Trust Management (TM), May 2015, Hamburg, Germany. pp.134-148, ⟨10.1007/978-3-319-18491-3_10⟩
Conference papers
hal-01416219v1
|
||
|
|
Benchmarks for Parity Games6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.127-142, ⟨10.1007/978-3-319-24644-4_9⟩
Conference papers
hal-01446614v1
|
||
|
|
A Temporal-Causal Network Model for the Internal Processes of a Person with a Borderline Personality Disorder14th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), May 2018, Rhodes, Greece. pp.362-373, ⟨10.1007/978-3-319-92007-8_31⟩
Conference papers
hal-01821027v1
|
- 1
- 2