Reimer Behrends

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 2

Top Topics

Automated Theorem Provers

Multiresolution

Computer Algebra

Top Venues

SIAM J. Discret. Math.

Concurr. Comput. Pract. Exp.

Publications

Mohamed Barakat, Reimer Behrends, Christopher Jefferson, Lukas Kühne, Martin Leuner
On the Generation of Rank 3 Simple Matroids with an Application to Terao's Freeness Conjecture. SIAM J. Discret. Math. 35 (2) (2021)
Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder
HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurr. Comput. Pract. Exp. 28 (13) (2016)
Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis
Adaptive locks: Combining transactions and locks for efficient concurrency. J. Parallel Distributed Comput. 70 (10) (2010)
Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer
Parallelising the computational algebra system GAP. PASCO (2010)
Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer
Towards High-Performance Computational Algebra with GAP. ICMS (2010)
Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis
Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency. PACT (2009)
Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
General and efficient locking without blocking. MSPC (2008)
Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
Transactions with isolation and cooperation. OOPSLA (2007)
R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. SEW (2006)
R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. SEW (2005)
Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon
A Component-Oriented Model for the Design of Safe Multi-threaded Applications. CBSE (2005)
John Viega, Paul Reynolds, Reimer Behrends
Automating Delegation in Class-Based Languages. TOOLS (34) (2000)
Reimer Behrends, Kurt Stirewalt
The universe model: an approach for improving the modularity and reliability of concurrent programs. SIGSOFT FSE (2000)