E-LIB Suche - Ergebnisse für: Pagel, Jens

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/..