Edit Profile (opens in new tab) Armstrong, Alasdair Compute Distance To: Compute Author ID: armstrong.alasdair Published as: Armstrong, Alasdair Documents Indexed: 10 Publications since 2002 Co-Authors: 8 Co-Authors with 9 Joint Publications 134 Co-Co-Authors all top 5 Co-Authors 0 single-authored 6 Struth, Georg 3 Dongol, Brijesh 2 Gomes, Victor B. F. 2 Weber, Tjark 1 Doherty, Simon 1 Foster, Simon 1 Jagadeesan, Radha 1 Riely, James Serials 1 Formal Aspects of Computing 1 Pattern Recognition 1 Journal of Logical and Algebraic Methods in Programming Fields 10 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 28 times in 19 Documents Cited by ▼ Year ▼ Building program construction and verification tools from algebraic principles. Zbl 1342.68066Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg 9 2016 Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637Armstrong, Alasdair; Struth, Georg; Weber, Tjark 6 2014 Program analysis and verification based on Kleene algebra in Isabelle/HOL. Zbl 1317.68201Armstrong, Alasdair; Struth, Georg; Weber, Tjark 5 2013 Algebras for program correctness in Isabelle/HOL. Zbl 1405.68314Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg 3 2014 Automated reasoning in higher-order regular algebra. Zbl 1364.68326Armstrong, Alasdair; Struth, Georg 2 2012 On abstraction and compositionality for weak-memory linearisability. Zbl 1446.68104Dongol, Brijesh; Jagadeesan, Radha; Riely, James; Armstrong, Alasdair 1 2018 Modularising opacity verification for hybrid transactional memory. Zbl 1489.68137Armstrong, Alasdair; Dongol, Brijesh 1 2017 Proving opacity via linearizability: a sound and complete method. Zbl 1489.68138Armstrong, Alasdair; Dongol, Brijesh; Doherty, Simon 1 2017 On abstraction and compositionality for weak-memory linearisability. Zbl 1446.68104Dongol, Brijesh; Jagadeesan, Radha; Riely, James; Armstrong, Alasdair 1 2018 Modularising opacity verification for hybrid transactional memory. Zbl 1489.68137Armstrong, Alasdair; Dongol, Brijesh 1 2017 Proving opacity via linearizability: a sound and complete method. Zbl 1489.68138Armstrong, Alasdair; Dongol, Brijesh; Doherty, Simon 1 2017 Building program construction and verification tools from algebraic principles. Zbl 1342.68066Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg 9 2016 Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637Armstrong, Alasdair; Struth, Georg; Weber, Tjark 6 2014 Algebras for program correctness in Isabelle/HOL. Zbl 1405.68314Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg 3 2014 Program analysis and verification based on Kleene algebra in Isabelle/HOL. Zbl 1317.68201Armstrong, Alasdair; Struth, Georg; Weber, Tjark 5 2013 Automated reasoning in higher-order regular algebra. Zbl 1364.68326Armstrong, Alasdair; Struth, Georg 2 2012 all cited Publications top 5 cited Publications all top 5 Cited by 38 Authors 7 Struth, Georg 5 Foster, Simon 3 Woodcock, James C. P. 3 Zeyda, Frank 2 Cavalcanti, Ana 2 Colvin, Robert J. 2 Doherty, Simon 2 Hoare, C. A. R. Tony 2 Huerta y Munive, Jonathan Julián 2 Möller, Bernhard 2 Winter, Kirsten 1 Armstrong, Alasdair 1 Baxter, James 1 Bila, Eleni 1 Canham, Samuel 1 Cranch, James 1 Cristiá, Maximiliano 1 Derrick, John 1 Dongol, Brijesh 1 Doumane, Amina 1 Dragomir, Iulia 1 Gomes, Victor B. F. 1 Guttmann, Walter 1 Hayes, Ian J. 1 Heras, Jónathan 1 Martín-Mateos, Francisco-Jesús 1 Meinicke, Larissa A. 1 Müller, Martin Eric 1 Pascual, Vico 1 Pous, Damien 1 Preoteasa, Viorel 1 Rossi, Gianfranco 1 Schellhorn, Gerhard 1 Smith, Graeme 1 Tripakis, Stavros 1 van Staden, Stephan 1 Wehrheim, Heike 1 Zhu, Huibiao all top 5 Cited in 9 Serials 3 Formal Aspects of Computing 2 Journal of Automated Reasoning 2 MSCS. Mathematical Structures in Computer Science 1 Information Processing Letters 1 Theoretical Computer Science 1 Information and Computation 1 Applicable Algebra in Engineering, Communication and Computing 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 19 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Group theory and generalizations (20-XX) Citations by Year