Filter your results
- 49
- 7
- 46
- 9
- 1
- 56
- 11
- 3
- 4
- 2
- 3
- 6
- 4
- 4
- 7
- 6
- 4
- 2
- 56
- 6
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 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
|
|
sorted by
|
|
voteChain: Community Based Scalable Internet Voting Framework10th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), May 2019, Costa de Caparica, Portugal. pp.70-80, ⟨10.1007/978-3-030-17771-3_6⟩
Conference papers
hal-02295236v1
|
||
|
A Fuzzy Decision Support System for Drawing Directions from Purchasing Portfolio Models19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.568-575, ⟨10.1007/978-3-642-40361-3_72⟩
Conference papers
hal-01470669v1
|
||
|
Software Reuse in Local Public Bodies: Lessons Learned in Tuscany9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.375-386, ⟨10.1007/978-3-642-14799-9_32⟩
Conference papers
hal-01056574v1
|
||
|
Human-Computer Interaction – INTERACT 2021Springer International Publishing, LNCS-12935, 2021, Lecture Notes in Computer Science, 978-3-030-85609-0. ⟨10.1007/978-3-030-85610-6⟩
Books
hal-04215530v1
|
||
|
Human-Computer Interaction – INTERACT 2021Springer International Publishing, LNCS-12934, 2021, Lecture Notes in Computer Science, 978-3-030-85612-0. ⟨10.1007/978-3-030-85613-7⟩
Books
hal-04292364v1
|
||
|
Human-Computer Interaction – INTERACT 2021Springer International Publishing, Lecture Notes in Computer Science (LNCS-12932), 2021, Lecture Notes in Computer Science
Books
hal-04332257v1
|
||
|
Human-Computer-Interaction – INTERACT 2021Springer International Publishing, LNCS-12936, 2021, Lecture Notes in Computer Science, 978-3-030-85606-9. ⟨10.1007/978-3-030-85607-6⟩
Books
hal-04291268v1
|
||
|
Human-Computer Interaction – INTERACT 2021Springer International Publishing, LNCS-12933, 2021, Lecture Notes in Computer Science, 978-3-030-85615-1. ⟨10.1007/978-3-030-85616-8⟩
Books
hal-04196866v1
|
||
|
Encoding Synchronous Interactions Using Labelled Petri Nets16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Conference papers
hal-01290063v1
|
||
|
Mining Collaboration Opportunities to Support Joined-Up Government12th Working Conference on Virtual Enterprises (PROVE), Oct 2011, São Paulo, Brazil. pp.359-366, ⟨10.1007/978-3-642-23330-2_40⟩
Conference papers
hal-01569976v1
|
||
|
Playing with Our CAT and Communication-Centric Applications36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.62-73, ⟨10.1007/978-3-319-39570-8_5⟩
Conference papers
hal-01432928v1
|
||
|
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.177-181, ⟨10.1007/978-3-030-78089-0_10⟩
Conference papers
hal-03740267v1
|
||
|
A Privacy Risk Model for Trajectory Data8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.125-140, ⟨10.1007/978-3-662-43813-8_9⟩
Conference papers
hal-01381683v1
|
||
|
Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.1-12, ⟨10.1007/978-3-662-44602-7_1⟩
Conference papers
hal-01402013v1
|
||
|
The Connection Layout in a Lattice of Four-Terminal Switches26th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2018, Verona, Italy. pp.32-52, ⟨10.1007/978-3-030-23425-6_3⟩
Conference papers
hal-02321762v1
|
||
|
Open Multiparty Interaction21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.1-23, ⟨10.1007/978-3-642-37635-1_1⟩
Conference papers
hal-01485975v1
|
||
|
Where Do Your IoT Ingredients Come From?18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.35-50, ⟨10.1007/978-3-319-39519-7_3⟩
Conference papers
hal-01631717v1
|
||
|
A Survey of Compositional Signal Flow TheoryAdvancing Research in Information and Communication Technology, AICT-600, pp.29-56, 2021, ⟨10.1007/978-3-030-81701-5_2⟩
Book sections
hal-03325995v1
|
||
|
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision PlanningJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.2-16, ⟨10.1007/978-3-642-13464-7_2⟩
Conference papers
hal-01055150v1
|
||
|
From Cells as Computation to Cells as Apps3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.116-130, ⟨10.1007/978-3-319-47286-7_8⟩
Conference papers
hal-01615291v1
|
||
|
Fault-Aware Application Management Protocols5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.219-234, ⟨10.1007/978-3-319-44482-6_14⟩
Conference papers
hal-01638591v1
|
||
|
Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.178-196, ⟨10.1007/978-3-319-59746-1_10⟩
Conference papers
hal-01657338v1
|
||
|
TOSCA in a Nutshell: Promises and Perspectives3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.171-186, ⟨10.1007/978-3-662-44879-3_13⟩
Conference papers
hal-01318292v1
|
||
|
Service-Oriented and Cloud ComputingSpringer International Publishing, LNCS-12054, 2020, Lecture Notes in Computer Science, 978-3-030-44768-7. ⟨10.1007/978-3-030-44769-4⟩
Books
hal-03203229v1
|
||
|
Modelling and Analysing Cloud Application Management4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.19-33, ⟨10.1007/978-3-319-24072-5_2⟩
Conference papers
hal-01757559v1
|
||
|
Formal Techniques for Distributed SystemsSpringer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩
Books
hal-01583312v1
|
||
|
Adaptable Transition Systems21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.95-110, ⟨10.1007/978-3-642-37635-1_6⟩
Conference papers
hal-01485980v1
|
||
|
First-Order Dynamic Logic for Compensable Processes14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.104-121, ⟨10.1007/978-3-642-30829-1_8⟩
Conference papers
hal-01529601v1
|
||
|
Towards a Spatial Model Checker on GPU41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.188-196, ⟨10.1007/978-3-030-78089-0_12⟩
Conference papers
hal-03740266v1
|
||
|
Application-Level Traceroute: Adopting Mimetic Mechanisms to Increase Discovery Capabilities17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.66-77, ⟨10.1007/978-3-030-30523-9_6⟩
Conference papers
hal-02881737v1
|
- 1
- 2