Emmanuel Hainry
2
Documents
Affiliations actuelles
- 529408
- 413289
- 206040
Identifiants chercheurs
- emmanuel-hainry
- 0000-0002-9750-0460
- IdRef : 114622396
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
Characterizing polynomial time complexity of stream programs using interpretationsTheoretical Computer Science, 2015, 585, pp.41-54. ⟨10.1016/j.tcs.2015.03.008⟩
Article dans une revue
hal-01112160v1
|
|
Interpretation of stream programs: characterizing type 2 polynomial time complexity21st International Symposium on Algorithms and Computation - ISAAC 2010, Dec 2010, Jeju Island, South Korea
Communication dans un congrès
inria-00518381v1
|