Probabilistic Solitude Verification on a Ring. - Karl R. Abrahamson; Andrew Adler; Lisa Higham; David G. Kirkpatrick (PODC, 1986)

Randomized Function on a Ring (Preliminary Version). - Karl R. Abrahamson; Andrew Adler; Lisa Higham; David G. Kirkpatrick (WDAG, 1987)

Randomized Function Evaluation on a Ring. - Karl R. Abrahamson; Andrew Adler; Lisa Higham; David G. Kirkpatrick (Distributed Comput., 1989)

The Bit Complexity of Randomized Leader Election on a Ring. - Karl R. Abrahamson; Andrew Adler; Rachel Gelbart; Lisa Higham; David G. Kirkpatrick (SIAM J. Comput., 1989)

Probabilistic Leader Election on Rings of Known Size. - Karl R. Abrahamson; Andrew Adler; Lisa Higham; David G. Kirkpatrick (WADS, 1991)

The Parallel Asynchronous Recursion Model. - Lisa Higham; Eric Schenk (SPDP, 1992)

Pram Memory Allocation and Initialization. - Lisa Higham; Eric Schenk (Parallel Process. Lett., 1993)

Tight Lower Bounds for Probabilistic Solitude Verification on Anonymous Rings. - Karl R. Abrahamson; Andrew Adler; Lisa Higham; David G. Kirkpatrick (J. ACM, 1994)

Maintaining B-Trees on an EREW PRAM. - Lisa Higham; Eric Schenk (J. Parallel Distributed Comput., 1994)

Optimal Cost-Sensitive Distributed Minimum Spanning Tree Algorithm. - Teresa M. Przytycka; Lisa Higham (SWAT, 1996)

A Simple, Efficient Algorithm for Maximum Finding on Rings. - Lisa Higham; Teresa M. Przytycka (Inf. Process. Lett., 1996)

Critical Sections and Producer/Consumer Queues in Weak Memory Systems. - Lisa Higham; Jalal Kawash (ISPAN, 1997)

Optimal Algorithms for Probabilistic Solitude Detection on Anonymous Rings. - Lisa Higham; David G. Kirkpatrick; Karl R. Abrahamson; Andrew Adler (J. Algorithms, 1997)

SelfStabilizing Token Circulation on Anonymous Message Passing. - Lisa Higham; S. Myers (OPODIS, 1998)

Long-Lived, Fast, Waitfree Renaming with Optimal Name Space and High Throughput. - Wayne Eberly; Lisa Higham; Jolanta Warpechowska-Gruca (DISC, 1998)

Java: Memory Consistency and Process Coordination. - Lisa Higham; Jalal Kawash (DISC, 1998)

Asymptotically Optimal Election on Weighted Rings. - Lisa Higham; Teresa M. Przytycka (SIAM J. Comput., 1998)

Meeting Times of Random Walks on Graphs. - Nader H. Bshouty; Lisa Higham; Jolanta Warpechowska-Gruca (Inf. Process. Lett., 1999)

Memory Consistency and Process Coordination for SPARC Multiprocessors. - Lisa Higham; Jalal Kawash (HiPC, 2000)

Memory consistency and process coordination for SPARC v8 multiprocessors (brief announcement). - Jalal Kawash; Lisa Higham (PODC, 2000)

Bounds for Mutual Exclusion with only Processor Consistency. - Lisa Higham; Jalal Kawash (DISC, 2000)

Self-Stabilizing Minimum Spanning Tree Construction on Message-Passing Networks. - Lisa Higham; Zhiying Liang (DISC, 2001)

Report on DISC'00. - Lisa Higham (SIGACT News, 2001)

Dynamic and self-stabilizing distributed matching. - Subhendu Chattopadhyay; Lisa Higham; Karen Seyffarth (PODC, 2002)

Brief announcement: self-stabilizing distance-d distinct labels via enriched fair composition. - Lisa Higham; Lixiao Wang (PODC, 2004)

Impact of Instruction Re-Ordering on the Correctness of Shared-Memory Programs. - Lisa Higham; Jalal Kawash (ISPAN, 2005)

Can Out-of-Order Instruction Execution in Multiprocessors Be Made Sequentially Consistent?. - Lisa Higham; Jalal Kawash (NPC, 2005)

Programmer-Centric Conditions for Itanium Memory Consistency. - Lisa Higham; LillAnne Jackson; Jalal Kawash (ICDCN, 2006)

Relationships between communication models in networks using atomic registers. - Lisa Higham; Colette Johnen (IPDPS, 2006)

Translating between itanium and sparc memory consistency models. - Lisa Higham; LillAnne Jackson (SPAA, 2006)

Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture. - Lisa Higham; LillAnne Jackson; Jalal Kawash (DISC, 2006)

What is Itanium Memory Consistency from the Programmer's Point of View? - Lisa Higham; LillAnne Jackson; Jalal Kawash (TV@FLoC, 2006)

Tight Bounds for Critical Sections in Processor Consistent Platforms. - Lisa Higham; Jalal Kawash (IEEE Trans. Parallel Distributed Syst., 2006)

Fault-Tolerant Implementations of the Atomic-State Communication Model in Weaker Networks. - Colette Johnen; Lisa Higham (DISC, 2007)

Specifying memory consistency of write buffer multiprocessors. - Lisa Higham; LillAnne Jackson; Jalal Kawash (ACM Trans. Comput. Syst., 2007)

Fault-tolerant implementations of atomic registers by safe registers in networks. - Colette Johnen; Lisa Higham (PODC, 2008)

Implementing sequentially consistent programs on processor consistent platforms. - Lisa Higham; Jalal Kawash (J. Parallel Distributed Comput., 2008)

Answering Multiple-Item Queries in Data Broadcast Systems. - Adesola Omotayo; Ken Barker 001; Moustafa A. Hammad; Lisa Higham; Jalal Kawash (BNCOD, 2009)

Fault-Tolerant Implementations of Regular Registers by Safe Registers with Applications to Networks. - Colette Johnen; Lisa Higham (ICDCN, 2009)

Shadow Prices vs. Vickrey Prices in Multipath Routing. - Parthasarathy Ramanujam; Zongpeng Li; Lisa Higham (INFOCOM, 2009)

Linearizable implementations do not suffice for randomized distributed computation. - Wojciech M. Golab; Lisa Higham; Philipp Woelfel (STOC, 2011)

Programmer-Centric Memory Consistency Modeling. - Lisa Higham; Jalal Kawash; Abhijeet Pareek Pareek (Bull. EATCS, 2011)

Strongly linearizable implementations: possibilities and impossibilities. - Maryam Helmi; Lisa Higham; Philipp Woelfel (PODC, 2012)

An O(sqrt n) Space Bound for Obstruction-Free Leader Election. - George Giakkoupis; Maryam Helmi; Lisa Higham; Philipp Woelfel (DISC, 2013)

Space Bounds for Adaptive Renaming. - Maryam Helmi; Lisa Higham; Philipp Woelfel (DISC, 2014)

Partition consistency - A case study in modeling systems with weak memory consistency and proving correctness of their implementations. - Steven Cheng; Lisa Higham; Jalal Kawash (Distributed Comput., 2014)

The Space Complexity of Long-Lived and One-Shot Timestamp Implementations. - Maryam Helmi; Lisa Higham; Eduardo Pacheco; Philipp Woelfel (J. ACM, 2014)

Test-and-Set in Optimal Space. - George Giakkoupis; Maryam Helmi; Lisa Higham; Philipp Woelfel (STOC, 2015)

Deterministic and Fast Randomized Test-and-Set in Optimal Space. - George Giakkoupis; Maryam Helmi; Lisa Higham; Philipp Woelfel (CoRR, 2016)

Pitfalls in Memory Consistency Modelling. - Lisa Higham; Jalal Kawash (Parallel Process. Lett., 2016)