Filter your results
- 7
- 1
- 6
- 1
- 1
- 8
- 2
- 8
- 1
- 1
- 4
- 1
- 3
- 2
- 3
- 14
- 6
- 6
- 5
- 8
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Lawvere Categories as Composed PROPs13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩
Conference papers
hal-01446031v1
|
||
|
Report on the Workshop on Assessing the Maturity of Privacy Enhancing TechnologiesDavid Aspinall; Jan Camenisch; Marit Hansen; Simone Fischer-Hübner; Charles Raab. Privacy and Identity Management. Time for a Revolution? : 10th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers, AICT-476, Springer International Publishing, pp.97-110, 2016, IFIP Advances in Information and Communication Technology, 978-3-319-41762-2. ⟨10.1007/978-3-319-41763-9_7⟩
Book sections
hal-01619747v1
|
||
|
Branching Bisimulation Games36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.142-157, ⟨10.1007/978-3-319-39570-8_10⟩
Conference papers
hal-01432915v1
|
||
|
Vitalizing Semiotics17th International Conference on Informatics and Semiotics in Organisations (ICISO), Aug 2016, Campinas, Brazil. pp.25-34, ⟨10.1007/978-3-319-42102-5_3⟩
Conference papers
hal-01646560v1
|
||
|
ICT Systems Security and Privacy ProtectionSpringer, AICT-471, 2016, IFIP Advances in Information and Communication Technology, 978-3-319-33629-9. ⟨10.1007/978-3-319-33630-5⟩
Books
hal-01369602v1
|
||
|
Affine Monads and Side-Effect-Freeness13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.53-72, ⟨10.1007/978-3-319-40370-0_5⟩
Conference papers
hal-01446033v1
|
||
|
Scheduling Games for Concurrent Systems18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.84-100, ⟨10.1007/978-3-319-39519-7_6⟩
Conference papers
hal-01631719v1
|
||
|
Scaffolding Stakeholder-Centric Enterprise Model Articulation9th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2016, Skövde, Sweden. pp.133-147, ⟨10.1007/978-3-319-48393-1_10⟩
Conference papers
hal-01653512v1
|