Jens Pagel

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Abductive Reasoning

Logic Based Argumentation

Classical Logic

Asynchronous Circuits

Top Venues

ACM Trans. Comput. Log.

ACM Trans. Program. Lang. Syst.

Publications

Christoph Matheja, Jens Pagel, Florian Zuleger
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions. ACM Trans. Comput. Log. 24 (1) (2023)
Jens Pagel, Florian Zuleger
Strong-separation Logic. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
Jens Pagel, Florian Zuleger
Strong-Separation Logic. ESOP (2021)
Jens Pagel, Christoph Matheja, Florian Zuleger
Complete Entailment Checking for Separation Logic with Inductive Definitions. CoRR (2020)
Jens Pagel, Florian Zuleger
Strong-Separation Logic. CoRR (2020)