Filter your results
- 5
- 5
- 5
- 1
- 1
- 1
- 2
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Lax Extensions of Coalgebra Functors11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.150-169, ⟨10.1007/978-3-642-32784-1_9⟩
Conference papers
hal-01539878v1
|
||
|
Stream Automata Are Coalgebras11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.90-108, ⟨10.1007/978-3-642-32784-1_6⟩
Conference papers
hal-01539881v1
|
||
|
Strategies for Generating and Evaluating Large-Scale Powerlaw-Distributed P2P Overlays13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.71-84, ⟨10.1007/978-3-642-38541-4_6⟩
Conference papers
hal-01489466v1
|
||
|
Building High-Performance, Easy-to-Use Polymorphic Parallel Memories with HLS26th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2018, Verona, Italy. pp.53-78, ⟨10.1007/978-3-030-23425-6_4⟩
Conference papers
hal-02321768v1
|
||
|
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.98-117, ⟨10.1007/978-3-662-44124-4_6⟩
Conference papers
hal-01408754v1
|