Name Card

Full name Familienname, Vorname
Pagel, Jens
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-8 of 8 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Matheja, Christoph ; Pagel, Jens ; Zuleger, Florian A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive DefinitionsArticle Artikel Jan-2023
2Pagel, Jens ; Zuleger, Florian Strong-separation Logic (Extended Version)Article Artikel Sep-2022
3Pagel, Jens ; Zuleger, Florian Strong-separation LogicKonferenzbeitrag Inproceedings 2022
4Pagel, Jens ; Zuleger, Florian Beyond Symbolic Heaps: Deciding Separation Logic With Inductive DefinitionsKonferenzbeitrag Inproceedings 2020
5Pagel Jens - 2020 - Decision procedures for separation logic beyond symbolic...pdf.jpgPagel, Jens Decision procedures for separation logic: beyond symbolic heapsThesis Hochschulschrift 2020
6Pagel, Jens ; Matheja, Christoph ; Zuleger, Florian Effective Entailment Checking for Separation Logic with Inductive DefinitionsKonferenzbeitrag Inproceedings 2019
7Sighireanu, Mihaela ; Pagel, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, Florian SL-COMP: Competition of Solvers for Separation LogicKonferenzbeitrag Inproceedings 2019
8Pagel, Jens ; Jovanovic, Dejan ; Weissenbacher, Georg A Separation Logic with Data: Small Models and AutomationKonferenzbeitrag Inproceedings 2018

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Krulj Stefan - 2020 - Eine Entscheidungsprozedur fuer Separation-Logic mit Daten.pdf.jpgKrulj, Stefan Eine Entscheidungsprozedur für Separation-Logic mit DatenThesis Hochschulschrift 2020