Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
Structure: Internal structure identifier : 311714
publicationDateY_i : 2018
Image document

On Algebras with Effectful Iteration

Stefan Milius , Jiří Adámek , Henning Urbat
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.144-166, ⟨10.1007/978-3-030-00389-0_9⟩
Conference papers hal-02044647v1
Image document

Strome: Energy-Aware Data-Stream Processing

Christopher Eibel , Christian Gulden , Wolfgang Schröder-Preikschat , Tobias Distler
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.40-57, ⟨10.1007/978-3-319-93767-0_4⟩
Conference papers hal-01824631v1
Image document

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

Ulrich Dorsch , Stefan Milius , Lutz Schröder , Thorsten Wissmann
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.56-77, ⟨10.1007/978-3-030-00389-0_5⟩
Conference papers hal-02044640v1
Image document

TRIZ – Develop or Die in a World Driven by Volatility, Uncertainty, Complexity and Ambiguity

Martin Kiesel , Jens Hammer
18th TRIZ Future Conference (TFC), Oct 2018, Strasbourg, France. pp.55-65, ⟨10.1007/978-3-030-02456-7_5⟩
Conference papers hal-02279774v1
Image document

Understanding Industry Requirements for FLOSS Governance Tools

Nikolay Harutyunyan , Andreas Bauer , Dirk Riehle
14th IFIP International Conference on Open Source Systems (OSS), Jun 2018, Athens, Greece. pp.151-167, ⟨10.1007/978-3-319-92375-8_13⟩
Conference papers hal-01875494v1