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
|
|
|
Using Old Computers for Teaching Computer ScienceInternational Conference on History of Computing (HC), Jun 2013, London, United Kingdom. pp.121-131, ⟨10.1007/978-3-642-41650-7_11⟩
Conference papers
hal-01455245v1
|
||
|
|
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
|
||
|
|
Exploring the Link Between Lean Practices and Sources of Uncertainty in Supply ChainIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.748-757, ⟨10.1007/978-3-030-85874-2_82⟩
Conference papers
hal-04030344v1
|
||
|
|
Distributed Applications and Interoperable SystemsSpringer International Publishing, LNCS-11534, 2019, Lecture Notes in Computer Science, 978-3-030-22495-0. ⟨10.1007/978-3-030-22496-7⟩
Books
hal-02319571v1
|
||
|
|
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
|
||
|
|
Formalising Security in Ubiquitous and Cloud Scenarios11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. pp.1-29, ⟨10.1007/978-3-642-33260-9_1⟩
Conference papers
hal-01551710v1
|
||
|
|
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
|
||
|
|
A Denotational View of Replicated Data Types19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.138-156, ⟨10.1007/978-3-319-59746-1_8⟩
Conference papers
hal-01657339v1
|
||
|
|
Uniform Obfuscation for Location Privacy26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. pp.90-105, ⟨10.1007/978-3-642-31540-4_7⟩
Conference papers
hal-01534755v1
|
||
|
|
Barbed Semantics for Open Reactive Systems21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.161-177, ⟨10.1007/978-3-642-37635-1_10⟩
Conference papers
hal-01485968v1
|
||
|
|
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
|
||
|
|
Mining Learning Processes from FLOSS Mailing Archives14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.287-298, ⟨10.1007/978-3-319-25013-7_23⟩
Conference papers
hal-01448047v1
|
||
|
|
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
|
||
|
|
SONIC-MAN: A Distributed Protocol for Dynamic Community Detection and Management18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.93-109, ⟨10.1007/978-3-319-93767-0_7⟩
Conference papers
hal-01824639v1
|
||
|
|
Augmented Reality in Assembly Systems: State of the Art and Future Perspectives9th International Precision Assembly Seminar (IPAS), Dec 2020, Held virtually, Unknown Region. pp.3-22, ⟨10.1007/978-3-030-72632-4_1⟩
Conference papers
hal-03520408v1
|
||
|
|
BGP and Inter-AS Economic Relationships10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.54-67, ⟨10.1007/978-3-642-20798-3_5⟩
Conference papers
hal-01597984v1
|
||
|
|
A Multi-planar Approach to Encoding Story Worlds for Dynamic Narrative Generation18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.355-358, ⟨10.1007/978-3-030-85607-6_36⟩
Conference papers
hal-04291220v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
A Labelled Semantics for Soft Concurrent Constraint Programming17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
Conference papers
hal-01149227v1
|
||
|
|
A Formal Approach to the Engineering of Domain-Specific Distributed Systems20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩
Conference papers
hal-01821499v1
|
||
|
|
History and Philosophy of ComputingAICT-487, 2016, IFIP Advances in Information and Communication Technology, 978-3-319-47285-0. ⟨10.1007/978-3-319-47286-7⟩
Books
hal-01615292v1
|
||
|
|
Privacy-Preserving Data Allocation in Decentralized Online Social Networks16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.47-60, ⟨10.1007/978-3-319-39577-7_4⟩
Conference papers
hal-01434799v1
|
||
|
|
Transformation Systems with Incremental Negative Application Conditions21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.127-142, ⟨10.1007/978-3-642-37635-1_8⟩
Conference papers
hal-01485982v1
|
||
|
|
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
|
- 1
- 2