Dr Andrius Velykis
Research Associate

  • Freitas L, Jones CB, Velykis A. Can a system learn from interactive proofs?. In: HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday. 2014, EasyChair.
  • Freitas L, Jones CB, Velykis A, Whiteside I. How to say why (in AI4FM). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1398.
  • Jones CB, Freitas L, Velykis A. Ours is to reason why. In: Liu, Z., Woodcock, J., Zhu, H, ed. Theories of Programming and Formal Methods. Berlin; New York: Springer Verlag, 2013, pp.227-243.
  • Velykis A, Freitas L. Formal Modelling of Separation Kernel Components. In: Theoretical Aspects of Computing: 7th International Colloquium. 2010, Natal, Rio Grande do Norte, Brazil: Springer.