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.
