Filter your results
- 31
- 4
- 31
- 4
- 35
- 1
- 3
- 4
- 5
- 4
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 35
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
The Ecosystem of openKONSEQUENZ, A User-Led Open Source Foundation16th IFIP International Conference on Open Source Systems (OSS), May 2020, Innopolis, Russia. pp.1-13, ⟨10.1007/978-3-030-47240-5_1⟩
Conference papers
hal-03647269v1
|
||
|
|
Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.133-154, ⟨10.1007/978-3-030-57201-3_8⟩
Conference papers
hal-03232346v1
|
||
|
|
Stabilization of the Gas Flow in Star-Shaped Networks by Feedback Controls with Varying Delay25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.255-265, ⟨10.1007/978-3-642-36062-6_26⟩
Conference papers
hal-01347545v1
|
||
|
|
Towards a Coalgebraic Chomsky Hierarchy8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.265-280, ⟨10.1007/978-3-662-44602-7_21⟩
Conference papers
hal-01402071v1
|
||
|
|
Enhancing the Flow of Information in the PLM by Using Numerical DSMs – An Industrial Case Study10th Product Lifecycle Management for Society (PLM), Jul 2013, Nantes, France. pp.90-99, ⟨10.1007/978-3-642-41501-2_10⟩
Conference papers
hal-01461832v1
|
- 1
- 2