Filter your results
- 5
- 3
- 5
- 3
- 8
- 8
- 7
- 4
- 3
- 5
- 6
- 9
- 16
- 6
- 8
- 8
- 6
- 8
- 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
|
|
sorted by
|
|
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
|
||
|
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
|
||
|
Service-Oriented and Cloud ComputingSpringer International Publishing, LNCS-9846, 2016, Lecture Notes in Computer Science, 978-3-319-44481-9. ⟨10.1007/978-3-319-44482-6⟩
Books
hal-01638600v1
|
||
|
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
|
||
|
Metry Mouse Missions: An Interactive, Geometric Obstacle Course of Daredevil Proportions15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.201-204, ⟨10.1007/978-3-319-46100-7_17⟩
Conference papers
hal-01640277v1
|
||
|
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
|
||
|
Entertainment Computing - ICEC 2016Springer International Publishing, LNCS-9926, 2016, Lecture Notes in Computer Science, 978-3-319-46099-4. ⟨10.1007/978-3-319-46100-7⟩
Books
hal-01640278v1
|
||
|
Availability, Reliability, and Security in Information SystemsSpringer International Publishing, LNCS-9817, 2016, Lecture Notes in Computer Science, 978-3-319-45506-8. ⟨10.1007/978-3-319-45507-5⟩
Books
hal-01635010v1
|