Martin Köhler

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