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

Towards Concurrent Quantitative Separation Logic. - Ira Fesefeldt; Joost-Pieter Katoen; Thomas Noll 001 (CONCUR, 2022)

Foundations for Entailment Checking in Quantitative Separation Logic. - Kevin Batz; Ira Fesefeldt; Marvin Jansen; Joost-Pieter Katoen; Florian Keßler; Christoph Matheja; Thomas Noll 001 (ESOP, 2022)

Foundations for Entailment Checking in Quantitative Separation Logic (extended version). - Kevin Batz; Ira Fesefeldt; Marvin Jansen; Joost-Pieter Katoen; Florian Keßler; Christoph Matheja; Thomas Noll 001 (CoRR, 2022)