Andrius Velykis

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 4

Top Topics

Relational Algebra

Distributive Lattices

Database Systems

Top Venues

Theories of Programming and Formal Methods

Newcastle University, Newcastle upon Tyne, UK (PHD)

Education History

Newcastle University, Newcastle upon Tyne, UK

PHD

Publications

Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage
General Lessons from a Rely/Guarantee Development. SETTA (2017)
Julian Fell, Ian J. Hayes, Andrius Velykis
Concurrent Refinement Algebra and Rely Quotients. Arch. Formal Proofs 2016 (2016)
Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis
An Algebra of Synchronous Atomic Steps. FM (2016)
Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter, Andrius Velykis
An algebra of synchronous atomic steps. CoRR (2016)
Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside
A Model for Capturing and Replaying Proof Strategies. VSTTE (2014)
Cliff B. Jones, Leo Freitas, Andrius Velykis
Ours Is to Reason Why. Theories of Programming and Formal Methods (2013)
Andrius Velykis, Leo Freitas
Formal Modelling of Separation Kernel Components. ICTAC (2010)