Ira Fesefeldt

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 5

Top Topics

Epistemic Logic

Logic Based Argumentation

Delay Insensitive

Quantitative And Qualitative

Top Venues

Publications

Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll
Towards Concurrent Quantitative Separation Logic. CONCUR (2022)
Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll
Towards Concurrent Quantitative Separation Logic. CoRR (2022)
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
Foundations for Entailment Checking in Quantitative Separation Logic. ESOP (2022)
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
Foundations for Entailment Checking in Quantitative Separation Logic (extended version). CoRR (2022)
Ira Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars. ICGT (2021)