School of Computing

Publications by Dr Hugo Feree

Also view these in the Kent Academic Repository

Article
Férée, H. (2017). Game semantics approach to higher-order complexity. Journal of Computer and System Sciences [Online] 87:1-15. Available at: http://dx.doi.org/10.1016/j.jcss.2017.02.003.
Férée, H. et al. (2015). Characterizing polynomial time complexity of stream programs using interpretations. Theoretical Computer Science [Online] 585:41-54. Available at: https://doi.org/10.1016/j.tcs.2015.03.008.
Férée, H., Gomaa, W. and Hoyrup, M. (2014). Analytical properties of resource-bounded real functionals. Journal of Complexity [Online] 30:647-671. Available at: https://dx.doi.org/10.1016/j.jco.2014.02.008.
Conference or workshop item
Férée, H., Hoyrup, M. and Gomaa, W. (2013). On the query complexity of real functionals. in: 28th ACM/IEEE Symposium on Logic in Computer Science. IEEE, pp. 103-112. Available at: http://dx.doi.org/10.1109/LICS.2013.15.
Total publications in KAR: 4 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 13/12/2017