Showing
1 - 11
results of
11
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Støvring, Jan
Search Results - Støvring, Jan
Showing
1 - 11
results of
11
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Comparison of SWMM evaporation and discharge to in-field observations from lined permeable pavements
by
Randall, Mark
,
Støvring, Jan
,
Henrichs, Malte
,
Bergen Jensen, Marina
Published in
Urban water journal
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Hydraulic Performance of Lined Permeable Pavement Systems in the Built Environment
by
Støvring, Jan
,
Dam, Torben
,
Jensen, Marina
Published in
Water (Basel)
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
Surface sedimentation at permeable pavement systems: implications for planning and design
by
Støvring, Jan
,
Dam, Torben
,
Bergen Jensen, Marina
Published in
Urban water journal
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
4
Loading…
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
by
Birkedal, Lars
,
Møgelberg, Rasmus Ejlers
,
Schwinghammer, Jan
,
Støvring, Kristian
Published in
Logical methods in computer science
Get full text
Items that cite this one
Article
Save to List
Saved in:
5
Loading…
Statin use before and after the KDIGO Lipids in chronic kidney disease guideline: A population‐based interrupted time series analysis
by
Kampmann, Jan D.
,
Nybo, Mads
,
Brandt, Frans
,
Støvring, Henrik
,
Damkier, Per
,
Henriksen, Daniel P.
,
Lund, Lars C.
Published in
Basic & clinical pharmacology & toxicology
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
6
Loading…
Non-Adherence To Childhood HPV Vaccination Is Associated With Non-Participation In Cervical Cancer Screening - A Nationwide Danish Register-Based Cohort Study
by
Badre-Esfahani, Sara
,
Larsen, Mette Bach
,
Seibæk, Lene
,
Petersen, Lone Kjeld
,
Blaakær, Jan
,
Støvring, Henrik
,
Andersen, Berit
Published in
Clinical epidemiology
Get full text
Items that cite this one
Article
Save to List
Saved in:
7
Loading…
Impact of a TLR9 agonist and broadly neutralizing antibodies on HIV-1 persistence: the randomized phase 2a TITAN trial
by
Gunst, Jesper D
,
Højen, Jesper F
,
Pahus, Marie H
,
Rosás-Umbert, Miriam
,
Stiksrud, Birgitte
,
McMahon, James H
,
Denton, Paul W
,
Nielsen, Henrik
,
Johansen, Isik S
,
Benfield, Thomas
,
Leth, Steffen
,
Gerstoft, Jan
,
Østergaard, Lars
,
Schleimann, Mariane H
,
Olesen, Rikke
,
Støvring, Henrik
,
Vibholm, Line
,
Weis, Nina
,
Dyrhol-Riise, Anne Ma
,
Pedersen, Karen B. H
,
Lau, Jillian S. Y
,
Copertino, Dennis C
,
Linden, Noemi
,
Huynh, Tan T
,
Ramos, Victor
,
Jones, R. Brad
,
Lewin, Sharon R
,
Tolstrup, Martin
,
Rasmussen, Thomas A
,
Nussenzweig, Michel C
,
Caskey, Marina
,
Reikvam, Dag Henrik
,
Søgaard, Ole S
Published in
Nature medicine
Request full text
Items that cite this one
Article
Save to List
Saved in:
8
Loading…
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees
by
Birkedal, L.
,
Mogelberg, R. E.
,
Schwinghammer, J.
,
Stovring, K.
Request full text
Items that cite this one
Conference Proceeding
Save to List
Saved in:
9
Loading…
A step-indexed Kripke model of hidden state
by
SCHWINGHAMMER, JAN
,
BIRKEDAL, LARS
,
POTTIER, FRANÇOIS
,
REUS, BERNHARD
,
STØVRING, KRISTIAN
,
YANG, HONGSEOK
Published in
Mathematical structures in computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
10
Loading…
Step-Indexed Kripke Models over Recursive Worlds
by
BIRKEDAL, Lars
,
REUS, Bernhard
,
SCHWINGHAMMER, Jan
,
STØVRING, Kristian
,
THAMSBORG, Jacob
,
YANG, Hongseok
Published in
ACM SIGPLAN notices
Get full text
Items that cite this one
Article
Save to List
Saved in:
11
Loading…
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
by
Birkedal, Lars
,
Møgelberg, Rasmus Ejlers
,
Schwinghammer, Jan
,
Støvring, Kristian
Published in
arXiv.org
Get full text
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
8 results
8
Full Text
11 results
11
Format
Articles
10 results
10
Conference Proceedings
1 results
1
Journal Title
Urban Water Journal
2 results
2
Acm Sigplan Notices
1 results
1
Arxiv.org
1 results
1
Basic & Clinical Pharmacology & Toxicology
1 results
1
Clinical Epidemiology
1 results
1
Logical Methods In Computer Science
1 results
1
Mathematical Structures In Computer Science
1 results
1
Nature Medicine
1 results
1
Sigplan Notices
1 results
1
Water
1 results
1
Subjects
Science & Technology
10 results
10
Computer Science
4 results
4
Life Sciences & Biomedicine
4 results
4
Technology
4 results
4
Computer Science, Theory & Methods
3 results
3
Logic
3 results
3
Permeability
3 results
3
Physical Sciences
3 results
3
Water Resources
3 results
3
Cancer Research
2 results
2
Computer Science - Logic In Computer Science
2 results
2
Evaporation
2 results
2
Humans
2 results
2
Mathematical Models
2 results
2
Programming Languages
2 results
2
Semantics
2 results
2
Step-Indexing
2 results
2
Suds
2 results
2
692/308/2779/777
1 results
1
692/699/255/1901
1 results
1
Year of Publication
From:
To:
Source
Ingentaconnect Journals
4 results
4
Road
4 results
4
Ezb Electronic Journals Library
4 results
4
Doaj Directory Of Open Access Journals
3 results
3
Publicly Available Content Database (Proquest) (Pq Sdu P3)
3 results
3
Taylor And Francis Science And Technology Collection
2 results
2
Taylor & Francis (Open Access)
1 results
1
Wiley Online Library Journals【Remote Access Available】
1 results
1
Wiley Open Access
1 results
1
Nora - Norwegian Open Research Archives
1 results
1
Ieee Electronic Library (Iel) Conference Proceedings
1 results
1
Cambridge University Press:jisc Collections:full Collection Digital Archives (Stm And Hss) (218 Titles)
1 results
1
Acm Digital Library
1 results
1
Cambridge University Press
1 results
1
Association For Computing Machinery:jisc Collections:acm Open Journals 2023-2025 (Reading List)
1 results
1
Ieee Xplore All Conference Series
1 results
1
Free E- Journals
1 results
1
Freely Accessible Science Journals - Check A-Z Of Ejournals
1 results
1
Wiley-Blackwell Read & Publish Collection
1 results
1
Cup 剑桥大学出版社过刊(国图购买)
1 results
1