The universe model: an approach for improving the modularity and reliability of concurrent programs. - Reimer Behrends; Kurt Stirewalt (SIGSOFT FSE, 2000)

Automating Delegation in Class-Based Languages. - John Viega; Paul Reynolds; Reimer Behrends (TOOLS (34), 2000)

A Component-Oriented Model for the Design of Safe Multi-threaded Applications. - Reimer Behrends; R. E. Kurt Stirewalt; Laura K. Dillon (CBSE, 2005)

Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. - R. E. Kurt Stirewalt; Reimer Behrends; Laura K. Dillon (SEW, 2005)

Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. - R. E. Kurt Stirewalt; Laura K. Dillon; Reimer Behrends (SEW, 2006)

Transactions with isolation and cooperation. - Yannis Smaragdakis; Anthony Kay; Reimer Behrends; Michal Young (OOPSLA, 2007)

General and efficient locking without blocking. - Yannis Smaragdakis; Anthony Kay; Reimer Behrends; Michal Young (MSPC, 2008)

Parallelising the computational algebra system GAP. - Reimer Behrends; Alexander Konovalov 001; Steve Linton; Frank Lübeck; Max Neunhöffer (PASCO, 2010)

Towards High-Performance Computational Algebra with GAP. - Reimer Behrends; Alexander Konovalov 001; Steve Linton; Frank Lübeck; Max Neunhöffer (ICMS, 2010)

Adaptive locks: Combining transactions and locks for efficient concurrency. - Takayuki Usui; Reimer Behrends; Jacob Evans; Yannis Smaragdakis (J. Parallel Distributed Comput., 2010)

HPC-GAP: engineering a 21st-century high-performance computer algebra system. - Reimer Behrends; Kevin Hammond; Vladimir Janjic; Alexander Konovalov 001; Steve Linton; Hans-Wolfgang Loidl; Patrick Maier 001; Phil Trinder (Concurr. Comput. Pract. Exp., 2016)

On the Generation of Rank 3 Simple Matroids with an Application to Terao's Freeness Conjecture. - Mohamed Barakat; Reimer Behrends; Christopher Jefferson; Lukas Kühne; Martin Leuner (SIAM J. Discret. Math., 2021)