Filter your results
- 28
- 3
- 28
- 3
- 31
- 1
- 1
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 1
- 4
- 3
- 31
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 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
|
|
|
sorted by
|
|
|
How Product Development Can Be Improved in Fast Fashion Industry: An Italian Case12th IFIP International Conference on Product Lifecycle Management (PLM), Oct 2015, Doha, Qatar. pp.718-728, ⟨10.1007/978-3-319-33111-9_65⟩
Conference papers
hal-01377499v1
|
||
|
|
Enumerative Results on the Schröder Pattern Poset23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.56-67, ⟨10.1007/978-3-319-58631-1_5⟩
Conference papers
hal-01656348v1
|
||
|
|
Digital Servitization and Smart Services for the New NormalIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.192-201, ⟨10.1007/978-3-030-85902-2_21⟩
Conference papers
hal-04117634v1
|
||
|
|
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.166-181, ⟨10.1007/978-3-662-43613-4_11⟩
Conference papers
hal-01398015v1
|
||
|
|
A Model-Checking Tool for Families of Services13th 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.44-58, ⟨10.1007/978-3-642-21461-5_3⟩
Conference papers
hal-01583318v1
|
||
|
|
Computer-Aided Problem Solving - Part 1: Objectives, Approaches, Opportunities4th Computer-Aided Innovation (CAI), Jun 2011, Strasbourg, France. pp.117-131, ⟨10.1007/978-3-642-22182-8_10⟩
Conference papers
hal-01567767v1
|
||
|
|
Managing New Product Development in the Fashion Industry with PLM: Based on Market Classifications18th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2021, Curitiba, Brazil. pp.167-178, ⟨10.1007/978-3-030-94335-6_12⟩
Conference papers
hal-04186136v1
|
||
|
|
Formal Techniques for Distributed SystemsSpringer, LNCS-7892, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-38592-6⟩
Books
hal-01515249v1
|
||
|
|
Specifying and Verifying Properties of Space8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.222-235, ⟨10.1007/978-3-662-44602-7_18⟩
Conference papers
hal-01402045v1
|
||
|
|
Coordination Models and LanguagesSpringer, LNCS-8459, 2014, Lecture Notes in Computer Science, 978-3-662-43375-1. ⟨10.1007/978-3-662-43376-8⟩
Books
hal-01290085v1
|
||
|
|
Coordination Models and LanguagesSpringer International Publishing, LNCS-10852, 2018, Lecture Notes in Computer Science, 978-3-319-92407-6. ⟨10.1007/978-3-319-92408-3⟩
Books
hal-01821496v1
|
||
|
|
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.129-147, ⟨10.1007/978-3-030-22397-7_8⟩
Conference papers
hal-02365502v1
|
||
|
|
Worst- and Average-Case Privacy Breaches in Randomization Mechanisms7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.72-86, ⟨10.1007/978-3-642-33475-7_6⟩
Conference papers
hal-01556211v1
|
||
|
|
Analysing Product Development Process and PLM Features in the Food and Fashion Industries14th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2017, Seville, Spain. pp.509-521, ⟨10.1007/978-3-319-72905-3_45⟩
Conference papers
hal-01764186v1
|
||
|
|
Restricted Binary Strings and Generalized Fibonacci Numbers23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.32-43, ⟨10.1007/978-3-319-58631-1_3⟩
Conference papers
hal-01656354v1
|
||
|
|
PLM Functionalities in the Fashion Industry. Preliminary Results of a Classification Framework17th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2020, Rapperswil, Switzerland. pp.527-537, ⟨10.1007/978-3-030-62807-9_42⟩
Conference papers
hal-03753111v1
|
||
|
|
Integrated Use of TRIZ Tools in Systematic Conceptual DesignTRIZ Future conference, Sep 2021, Bolzano, Italy. pp.414-425, ⟨10.1007/978-3-030-86614-3_33⟩
Conference papers
hal-04067826v1
|
||
|
|
How Advances of ICT will Impact on Service Systems and on the Delivering of Product-Related Services20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.57-64, ⟨10.1007/978-3-642-41263-9_8⟩
Conference papers
hal-01449776v1
|
||
|
|
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
|
||
|
|
Using Service Dominant Logic to Assess the Value Co-creation of Smart ServicesIFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.283-290, ⟨10.1007/978-3-030-57997-5_33⟩
Conference papers
hal-03635655v1
|
||
|
|
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.340-354, ⟨10.1007/978-3-642-15240-5_25⟩
Conference papers
hal-01054448v1
|
||
|
|
Behavioural Contracts with Request-Response Operations12th 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.16-30, ⟨10.1007/978-3-642-13414-2_2⟩
Conference papers
hal-01054626v1
|
||
|
|
Linear-Time and May-Testing in a Probabilistic Reactive Setting13th 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.29-43, ⟨10.1007/978-3-642-21461-5_2⟩
Conference papers
hal-01583326v1
|
||
|
|
Simulation and Analysis of Distributed Systems in Klaim12th 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.122-136, ⟨10.1007/978-3-642-13414-2_9⟩
Conference papers
hal-01054619v1
|
||
|
|
On the Philosophical Foundations of Privacy: Five Theses14th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2021, Riga, Latvia. pp.215-229, ⟨10.1007/978-3-030-91279-6_15⟩
Conference papers
hal-04323855v1
|
||
|
|
New Product Development Process in Fashion Industry: Empirical Investigation within Italian Companies10th Product Lifecycle Management for Society (PLM), Jul 2013, Nantes, France. pp.481-490, ⟨10.1007/978-3-642-41501-2_48⟩
Conference papers
hal-01461894v1
|
||
|
|
On the Power of Attribute-Based Communication36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.1-18, ⟨10.1007/978-3-319-39570-8_1⟩
Conference papers
hal-01432924v1
|
||
|
|
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
|
||
|
|
Assessing the Role of Knowledge Management in the New Product Development Process: An Empirical Study11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.397-406, ⟨10.1007/978-3-662-45937-9_39⟩
Conference papers
hal-01386544v1
|
||
|
|
Computer-Aided Problem Solving - Part 2: A Dialogue-Based System to Support the Analysis of Inventive Problems4th Computer-Aided Innovation (CAI), Jun 2011, Strasbourg, France. pp.132-148, ⟨10.1007/978-3-642-22182-8_11⟩
Conference papers
hal-01567775v1
|
- 1
- 2