An algebra of synchronous atomic steps IJ Hayes, RJ Colvin, LA Meinicke, K Winter, A Velykis FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 25 | 2016 |

Formal modelling of separation kernel components A Velykis, L Freitas Theoretical Aspects of Computing–ICTAC 2010, 230-244, 2010 | 17 | 2010 |

Formal Modelling of Separation Kernels A Velykis Master’s thesis, Department of Computer Science, University of York, 2009 | 9 | 2009 |

Inferring the proof process A Velykis School of Computing Science Technical Report Series, 2012 | 6 | 2012 |

General lessons from a rely/guarantee development CB Jones, A Velykis, N Yatapanage Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017 | 4 | 2017 |

Concurrent refinement algebra and rely quotients J Fell, IJ Hayes, A Velykis Archive of Formal Proofs, 2016 | 3 | 2016 |

Ours *Is* to Reason WhyCB Jones, L Freitas, A Velykis Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013 | 3 | 2013 |

Capturing Proof Process A Velykis PhD thesis, Newcastle University, 2015 | 2 | 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 Verified Software: Theories, Tools and Experiments: 6th International …, 2014 | 1 | 2014 |

How to say why (in AI4FM) L Freitas, CB Jones, A Velykis, I Whiteside Newcastle University, Computing Science, 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 | | |