Search - IFIP Open Digital Library Access content directly

Filter your results

38 results
Structure: Internal structure identifier : 47709
Page :
sorted by
Image document

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields

 Ferruccio Damiani , Mirko Viroli , Danilo Pianini , Jacob Beal
35th 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
Image document

Coordination Models and Languages

 Ferruccio Damiani , Ornela Dardha
Springer 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
Image document

Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus

 Patrick Baillot , Erika de Benedetti , Simona Ronchi Della Rocca
8th 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
Image document

Involving the Human User in the Control Architecture of an Autonomous Agent

 Roberto Micalizio , Giancarlo Nuzzolo , Enrico Scala , Pietro Torasso
Third 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
Image document

On a Higher-Order Calculus of Computational Fields

 Jacob Beal , Giorgio Audrito , Mirko Viroli , Ferruccio Damiani , Danilo Pianini
39th 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
Image document

A Formal Model for Multi SPLs

 Ferruccio Damiani , Michael Lienhardt , Luca Paolini
7th 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
Image document

A Game Interpretation of Retractable Contracts

 Franco Barbanera , Ugo De’ Liguoro
18th 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
Image document

Space-Time Universality of Field Calculus

 Giorgio Audrito , Jacob Beal , Ferruccio Damiani , Mirko Viroli
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92408-3_1⟩
Conference papers hal-01821491v1
Image document

Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs

 Stefano Berardi , Makoto Tatsuta
14th 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
Image document

The share Operator for Field-Based Coordination

 Giorgio Audrito , Jacob Beal , Ferruccio Damiani , Danilo Pianini , Mirko Viroli
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.54-71, ⟨10.1007/978-3-030-22397-7_4⟩
Conference papers hal-02365499v1
Image document

The Inhabitation Problem for Non-idempotent Intersection Types

 Antonio Bucciarelli , Delia Kesner , Simona Ronchi Della Rocca
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.341-354, ⟨10.1007/978-3-662-44602-7_26⟩
Conference papers hal-01402082v1
Image document

Dynamics in Delegation and Revocation Schemes: A Logical Approach

 Guillaume Aucher , Steve Barker , Guido Boella , Valerio Genovese , Leendert van Der Torre
23th 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
Image document

On Sessions and Infinite Data

 Paula Severi , Luca Padovani , Emilio Tuosto , Mariangiola  Dezani-Ciancaglini
18th 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
Image document

A Working Model for Teacher Training in Computing through the Literacy from Scratch Project

 Lawrence Williams , Miroslava Černochová , G. Barbara Demo , Sarah Younie
IFIP 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
Image document

Retractable and Speculative Contracts

 Franco Barbanera , Ivan Lanese , Ugo de 'Liguoro
19th 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
Image document

Towards Semantic Process Mining Through Knowledge-Based Trace Abstraction

 G. Leonardi , M. Striani , S. Quaglini , A. Cavallini , S. Montani
7th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2017, Neuchatel, Switzerland. pp.45-64, ⟨10.1007/978-3-030-11638-5_3⟩
Conference papers hal-02060703v1
Image document

Resilient Distributed Collection Through Information Speed Thresholds

 Giorgio Audrito , Sergio Bergamini , Ferruccio Damiani , Mirko Viroli
22th 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
Image document

A Calculus of Self-stabilising Computational Fields

 Mirko Viroli , Ferruccio Damiani
16th 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
Image document

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi

 Luca Padovani , Tzu-Chun Chen , Andrea Tosatto
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.83-98, ⟨10.1007/978-3-319-19282-6_6⟩
Conference papers hal-01774941v1
Image document

A Logic of Privacy

 Steve Barker , Valerio Genovese
24th 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
Image document

2nd International Workshop on Empowering People in Dealing with Internet of Things Ecosystems (EMPATHY)

 Giuseppe Desolda , Vincenzo Deufemia , Maristella Matera , Fabio Paternò , Fabiana Vernero , et al.
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
Image document

Flexible genome retrieval for supporting in-silico studies of endobacteria-AMFs

 Stefania Montani , G. Leonardi , S. Ghignone , L. Lanfranco
First 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
Image document

On global types and multi-party sessions

 Giuseppe Castagna , Mariangiola Dezani-Ciancaglini , Luca Padovani
13th 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
Image document

Tuple-Based Coordination in Large-Scale Situated Systems

 Roberto Casadei , Mirko Viroli , Alessandro Ricci , Giorgio Audrito
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.149-167, ⟨10.1007/978-3-030-78142-2_10⟩
Conference papers hal-03387837v1
Image document

Introducing Gestural Interaction on the Shop Floor: Empirical Evaluations

 Salvatore Andolina , Paolo Ariano , Davide Brunetti , Nicolò Celadon , Guido Coppo , et al.
18th 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
Image document

From Field-Based Coordination to Aggregate Computing

 Mirko Viroli , Jacob Beal , Ferruccio Damiani , Giorgio Audrito , Roberto Casadei , et al.
20th 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
Image document

Aggregate Processes in Field Calculus

 Roberto Casadei , Mirko Viroli , Giorgio Audrito , Danilo Pianini , Ferruccio Damiani
21th 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
Image document

Typing Liveness in Multiparty Communicating Systems

 Luca Padovani , Vasco Thudichum Vasconcelos , Hugo Torres Vieira
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.147-162, ⟨10.1007/978-3-662-43376-8_10⟩
Conference papers hal-01290074v1
Image document

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

 Mario Coppo , Mariangiola Dezani-Ciancaglini , Luca Padovani , Nobuko Yoshida
15th 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
Image document

A Personalised Interactive Mobile App for People with Autism Spectrum Disorder

 Federica Cena , Amon Rapp , Claudio Mattutino , Noemi Mauro , Liliana Ardissono , et al.
18th 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
Page :