### 7 papers:

- LATA-2015-TravnicekJMC #pattern matching
- Backward Linearised Tree Pattern Matching (JT, JJ, BM, LGC), pp. 599–610.
- ICALP-v2-2014-CeroneGY
- Parameterised Linearisability (AC, AG, HY), pp. 98–109.
- CAV-2012-SchellhornWD #algorithm #how
- How to Prove Algorithms Linearisable (GS, HW, JD), pp. 243–259.
- DATE-2011-WangKAWMA #energy #simulation #using
- Accelerated simulation of tunable vibration energy harvesting systems using a linearised state-space technique (LW, TJK, BMAH, ASW, GVM, INAG), pp. 1267–1272.
- FM-2011-DerrickSW #verification
- Verifying Linearisability with Potential Linearisation Points (JD, GS, HW), pp. 323–337.
- PADL-2008-BrandDPS #constraints #flexibility #rule-based
- Flexible, Rule-Based Constraint Model Linearisation (SB, GJD, JP, PJS), pp. 68–83.
- PPoPP-2006-VafeiadisHHS #correctness #proving
- Proving correctness of highly-concurrent linearisable objects (VV, MH, CARH, MS), pp. 129–136.