Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Structure: Internal structure identifier : 300856
publicationDateY_i : 2020
Image document

Privacy as Enabler of Innovation

Daniel Bachlechner , Marc Van Lieshout , Tjerk Timan
14th IFIP International Summer School on Privacy and Identity Management (Privacy and Identity), Aug 2019, Windisch, Switzerland. pp.3-16, ⟨10.1007/978-3-030-42504-3_1⟩
Conference papers hal-03378973v1
Image document

Coalgebraic Methods in Computer Science

Daniela Petrişan , Jurriaan Rot
Springer International Publishing, LNCS-12094, 2020, Lecture Notes in Computer Science, 978-3-030-57200-6. ⟨10.1007/978-3-030-57201-3⟩
Books hal-03232344v1
Image document

Towards Enterprise-Grade Tool Support for DEMO

Mark Mulder , Henderik A. Proper
13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.90-105, ⟨10.1007/978-3-030-63479-7_7⟩
Conference papers hal-03434641v1
Image document

De Finetti’s Construction as a Categorical Limit

Bart Jacobs , Sam Staton
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.90-111, ⟨10.1007/978-3-030-57201-3_6⟩
Conference papers hal-03232351v1