Arne Kutzner

According to our database, Arne Kutzner authored at least 9 papers between 1998 and 2020.

Collaborative distances:

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

2020

A performant bridge between fixed-size and variable-size seeding.

Arne Kutzner, Pok-Son Kim, Markus Schmidt

BMC Bioinform., 2020

2012

A Term-based Language for Resource-Constrained Project Scheduling and its Complexity Analysis.

Arne Kutzner, Pok-Son Kim

Int. J. Fuzzy Log. Intell. Syst., 2012

Asymptotically Optimal Merging on ManyCore GPUs.

Arne Kutzner, Pok-Son Kim, Won-Kwang Park

IEICE Trans. Inf. Syst., 2012

2008

Ratio Based Stable In-Place Merging.

Pok-Son Kim, Arne Kutzner

Proceedings of the Theory and Applications of Models of Computation, 2008

2007

A Simple Algorithm for Stable Minimum Storage Merging.

Pok-Son Kim, Arne Kutzner

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

2006

On Optimal and Efficient in Place Merging.

Pok-Son Kim, Arne Kutzner

Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

2004

Stable Minimum Storage Merging by Symmetric Comparisons.

Pok-Son Kim, Arne Kutzner

Proceedings of the Algorithms, 2004

2000

Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice: operationale Semantik, Programmtransformationen und Anwendungen.

Arne Kutzner

PhD thesis, 2000

1998

A Non-Deterministic Call-by-Need Lambda Calculus.

Arne Kutzner, Manfred Schmidt-Schauß

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998