Filter your results
- 16
- 16
- 16
- 2
- 3
- 1
- 2
- 2
- 1
- 4
- 1
- 2
- 16
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
16 results
|
|
|
sorted by
|
|
|
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
|
||
|
|
From Panopticon to Fresnel, Dispelling a False Sense of Security13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.238-242, ⟨10.1007/978-3-642-32805-3_24⟩
Conference papers
hal-01540889v1
|
||
|
|
Walking in the Wild – Using an Always-On Smartphone Application to Increase Physical Activity14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.19-36, ⟨10.1007/978-3-642-40498-6_2⟩
Conference papers
hal-01510527v1
|
||
|
|
The Secret Lives of Assumptions: Developing and Refining Assumption Personas for Secure System DesignThird IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.111-118, ⟨10.1007/978-3-642-16488-0_9⟩
Conference papers
hal-01055193v1
|
||
|
|
Requirements Sensemaking Using Concept Maps4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.217-232, ⟨10.1007/978-3-642-34347-6_13⟩
Conference papers
hal-01556817v1
|
||
|
|
Mobile Electronic Identity: Securing Payment on Mobile Phones5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.22-37, ⟨10.1007/978-3-642-21040-2_2⟩
Conference papers
hal-01573293v1
|
||
|
|
Relating Structure and Power: Comonadic Semantics for Computational Resources14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.1-5, ⟨10.1007/978-3-030-00389-0_1⟩
Conference papers
hal-02044639v1
|
||
|
|
Secure and Usable Out-Of-Band Channels for Ad Hoc Mobile Device Interactions4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.308-315, ⟨10.1007/978-3-642-12368-9_24⟩
Conference papers
hal-01056076v1
|
||
|
|
Open Governance in Authoritarian States: A Framework for Assessing Digital Participation in the Age of Mass Surveillance8th International Conference on Electronic Participation (ePart), Sep 2016, Guimarães, Portugal. pp.94-105, ⟨10.1007/978-3-319-45074-2_8⟩
Conference papers
hal-01637232v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.1-19, ⟨10.1007/978-3-642-32784-1_1⟩
Conference papers
hal-01539890v1
|
||
|
|
Theoretical Foundations for the Study of Social Innovation in the Public Sector12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.54-65, ⟨10.1007/978-3-030-58141-1_5⟩
Conference papers
hal-03201959v1
|
||
|
|
On the Design and Development of webinos: A Distributed Mobile Application Middleware12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.140-147, ⟨10.1007/978-3-642-30823-9_12⟩
Conference papers
hal-01527646v1
|
||
|
|
Distributional Sentence Entailment Using Density Matrices1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.1-22, ⟨10.1007/978-3-319-28678-5_1⟩
Conference papers
hal-01446260v1
|
||
|
|
CompactFlow: A Hybrid Binary Format for Network Flow Data13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.185-201, ⟨10.1007/978-3-030-41702-4_12⟩
Conference papers
hal-03173900v1
|