Ira Fesefeldt

Orcid: 0000-0001-7837-2611

According to our database1, Ira Fesefeldt authored at least 4 papers between 2021 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Foundations for Entailment Checking in Quantitative Separation Logic (extended version).
CoRR, 2022

Foundations for Entailment Checking in Quantitative Separation Logic.
Proceedings of the Programming Languages and Systems, 2022

Towards Concurrent Quantitative Separation Logic.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 14th International Conference, 2021


  Loading...