Maik Riechert

13 papers A 1B 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
A foundation model for the Earth system.
Nat.
Cristian Bodnar, Wessel P. Bruinsma, Ana Lucic, Megan Stanley, Anna Allen, Johannes Brandstetter, Patrick Garvan, Maik Riechert, Jonathan A. Weyn, Haiyu Dong, Jayesh K. Gupta, Kit Thambiratnam, Alexander T. Archibald, Chun-Chieh Wu, Elizabeth Heider, Max Welling, Richard E. Turner, Paris Perdikaris
2025 J jnl
UniGenX: Unified Generation of Sequence and Structure with Autoregressive Diffusion.
CoRR
Gongbo Zhang, Yanting Li, Renqian Luo, Pipi Hu, Zeru Zhao, Lingbo Li, Guoqing Liu, Zun Wang, Ran Bi, Kaiyuan Gao, Liya Guo, Yu Xie, Chang Liu, Jia Zhang, Tian Xie, Robert Pinsler, Claudio Zeni, Ziheng Lu, Yingce Xia, Marwin H. S. Segler, Maik Riechert, Li Yuan, Lei Chen, Haiguang Liu, Tao Qin
2024 J jnl
Aurora: A Foundation Model of the Atmosphere.
CoRR
Cristian Bodnar, Wessel P. Bruinsma, Ana Lucic, Megan Stanley, Johannes Brandstetter, Patrick Garvan, Maik Riechert, Jonathan A. Weyn, Haiyu Dong, Anna Vaughan, Jayesh K. Gupta, Kit Thambiratnam, Alexander T. Archibald, Elizabeth Heider, Max Welling, Richard E. Turner, Paris Perdikaris
2024 J jnl
Why Should I Trust Your Code?
Commun. ACM
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
2023 J jnl
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
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
2021 A conf
Fast and Memory-Efficient Neural Code Completion.
MSR
Alexey Svyatkovskiy, Sebastian Lee, Anna Hadjitofi, Maik Riechert, Juliana Vicente Franco, Miltiadis Allamanis
2020 J jnl
Fast and Memory-Efficient Neural Code Completion.
CoRR
Alexey Svyatkovskiy, Sebastian Lee, Anna Hadjitofi, Maik Riechert, Juliana Franco, Miltiadis Allamanis
2019 J jnl
Open source QGIS toolkit for the Advanced Research WRF modelling system.
Environ. Model. Softw.
David Meyer, Maik Riechert
2019 J jnl
WRF-CMake: integrating CMake support into the Advanced Research WRF (ARW) modelling system.
J. Open Source Softw.
Maik Riechert, David Meyer
2017 J jnl
AMPNet: Asynchronous Model-Parallel Training for Dynamic Neural Networks.
CoRR
Alex Gaunt, Matthew Johnson, Maik Riechert, Daniel Tarlow, Ryota Tomioka, Dimitrios Vytiniotis, Sam Webster
2017 B conf
Bringing LTL Model Checking to Biologists.
VMCAI
Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov
2016 J jnl
Algebraic dynamic programming for multiple context-free grammars.
Theor. Comput. Sci.
Maik Riechert, Christian Höner zu Siederdissen, Peter F. Stadler
2016 — conf
Coverages, JSON-LD and RDF Data Cubes.
SDW@GIScience
Jon D. Blower, Maik Riechert