Enhancing the Programmability and Performance Portability of GPU Tensor Operations. - Arya Mazaheri; Johannes Schulte; Matthew W. Moskewicz; Felix Wolf 001; Ali Jannesari (Euro-Par, 2019)

Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars. - Ira Fesefeldt; Christoph Matheja; Thomas Noll 001; Johannes Schulte (ICGT, 2021)