Filter your results
- 11
- 10
- 1
- 11
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 11
- 4
- 1
- 1
- 4
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Annotation Inference for Separation Logic Based Verifiers13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.319-333, ⟨10.1007/978-3-642-21461-5_21⟩
Conference papers
hal-01583323v1
|
||
|
Steps and Traces14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.122-143, ⟨10.1007/978-3-030-00389-0_8⟩
Conference papers
hal-02044644v1
|
||
|
De Finetti’s Construction as a Categorical Limit15th 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
|
||
|
Convexity, Duality and Effects6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.1-19, ⟨10.1007/978-3-642-15240-5_1⟩
Conference papers
hal-01054454v1
|
||
|
Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.209-222, ⟨10.1007/978-3-642-12510-2_15⟩
Conference papers
hal-01056105v1
|
||
|
Heap-Dependent Expressions in Separation LogicJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.170-185, ⟨10.1007/978-3-642-13464-7_14⟩
Conference papers
hal-01055155v1
|
||
|
Two of the Grand Changes through Computer and Network TechnologyMarit Hansen; Jaap-Henk Hoepman; Ronald Leenes; Diane Whitehouse. Privacy and Identity Management for Emerging Services and Technologies : 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 International Summer School, Nijmegen, The Netherlands, June 17-21, 2013, Revised Selected Papers, AICT-421, Springer, pp.1-11, 2014, IFIP Advances in Information and Communication Technology (TUTORIAL), 978-3-642-55136-9. ⟨10.1007/978-3-642-55137-6_1⟩
Book sections
hal-01276043v1
|
||
|
Trace Semantics via Determinization11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.109-129, ⟨10.1007/978-3-642-32784-1_7⟩
Conference papers
hal-01539887v1
|
||
|
Dijkstra Monads in Monadic Computation12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.135-150, ⟨10.1007/978-3-662-44124-4_8⟩
Conference papers
hal-01408757v1
|
||
|
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
|
||
|
Towards Practical Attribute-Based Identity Management: The IRMA Trajectory3rd Policies and Research in Identity Management (IDMAN), Apr 2013, London, United Kingdom. pp.1-3, ⟨10.1007/978-3-642-37282-7_1⟩
Conference papers
hal-01470499v1
|