Filter your results
- 5
- 1
- 6
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 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
|
|
On the Computational Complexity of the Freezing Non-strict Majority Automata23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.109-119, ⟨10.1007/978-3-319-58631-1_9⟩
Conference papers
hal-01656355v1
|
||
|
GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation34th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (also known as DBSEC), Jun 2020, Conférence online, Germany. pp.347-366, ⟨10.1007/978-3-030-49669-2_20⟩
Conference papers
hal-02544920v1
|
||
|
Towards a Maintenance and Servicing IndicatorInternational Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.113-120, ⟨10.1007/978-3-642-16358-6_15⟩
Conference papers
hal-01055862v1
|
||
|
Practical and Privacy-Preserving TEE Migration9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Greece. pp.153-168, ⟨10.1007/978-3-319-24018-3_10⟩
Conference papers
hal-01183508v1
|
||
|
A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes7th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2017, Neuchâtel, Switzerland. pp.89-104, ⟨10.1007/978-3-030-11638-5_5⟩
Conference papers
hal-01944569v1
|
||
|
A Study on Self-adaptation in the Evolutionary Strategy Algorithm6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.150-160, ⟨10.1007/978-3-319-89743-1_14⟩
Conference papers
hal-01913901v1
|