Search - IFIP Open Digital Library Access content directly

Filter your results

30 results
Structure: Internal structure identifier : 6818
Page :
sorted by
Image document

Lawvere Categories as Composed PROPs

 Filippo Bonchi , Pawel Sobocinski , Fabio Zanasi
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩
Conference papers hal-01446031v1
Image document

A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Streams

 Colin Riba
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.310-324, ⟨10.1007/978-3-642-33475-7_22⟩
Conference papers hal-00692153v1
Image document

A Comparison of Homogeneous and Heterogeneous Vehicle Fleet Size in Green Vehicle Routing Problem

 Abdelhamid Moutaoukil , Gilles Neubert , Ridha Derrouiche
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.450-457, ⟨10.1007/978-3-662-44736-9_55⟩
Conference papers hal-01387915v1
Image document

Integration of Social Concerns in Collaborative Logistics and Transportation Networks

 Ridha Derrouiche , Abdelhamid Moutaoukil , Gilles Neubert
15th Working Conference on Virtual Enterprises (PROVE), Oct 2014, Amsterdam, Netherlands. pp.730-738, ⟨10.1007/978-3-662-44745-1_72⟩
Conference papers hal-01392181v1
Image document

A Framework to Support Value Co-creation in PSS Development

 Martha Orellano , Xavier Boucher , Gilles Neubert , Anne Coulon
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.361-368, ⟨10.1007/978-3-030-57997-5_42⟩
Conference papers emse-02925966v1
Image document

Bisimilarity of Open Terms in Stream GSOS

 Filippo Bonchi , Matias David Lee , Jurriaan Rot
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Conference papers hal-01760851v1
Image document

A Flow Scheduler Architecture

 Dinil Mon Divakaran , Giovanna Carofiglio , Eitan Altman , Pascale Vicat-Blanc Primet
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.122-134, ⟨10.1007/978-3-642-12963-6_10⟩
Conference papers hal-01056318v1
Image document

Encoding Synchronous Interactions Using Labelled Petri Nets

 Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Giacoma V. Monreale
16th 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
Image document

Verification of Smart Contract Business Logic

 Wolfgang Ahrendt , Richard Bubel , Joshua Ellul , Gordon J. Pace , Raúl Pardo , et al.
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.228-243, ⟨10.1007/978-3-030-31517-7_16⟩
Conference papers hal-03769118v1
Image document

Verification of concurrent design patterns with data

 Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

Pooling Supply Chain: literature review of collaborative strategies

 Abdelhamid Moutaoukil , Ridha Derrouiche , Gilles Neubert
13th Working Confeence on Virtual Enterpries (PROVE), Oct 2012, Bournemouth, United Kingdom. pp.513-525, ⟨10.1007/978-3-642-32775-9_52⟩
Conference papers hal-00964502v1
Image document

Machine Learning Agents in the Cloud to Support Smart Business Process Management

 Samia Gamoura , Laurent Buzon , Ridha Derrouiche
16th Working Conference on Virtual Enterprises (PROVE), Oct 2015, Albi, France. pp.479-488, ⟨10.1007/978-3-319-24141-8_44⟩
Conference papers hal-01437915v1
Image document

How to Kill Epsilons with a Dagger

 Filippo Bonchi , Stefan Milius , Alexandra Silva , Fabio Zanasi
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers hal-01408752v1
Image document

Sensing as a Complexity Measure

 Shaull Almagor , Denis Kuperberg , Orna Kupferman
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.3-15, ⟨10.1007/978-3-319-60252-3_1⟩
Conference papers hal-01657019v1
Image document

The Group of Reversible Turing Machines

 Sebastián Barbieri , Jarkko Kari , Ville Salo
22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.49-62, ⟨10.1007/978-3-319-39300-1_5⟩
Conference papers hal-01435034v1
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

Modeling a Logistics Pooling Strategy for Agri-Food SMEs

 Abdelhamid Moutaoukil , Ridha Derrouiche , Gilles Neubert
14th Working Conference on Virtual Enterprises, (PROVE), Sep 2013, Dresden, Germany. pp.621-630, ⟨10.1007/978-3-642-40543-3_65⟩
Conference papers hal-01463256v1
Image document

Economic Assessment of PSS Value Networks – An Algorithmic Approach

 Khaled Medini , Xavier Boucher , Sophie Peillon , Hervé Vaillant
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2018, Seoul, South Korea. pp.141-149, ⟨10.1007/978-3-319-99704-9_18⟩
Conference papers emse-01878873v1
Image document

Performance measurement for the design of Product-Service Systems

 Khaled Medini , Sophie Peillon , Xavier Boucher , Hervé Vaillant
16th Working Conference on Virtual Enterprises (PROVE), Oct 2015, Albi, France. pp.518-525, ⟨10.1007/978-3-319-24141-8_48⟩
Conference papers emse-01202453v1
Image document

The demand-pull approach to business model innovation through product-service systems: A case study

 Martha Orellano , Christine Lambey-Checchin , Khaled Medini , Gilles Neubert
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2018, Seoul, South Korea. pp.201-210, ⟨10.1007/978-3-319-99704-9_25⟩
Conference papers emse-01885109v1
Image document

A Behavioural Theory for a π-calculus with Preorders

 Daniel Hirschkoff , Jean-Marie Madiot , Xian Xu
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩
Conference papers hal-01246094v2
Image document

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays

 Amaury Maillé , Ludovic Henrio , Matthieu Moy
FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩
Conference papers hal-03143269v1
Image document

Extending Networks of Collaboration to Multi-market Oligopolies

 Pascal Billand , Christophe Bravard , Subhadip Chakrabarti , Sudipta Sarangi
11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.765-772, ⟨10.1007/978-3-642-15961-9_90⟩
Conference papers hal-01055920v1
Image document

Using SensLAB as a First Class Scientific Tool for Large Scale Wireless Sensor Network Experiments

 Clément Burin Des Roziers , Guillaume Chelius , Tony Ducrocq , Eric Fleury , Antoine Fraboulet , et al.
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.147-159, ⟨10.1007/978-3-642-20757-0_12⟩
Conference papers hal-01583404v1
Image document

Green IT for Innovation and Innovation for Green IT: The virtuous circle

 Christina Herzog , Laurent Lefevre , Jean-Marc Pierson
10th International Conference on Human Choice and Computers (HCC), Sep 2012, Amsterdam, Netherlands. pp.79-89, ⟨10.1007/978-3-642-33332-3_8⟩
Conference papers hal-00766806v1
Image document

Transition to Product Service Systems: methodology based on scenarios identification, modelling and evaluation

 Khaled Medini , Valentine Moreau , Sophie Peillon , Xavier Boucher
15th Working Conference on Virtual Enterprises (PROVE), Oct 2014, Amsterdam, Netherlands. pp.143-150, ⟨10.1007/978-3-662-44745-1_14⟩
Conference papers hal-01058529v1
Image document

PSS Production Systems: a simulation approach for change management

 Guillaume Marquès , Xavier Boucher , Malik Chalal
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.377-384, ⟨10.1007/978-3-642-40361-3_48⟩
Conference papers emse-00741237v1
Image document

Duality of Equations and Coequations via Contravariant Adjunctions

 Julian Salamanca , Marcello Bonsangue , Jurriaan Rot
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩
Conference papers hal-01446034v1
Image document

Any Shape Can Ultimately Cross Information on Two-Dimensional Abelian Sandpile Models

 Viet-Ha Nguyen , Kévin Perrot
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.127-142, ⟨10.1007/978-3-319-92675-9_10⟩
Conference papers hal-01824872v1
Image document

Towards a Framework for Analyzing and Evaluating Servitization Potential: Case Study of ENVIE Loire

 Ridha Derrouiche , Nadine Dubruc
15th Working Conference on Virtual Enterprises (PROVE), Oct 2014, Amsterdam, Netherlands. pp.135-142, ⟨10.1007/978-3-662-44745-1_13⟩
Conference papers emse-01085286v1
Page :