| An algebra of synchronous atomic steps IJ Hayes, RJ Colvin, LA Meinicke, K Winter, A Velykis International Symposium on Formal Methods, 352-369, 2016 | 19 | 2016 |
| Formal modelling of separation kernel components A Velykis, L Freitas Theoretical Aspects of Computing–ICTAC 2010, 230-244, 2010 | 15 | 2010 |
| Inferring the proof process A Velykis School of Computing Science Technical Report Series, 2012 | 7 | 2012 |
| Formal Modelling of Separation Kernels A Velykis Master’s thesis, Department of Computer Science, University of York, 2009 | 7 | 2009 |
| General Lessons from a Rely/Guarantee Development CB Jones, A Velykis, N Yatapanage International Symposium on Dependable Software Engineering: Theories, Tools …, 2017 | 4 | 2017 |
| Ours Is to Reason Why CB Jones, L Freitas, A Velykis Theories of Programming and Formal Methods, 227-243, 2013 | 4 | 2013 |
| Concurrent refinement algebra and rely quotients J Fell, IJ Hayes, A Velykis Archive of Formal Proofs, 2016 | 3 | 2016 |
| Capturing Proof Process A Velykis PhD thesis, Newcastle University, 2015 | 1 | 2015 |
| Contributions to AI4FM 2015 A Velykis, G Grov, L Freitas Newcastle University, Computing Science, 2015 | 1 | 2015 |
| A Model for Capturing and Replaying Proof Strategies L Freitas, CB Jones, A Velykis, I Whiteside Working Conference on Verified Software: Theories, Tools, and Experiments …, 2014 | 1 | 2014 |
| How to say why (in AI4FM) L Freitas, CB Jones, A Velykis, I Whiteside Computing Science, Newcastle University, 2013 | 1 | 2013 |
| Can a system learn from interactive proofs L Freitas, CB Jones, A Velykis HOWARD-60. A Festschrift on the Occasion of Howard Barringer’s 60th Birthday …, 0 | 1* | |
| How to say why (in AI4FM) CB Jones, L Freitas, A Velykis, I Whiteside School of Computing Science Technical Report Series, 2013 | | 2013 |
| 3.38 Capturing and Inferring the Proof Process (Part 2: Architecture) A Velykis AI meets Formal Software Development, 27, 0 | | |
Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKVerifierad e-postadress på newcastle.ac.uk
