Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Pagel, Jens
54
Ergebnisse:
Personensuche
X
Format
Online (53)
Print (1)
Medientypen
Artikel (Online) (24)
Buchkapitel (Online) (1)
Buchkapitel (Print) (1)
OpenAccess-Volltexte (28)
Sprachen
deutsch (2)
englisch (45)
Sortierung: Relevanz
Sortierung: Jahr
?
1
A Decision Procedure for Guarded Separation Logic Complete ..:
Matheja, Christoph
;
Pagel, Jens
;
Zuleger, Florian
ACM Transactions on Computational Logic. 24 (2023) 1 - p. 1-76 , 2023
Link:
https://doi.org/10.1145/..
?
2
Strong-separation Logic:
Pagel, Jens
;
Zuleger, Florian
ACM Transactions on Programming Languages and Systems. 44 (2022) 3 - p. 1-40 , 2022
Link:
https://doi.org/10.1145/..
?
3
Strong-Separation Logic:
, In:
Programming Languages and Systems; Lecture Notes in Computer Science
,
Pagel, Jens
;
Zuleger, Florian
- p. 664-692 , 2021
Link:
https://doi.org/10.1007/..
?
4
Validation of epithelial ovarian cancer and fallopian tube ..:
PETRI, ANETTE LYKKE
;
KJAER, SUSANNE KRÜGER
;
CHRISTENSEN, IB J.
...
Acta Obstetricia et Gynecologica Scandinavica. 88 (2009) 5 - p. 536-542 , 2009
Link:
https://doi.org/10.1080/..
?
5
Primary carcinoma of the fallopian tube:
Hée, Poul
;
Pagel, Jens D.
European Journal of Obstetrics & Gynecology and Reproductive Biology. 25 (1987) 2 - p. 131-138 , 1987
Link:
https://doi.org/10.1016/..
?
6
Bromocriptine in the treatment of carcinoma of the cervix: ..:
Ruge, Susanne
;
Pagel, Jens
;
Hørding, Ulla
Gynecologic Oncology. 21 (1985) 3 - p. 356-358 , 1985
Link:
https://doi.org/10.1016/..
?
7
Results of repeated tuboplasties:
Lauritsen, Jørgen Glenn
;
Pagel, Jens D.
;
Vangsted, Peter
.
Fertility and Sterility. 37 (1982) 1 - p. 68-72 , 1982
Link:
https://doi.org/10.1016/..
?
8
Results of Repeated Tuboplasties:
LAURITSEN, JØSRGEN GLENN
;
PAGEL, JENS D.
;
VANGSTED, PETER
.
Obstetrical & Gynecological Survey. 37 (1982) 6 - p. 426-427 , 1982
Link:
https://doi.org/10.1097/..
?
9
A Decision Procedure for Guarded Separation Logic: Complete..:
Matheja, Christoph
;
Pagel, Jens
;
Zuleger, Florian
https://orbit.dtu.dk/en/publications/0189cd99-f648-418f-81b0-25341138ade4. , 2023
Link:
https://orbit.dtu.dk/en/..
?
10
Decision procedures for separation logic: beyond symbolic h..:
Pagel, Jens
https://doi.org/10.34726/hss.2020.85941. , 2020
Link:
https://doi.org/10.34726..
?
11
A Decision Procedure for Guarded Separation Logic: Complete..:
Pagel, Jens
;
Matheja, Christoph
;
Zuleger, Florian
http://arxiv.org/abs/2002.01202. , 2020
Link:
http://arxiv.org/abs/200..
?
12
Strong-Separation Logic:
Pagel, Jens
;
Zuleger, Florian
http://arxiv.org/abs/2001.06235. , 2020
Link:
http://arxiv.org/abs/200..
?
13
Microplastics persist in an arable soil but do not affect s..:
Schöpfer, Lion
;
Möller, Julia N.
;
Steiner, Thomas
...
Journal of Plant Nutrition and Soil Science. 185 (2022) 6 - p. 836-849 , 2022
Link:
https://doi.org/10.1002/..
?
14
Colorectal Cancer Progression Is Potently Reduced by a Gluc..:
Skibbe, Kerstin
;
Brethack, Ann-Kathrin
;
Sünderhauf, Annika
...
Cancers. 13 (2021) 22 - p. 5817 , 2021
Link:
https://doi.org/10.3390/..
?
15
Polysulfates Block SARS‐CoV‐2 Uptake through Electrostatic ..:
Nie, Chuanxiong
;
Pouyan, Paria
;
Lauster, Daniel
...
Angewandte Chemie International Edition. 60 (2021) 29 - p. 15870-15878 , 2021
Link:
https://doi.org/10.1002/..
1-15