Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards verifying eventually consistent applications., , und . PaPEC@EuroSys, Seite 11:1-11:4. ACM, (2014)HPC Software Verification in Action: A Case Study with Tensor Transposition., , und . CORRECTNESS@SC, Seite 9-16. IEEE, (2018)COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry., , , , , , und . LCPC, Volume 13149 von Lecture Notes in Computer Science, Seite 87-103. Springer, (2020)Race detection techniques for applications using asynchronous programming models (Asenkron programlama modellerini kullanan uygulamalar için yarış durumu yakalama teknikleri). Koç University, Turkey, (2016)I Know It When I See It: Observable Races in JavaScript Applications., , und . Dyla@PLDI, Seite 1:1-1:7. ACM, (2014)Consistency-Aware Scheduling for Weakly Consistent Programs., , , , und . ACM SIGSOFT Softw. Eng. Notes, 42 (4): 1-5 (2017)Toward generalized tensor algebra for ab initio quantum chemistry methods., , und . ARRAY@PLDI, Seite 46-56. ACM, (2019)TAMM: Tensor Algebra for Many-body Methods., , , , , , und . CoRR, (2022)COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry., , , , , , und . CoRR, (2021)Dynamic Verification for Hybrid Concurrent Programming Models., , , , und . RV, Volume 8734 von Lecture Notes in Computer Science, Seite 156-161. Springer, (2014)