Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
An Extension and Cooperation Mechanism for Heterogeneous Overlay NetworksHets-Nets. Future Heterogeneous Networks, May 2012, Prague, Czech Republic. pp.10-18, ⟨10.1007/978-3-642-30039-4_2⟩
Conference papers
hal-00909486v1
|
||
|
Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay NetworksNetworking 2010 - 9th International IFIP TC 6 Networking Conference, May 2010, Chennai, India. pp.67-82, ⟨10.1007/978-3-642-12963-6_6⟩
Conference papers
hal-00909544v1
|
||
|
A Decidable Subtyping Logic for Intersection and Union TypesTTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science, Sep 2017, Tehran, Iran. pp.74-90, ⟨10.1007/978-3-319-68953-1_7⟩
Conference papers
hal-01760641v1
|