Filter your results
- 11
- 3
- 11
- 3
- 14
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 14
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 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
|
|
sorted by
|
|
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.156-173, ⟨10.1007/978-3-319-40370-0_10⟩
Conference papers
hal-01446025v1
|
||
|
Making Access Control Easy in IoT15th International Symposium on Human Aspects of Information Security and Assurance (HAISA), Jul 2021, Virtual, United Kingdom. pp.127-137, ⟨10.1007/978-3-030-81111-2_11⟩
Conference papers
hal-04041063v1
|
||
|
Approximation of the Equations of the Humid Atmosphere with Saturation27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.21-42, ⟨10.1007/978-3-319-55795-3_2⟩
Conference papers
hal-01626922v1
|
||
|
The Usage of Usability Techniques in Scrum Projects4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.331-341, ⟨10.1007/978-3-642-34347-6_25⟩
Conference papers
hal-01556824v1
|
||
|
Creativity Filter and Start-Ups to Resolve the Innovation Paradox16th International Conference on Informatics and Semiotics in Organisations (ICISO), Mar 2015, Toulouse, France. pp.195-203, ⟨10.1007/978-3-319-16274-4_20⟩
Conference papers
hal-01324978v1
|
||
|
Intelligent Information Processing VIISpringer, AICT-432, 2014, IFIP Advances in Information and Communication Technology, 978-3-662-44979-0. ⟨10.1007/978-3-662-44980-6⟩
Books
hal-01383352v1
|
||
|
Intelligent Information Processing VISpringer, AICT-385, 2012, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-642-32891-6⟩
Books
hal-01524979v1
|
||
|
Chaining Data and Visualization Web Services for Decision Making in Information Systems1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.44-53
Conference papers
hal-01506785v1
|
||
|
On Finitary Functors and Their Presentations11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.51-70, ⟨10.1007/978-3-642-32784-1_4⟩
Conference papers
hal-01539879v1
|
||
|
Bayesian Evaluation of User App Choices in the Presence of Risk Communication on Android Devices14th International Symposium on Human Aspects of Information Security and Assurance (HAISA), Jul 2020, Mytilene, Lesbos, Greece. pp.211-223, ⟨10.1007/978-3-030-57404-8_16⟩
Conference papers
hal-03657733v1
|
||
|
Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases in the Future of Intelligent Information Processing6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.1-1, ⟨10.1007/978-3-642-16327-2_1⟩
Conference papers
hal-01060352v1
|
||
|
Intelligent Information Processing VSpringer, AICT-340, 2010, IFIP Advances in Information and Communication Technology, 978-3-642-16326-5. ⟨10.1007/978-3-642-16327-2⟩
Books
hal-01550203v1
|
||
|
Quantifying Susceptibility to Spear Phishing in a High School Environment Using Signal Detection Theory14th International Symposium on Human Aspects of Information Security and Assurance (HAISA), Jul 2020, Mytilene, Lesbos, Greece. pp.109-120, ⟨10.1007/978-3-030-57404-8_9⟩
Conference papers
hal-03657712v1
|
||
|
Long-Term Values in Markov Decision Processes, (Co)Algebraically14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.78-99, ⟨10.1007/978-3-030-00389-0_6⟩
Conference papers
hal-02044650v1
|