Filter your results
- 7
- 1
- 8
- 8
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 8
- 5
- 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
|
|
|
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
|
||
|
|
Infimal Convolution Regularisation Functionals of $$\mathrm {BV}$$ and $$\mathrm {L}^{p}$$ Spaces. The Case $$p=\infty $$27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.169-179, ⟨10.1007/978-3-319-55795-3_15⟩
Conference papers
hal-01626892v1
|
||
|
|
Exact discretization of 3-speed rational signal machines22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.63-76, ⟨10.1007/978-3-319-39300-1_6⟩
Conference papers
hal-01298378v1
|
||
|
|
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
|
||
|
|
Adaptive sales & operations planning: Innovative concept for manufacturing collaborative decisions?19th Working Conference on Virtual Enterprises (PRO-VE), Sep 2018, Cardiff, United Kingdom. p.362-374, ⟨10.1007/978-3-319-99127-6_31⟩
Conference papers
hal-01885026v1
|
||
|
|
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
|