Martin Köhler

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 11

Top Topics

Efficient Implementation

Top Venues

DAMDID/RCDL (Supplementary Proceedings)

Comput. Sci. Res. Dev.

Publications

Wolfgang zu Castell, Doris Dransch, Guido Juckeland, Marcel Meistring, Bernadette Fritzsch, Ronny Gey, Britta Höpfner, Martin Köhler, Christian Meeßen, Hela Mehrtens, Felix Mühlbauer, Sirko Schindler, Thomas Schnicke, Roland Bertelmann
Towards a Quality Indicator for Research Data publications and Research Software publications - A vision from the Helmholtz Association. CoRR (2024)
Thomas Schörner-Sadenius, Anton Barty, Markus Demleitner, Harry Enke, Oliver Koepler, Martin Köhler, Bridget M. Murphy, Sonja Schimmler, Lisa-Marie Stein
PIDs in the Natural Sciences. CoRDI (2023)
Peter Benner, Martin Köhler, Jens Saak
Matrix Equations, Sparse Solvers: M-M.E.S.S.-2.0.1 - Philosophy, Features and Application for (Parametric) Model. CoRR (2020)
Irina Filozova, Tatyana Zaikina, Galina Shestakova, Roman Semenov, Martin Köhler, Alexander Wagner, Laura Baracchi
JINR Open Access Repository based on the JOIN² Platform. DAMDID/RCDL (Supplementary Proceedings) (2020)
Martin Köhler, Felix Hasselwander, Klaus Schneider
Properties of Invariants and Induction Lemmata. MBMV (2020)
Martin Köhler, Jens Saak
Frequency scaling and energy efficiency regarding the Gauss-Jordan elimination scheme with application to the matrix-sign-function on OpenPOWER 8. Concurr. Comput. Pract. Exp. 31 (6) (2019)
Martin Köhler, Klaus Schneider
Inductive Proof Rules Beyond Safety Properties. MBMV (2019)
Peter Benner, Martin Köhler, Carolin Penke
GPU-Accelerated and Storage-Efficient Implementation of the QR Decomposition. PARCO (2017)
Martin Köhler, Jens Saak
On BLAS Level-3 Implementations of Common Solvers for (Quasi-) Triangular Generalized Lyapunov Equations. ACM Trans. Math. Softw. 43 (1) (2016)
Martin Köhler, Jens Saak
On GPU acceleration of common solvers for (quasi-) triangular generalized Lyapunov equations. Parallel Comput. 57 (2016)
Martin Köhler, Carolin Penke, Jens Saak, Pablo Ezzatti
Energy-aware solution of linear systems with many right hand sides. Comput. Sci. Res. Dev. 31 (4) (2016)
Peter Benner, Martin Köhler, Jens Saak
Fast Approximate Solution of the Non-Symmetric Generalized Eigenvalue Problem on Multicore Architectures. PARCO (2013)
Martin Köhler, Jens Saak
A Shared Memory Parallel Implementation of the IRKA Algorithm for $\mathcal{H}_2$ Model Order Reduction - (Extended Abstract). PARA (2012)
Vasa Curcin, Moustafa Ghanem, Yike Guo, Martin Köhler, Anthony Rowe, Jameel Syed, Patrick Wendel
Discovery net: towards a grid of knowledge discovery. KDD (2002)
Jaturon Chattratichat, John Darlington, Yike Guo, S. Hedvall, Martin Köhler, Jameel Syed
An Architecture for Distributed Enterprise Data Mining. HPCN Europe (1999)
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock
GOFFIN: Higher-Order Functions Meet Concurrent Constraints. Sci. Comput. Program. 30 (1-2) (1998)
Jaturon Chattratichat, John Darlington, Yike Guo, S. Hedvall, Martin Köhler, A. Saleem, Janjao Sutiwaraphun, Dan Yang
A Software Architecture for Deploying High Performance Solution on the Internet. HPCN Europe (1998)
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler
Distributed Haskell: Goffin on the Internet. Fuji International Symposium on Functional and Logic Programming (1998)
Jaturon Chattratichat, John Darlington, Moustafa Ghanem, Yike Guo, Harald Frank Hüning, Martin Köhler, Janjao Sutiwaraphun, Hing Wing To, Dan Yang
Large Scale Data Mining: Challenges and Responses. KDD (1997)
K. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, Wolf Pfannenstiel, Martin Simons
Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. APDC (1997)
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler
GOFFIN: Higher-Order Functions Meet Concurrent Constraints. CCP (1995)
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock
Co-ordinating Parallel Computation through Equational Constraints. WLP (1995)
John Darlington, Yike Guo, Martin Köhler
Functional Programming Languages with Logical Variables: A Linear Logic View. PLILP (1993)