Filter your results
- 38
- 36
- 1
- 1
- 38
- 7
- 2
- 4
- 4
- 3
- 2
- 3
- 5
- 2
- 2
- 4
- 38
- 9
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 10
- 6
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
2nd International Workshop on Empowering People in Dealing with Internet of Things Ecosystems (EMPATHY)18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.525-529, ⟨10.1007/978-3-030-85607-6_71⟩
Conference papers
hal-04291212v1
|
||
|
A Calculus for Boxes and Traits in a Java-Like Setting12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.46-60, ⟨10.1007/978-3-642-13414-2_4⟩
Conference papers
hal-01054624v1
|
||
|
A Calculus of Self-stabilising Computational Fields16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.163-178, ⟨10.1007/978-3-662-43376-8_11⟩
Conference papers
hal-01290075v1
|
||
|
A Formal Model for Multi SPLs7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.67-83, ⟨10.1007/978-3-319-68972-2_5⟩
Conference papers
hal-01760853v1
|
||
|
A Game Interpretation of Retractable Contracts18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.18-34, ⟨10.1007/978-3-319-39519-7_2⟩
Conference papers
hal-01631714v1
|
||
|
A Logic of Privacy24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.17-32, ⟨10.1007/978-3-642-13739-6_2⟩
Conference papers
hal-01056671v1
|
||
|
A Personalised Interactive Mobile App for People with Autism Spectrum Disorder18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.313-317, ⟨10.1007/978-3-030-85607-6_28⟩
Conference papers
hal-04291219v1
|
||
|
A Working Model for Teacher Training in Computing through the Literacy from Scratch ProjectIFIP Conference on Information Technology in Educational Management (ITEM) and IFIP Conference on Key Competencies for Educating ICT Professionals (KCICTP), Jul 2014, Potsdam, Germany. pp.25-33, ⟨10.1007/978-3-662-45770-2_3⟩
Conference papers
hal-01342673v1
|
||
|
Aggregate Processes in Field Calculus21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.200-217, ⟨10.1007/978-3-030-22397-7_12⟩
Conference papers
hal-02365504v1
|
||
|
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.151-163, ⟨10.1007/978-3-662-44602-7_13⟩
Conference papers
hal-01015171v2
|
||
|
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.113-128, ⟨10.1007/978-3-319-19195-9_8⟩
Conference papers
hal-01767321v1
|
||
|
Coordination Models and LanguagesSpringer International Publishing, LNCS-12717, 2021, Lecture Notes in Computer Science, 978-3-030-78141-5. ⟨10.1007/978-3-030-78142-2⟩
Books
hal-03387825v1
|
||
|
Deconfined Global Types for Asynchronous Sessions23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.41-60, ⟨10.1007/978-3-030-78142-2_3⟩
Conference papers
hal-03387838v1
|
||
|
Dynamics in Delegation and Revocation Schemes: A Logical Approach23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, ⟨10.1007/978-3-642-22348-8_9⟩
Conference papers
inria-00593654v2
|
||
|
Flexible genome retrieval for supporting in-silico studies of endobacteria-AMFsFirst IMIA/IFIP Joint Symposium on E-Health (E-HEALTH) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.138-147, ⟨10.1007/978-3-642-15515-4_15⟩
Conference papers
hal-01061774v1
|
||
|
Forget About Privacy … or Not?Marit Hansen; Eleni Kosta; Igor Nai-Fovino; Simone Fischer-Hübner. Privacy and Identity Management. The Smart Revolution : 12th IFIP WG 9.2, 9.5, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Ispra, Italy, September 4-8, 2017, Revised Selected Papers, AICT-526, Springer International Publishing, pp.76-85, 2018, IFIP Advances in Information and Communication Technology, 978-3-319-92924-8. ⟨10.1007/978-3-319-92925-5_6⟩
Book sections
hal-01883629v1
|
||
|
From Field-Based Coordination to Aggregate Computing20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.252-279, ⟨10.1007/978-3-319-92408-3_12⟩
Conference papers
hal-01821488v1
|
||
|
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.45-59, ⟨10.1007/978-3-642-38493-6_4⟩
Conference papers
hal-01486034v1
|
||
|
Introducing Gestural Interaction on the Shop Floor: Empirical Evaluations18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.451-455, ⟨10.1007/978-3-030-85607-6_56⟩
Conference papers
hal-04291260v1
|
||
|
Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.13-33, ⟨10.1007/978-3-030-00389-0_3⟩
Conference papers
hal-02044649v1
|
||
|
Involving the Human User in the Control Architecture of an Autonomous AgentThird IFIP TC12 International Conference on Artificial Intelligence (AI) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.13-22, ⟨10.1007/978-3-642-15286-3_2⟩
Conference papers
hal-01054587v1
|
||
|
On a Higher-Order Calculus of Computational Fields39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.289-292, ⟨10.1007/978-3-030-21759-4_17⟩
Conference papers
hal-02313736v1
|
||
|
On global types and multi-party sessions13th 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.1-28, ⟨10.1007/978-3-642-21461-5_1⟩
Conference papers
hal-00618814v1
|
||
|
On Sessions and Infinite Data18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.245-261, ⟨10.1007/978-3-319-39519-7_15⟩
Conference papers
hal-01631727v1
|
||
|
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.59-77, ⟨10.1007/978-3-319-59746-1_4⟩
Conference papers
hal-01657344v1
|
||
|
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.83-98, ⟨10.1007/978-3-642-38592-6_7⟩
Conference papers
hal-01515251v1
|
||
|
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.150-168, ⟨10.1007/978-3-030-50086-3_9⟩
Conference papers
hal-03283239v1
|
||
|
Resilient Distributed Collection Through Information Speed Thresholds22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.211-229, ⟨10.1007/978-3-030-50029-0_14⟩
Conference papers
hal-03273987v1
|
||
|
Retractable and Speculative Contracts19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.119-137, ⟨10.1007/978-3-319-59746-1_7⟩
Conference papers
hal-01633262v1
|
||
|
Service-Oriented Justification of Recommender System Suggestions18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.321-330, ⟨10.1007/978-3-030-85613-7_23⟩
Conference papers
hal-04292365v1
|
- 1
- 2