Maik Riechert

Orcid: 0000-0003-3299-1382

According to our database1, Maik Riechert authored at least 9 papers between 2016 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Why Should I Trust Your Code?
Commun. ACM, January, 2024

2023
Why Should I Trust Your Code?: Confidential computing enables users to authenticate code running in TEEs, but users also need evidence this code is trustworthy.
ACM Queue, 2023

2021
Fast and Memory-Efficient Neural Code Completion.
Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

2019
WRF-CMake: integrating CMake support into the Advanced Research WRF (ARW) modelling system.
J. Open Source Softw., 2019

Open source QGIS toolkit for the Advanced Research WRF modelling system.
Environ. Model. Softw., 2019

2017
AMPNet: Asynchronous Model-Parallel Training for Dynamic Neural Networks.
CoRR, 2017

Bringing LTL Model Checking to Biologists.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016
Algebraic dynamic programming for multiple context-free grammars.
Theor. Comput. Sci., 2016

Coverages, JSON-LD and RDF Data Cubes.
Proceedings of the Workshop on Spatial Data on the Web (SDW 2016) co-located with The 9th International Conference on Geographic Information Science (GIScience 2016), 2016


  Loading...