Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

6 results
Page :
sorted by
Image document

A Middleware for Pervasive Situation-Awareness

 Graham Thomson , Sotirios Terzis
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.148-161, ⟨10.1007/978-3-642-30823-9_13⟩
Conference papers hal-01527641v1
Image document

Fair Private Set Intersection with a Semi-trusted Arbiter

 Changyu Dong , Liqun Chen , Jan Camenisch , Giovanni Russello
27th Data and Applications Security and Privacy (DBSec), Jul 2013, Newark, NJ, United States. pp.128-144, ⟨10.1007/978-3-642-39256-6_9⟩
Conference papers hal-01490721v1
Image document

Coalgebraic Logics & Duality

 Clemens Kupke
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.6-12, ⟨10.1007/978-3-030-00389-0_2⟩
Conference papers hal-02044643v1
Image document

Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics

 Helle Hvid Hansen , Clemens Kupke , Raul Andres Leal
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.281-295, ⟨10.1007/978-3-662-44602-7_22⟩
Conference papers hal-01402072v1
Image document

Advanced Kidney Disease Patient Portal: Implementation and Evaluation with Haemodialysis Patients

 Ramsay Meiklem , Karen Stevenson , Sabine Richarz , David B. Kingsmore , Matt-Mouley Bouamrane , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.175-196, ⟨10.1007/978-3-030-85616-8_12⟩
Conference papers hal-04196839v1
Image document

Stalking Resilience

 Jose J. Gonzalez , Magnus Bång , Colin Eden , Raquel Gimenez , Josune Hernantes , et al.
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.31-45, ⟨10.1007/978-3-319-68486-4_4⟩
Conference papers hal-03213122v1
Page :