Filter your results
- 3
- 2
- 1
- 3
- 3
- 2
- 3
- 3
- 2
- 3
- 6
- 2
- 1
- 6
- 1
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Faster Linearizability Checking via P-Compositionality35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.50-65, ⟨10.1007/978-3-319-19195-9_4⟩
Conference papers
hal-01767332v1
|
||
|
|
Privacy for Peer Profiling in Collective Adaptive SystemsJan Camenisch; Simone Fischer-Hübner; Marit Hansen. Privacy and Identity Management for the Future Internet in the Age of Globalisation: 9th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2, International Summer School, Patras, Greece, September 7–12, 2014, AICT-457, Springer, pp.237-252, 2015, IFIP Advances in Information and Communication Technology (TUTORIAL), 978-3-319-18620-7. ⟨10.1007/978-3-319-18621-4_16⟩
Book sections
hal-01431584v1
|
||
|
|
On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.19-34, ⟨10.1007/978-3-319-19195-9_2⟩
Conference papers
hal-01767325v1
|