Reimer Behrends

According to our database, Reimer Behrends authored at least 12 papers between 2000 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

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

2016

HPC-GAP: engineering a 21st-century high-performance computer algebra system.

Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder

Concurr. Comput. Pract. Exp., 2016

2010

Adaptive locks: Combining transactions and locks for efficient concurrency.

Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis

J. Parallel Distributed Comput., 2010

Towards High-Performance Computational Algebra with GAP.

Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer

Proceedings of the Mathematical Software, 2010

Parallelising the computational algebra system GAP.

Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

2008

General and efficient locking without blocking.

Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young

Proceedings of the 2008 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), 2008

2007

Transactions with isolation and cooperation.

Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

Using Views to Specify a Synchronization Aspect for Object-Oriented Languages.

R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

2005

Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems.

R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

A Component-Oriented Model for the Design of Safe Multi-threaded Applications.

Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon

Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2000

Automating Delegation in Class-Based Languages.

John Viega, Paul Reynolds, Reimer Behrends

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

The universe model: an approach for improving the modularity and reliability of concurrent programs.

Reimer Behrends, Kurt Stirewalt

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000