default search action
Martin Köhler
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i2]Wolfgang zu Castell, Doris Dransch, Guido Juckeland, Marcel Meistring
, Bernadette Fritzsch
Towards a Quality Indicator for Research Data publications and Research Software publications - A vision from the Helmholtz Association. CoRR abs/2401.08804 (2024) - 2023
- [c16]Thomas Schörner-Sadenius
PIDs in the Natural Sciences. CoRDI 2023 - [d7]Jens Saak
M-M.E.S.S. - The Matrix Equation Sparse Solver Library. Version 3.0. Zenodo, 2023 [all versions] - 2022
- [d6]Jens Saak
M-M.E.S.S. - The Matrix Equation Sparse Solver Library. Version 2.2. Zenodo, 2022 [all versions] - 2021
- [d5]Jens Saak
M-M.E.S.S. - The Matrix Equation Sparse Solver Library. Version 2.1. Zenodo, 2021 [all versions] - 2020
- [c15]Martin Köhler, Felix Hasselwander, Klaus Schneider:
Properties of Invariants and Induction Lemmata. MBMV 2020: 1-10 - [c14]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: 142-155 - [d4]Jens Saak
M-M.E.S.S. - The Matrix Equation Sparse Solver Library. Version 2.0.1. Zenodo, 2020 [all versions] - [i1]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 abs/2003.02088 (2020)
2010 – 2019
- 2019
- [j5]Martin Köhler
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) - [c13]Martin Köhler, Klaus Schneider:
Inductive Proof Rules Beyond Safety Properties. MBMV 2019: 1-9 - [d3]Jens Saak
M-M.E.S.S. - The Matrix Equation Sparse Solver Library. Version 2.0. Zenodo, 2019 [all versions] - 2018
- [d2]Peter Benner
C-M.E.S.S.-1.0.0 - The Matrix Equation Sparse Solver Library (C Version). Zenodo, 2018 - 2017
- [c12]Peter Benner, Martin Köhler
GPU-Accelerated and Storage-Efficient Implementation of the QR Decomposition. PARCO 2017: 329-338 - 2016
- [j4]Martin Köhler
Energy-aware solution of linear systems with many right hand sides. Comput. Sci. Res. Dev. 31(4): 215-223 (2016) - [j3]Martin Köhler
On GPU acceleration of common solvers for (quasi-) triangular generalized Lyapunov equations. Parallel Comput. 57: 212-221 (2016) - [j2]Martin Köhler
On BLAS Level-3 Implementations of Common Solvers for (Quasi-) Triangular Generalized Lyapunov Equations. ACM Trans. Math. Softw. 43(1): 3:1-3:23 (2016) - [d1]Jens Saak
M-M.E.S.S.-1.0 - The Matrix Equation Sparse Solver Library. Zenodo, 2016 - 2013
- [c11]Peter Benner, Martin Köhler
Fast Approximate Solution of the Non-Symmetric Generalized Eigenvalue Problem on Multicore Architectures. PARCO 2013: 143-152 - 2012
- [c10]Martin Köhler
A Shared Memory Parallel Implementation of the IRKA Algorithm for $\mathcal{H}_2$ Model Order Reduction - (Extended Abstract). PARA 2012: 541-544
2000 – 2009
- 2002
- [c9]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: 658-663
1990 – 1999
- 1999
- [c8]Jaturon Chattratichat, John Darlington, Yike Guo, S. Hedvall, Martin Köhler, Jameel Syed:
An Architecture for Distributed Enterprise Data Mining. HPCN Europe 1999: 573-582 - 1998
- [j1]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): 157-199 (1998) - [c7]Manuel M. T. Chakravarty, Yike Guo, Martin Köhler:
Distributed Haskell: Goffin on the Internet. Fuji International Symposium on Functional and Logic Programming 1998: 80-97 - [c6]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: 545-555 - 1997
- [c5]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: 66-73 - [c4]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: 143-146 - 1995
- [c3]Manuel M. T. Chakravarty, Yike Guo, Martin Köhler:
GOFFIN: Higher-Order Functions Meet Concurrent Constraints. CCP 1995: 6:1-6:15 - [c2]Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock:
Co-ordinating Parallel Computation through Equational Constraints. WLP 1995: 123-132 - 1993
- [c1]John Darlington, Yike Guo, Martin Köhler:
Functional Programming Languages with Logical Variables: A Linear Logic View. PLILP 1993: 201-219
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: