Schmitt, Robert H. ; Anthofer, Verena ; Auer, Sören ; Başkaya, Sait ; Bischof, Christian ; Bronger, Torsten ; Claus, Florian ; Cordes, Florian ; Demandt, Évariste ; Eifert, Thomas ; Flemisch, Bernd ; Fuchs, Matthias ; Fuhrmans, Marc ; Gerike, Regine ; Gerstner, Eva-Maria ; Hanke, Vanessa ; Heine, Ina ; Huebser, Louis ; Iglezakis, Dorothea ; Jagusch, Gerald ; Klinger, Axel ; Krafczyk, Manfred ; Kraft, Angelina ; Kuckertz, Patrick ; Küsters, Ulrike ; Lachmayer, Roland ; Langenbach, Christian ; Mozgova, Iryna ; Müller, Matthias S. ; Nestler, Britta ; Pelz, Peter ; Politze, Marius ; Preuß, Nils ; Przybylski-Freund, Marie-Dominique ; Rißler-Pipka, Nanette ; Robinius, Martin ; Schachtner, Joachim ; Schlenz, Hartmut ; Schwarz, Annett ; Schwibs, Jürgen ; Selzer, Michael ; Sens, Irina ; Stäcker, Thomas ; Stemmer, Christian ; Stille, Wolfgang ; Stolten, Detlef ; Stotzka, Rainer ; Streit, Achim ; Strötgen, Robert ; Wang, Wei Min (2024)
NFDI4Ing - the National Research Data Infrastructure for Engineering Sciences.
doi: 10.26083/tuprints-00026679
Report, Secondary publication, Publisher's Version

Hück, Alexander ; Protze, Joachim ; Lehr, Jan-Patrick ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2021)
Towards compiler-aided correctness checking of adjoint MPI applications.
2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness). (11.11.2020)
doi: 10.26083/tuprints-00018889
Conference or Workshop Item, Secondary publication, Preprint