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
zur Desktop-Version
Toggle navigation
Schopp, Ulrich
14
Ergebnisse:
OpenAccess-Volltexte X
Sprachen
englisch (5)
deutsch (1)
Sortierung: Relevanz
Sortierung: Jahr
?
1
Automated Security Findings Management: A Case Study in Ind..:
Voggenreiter, Markus
;
Angermeir, Florian
;
Moyón, Fabiola
..
http://arxiv.org/abs/2401.06602. , 2024
Link:
http://arxiv.org/abs/240..
?
2
Using a Semantic Knowledge Base to Improve the Management o..:
Voggenreiter, Markus
;
Schöpp, Ulrich
http://arxiv.org/abs/2204.08888. , 2022
Link:
http://arxiv.org/abs/220..
?
3
A Category Theoretic View of Contextual Types: from Simple ..:
Hu, Jason Z. S
;
Pientka, Brigitte
;
Schöpp, Ulrich
http://arxiv.org/abs/2206.02831. , 2022
Link:
http://arxiv.org/abs/220..
?
4
Towards an Accountable and Reproducible Federated Learning:..:
Baracaldo, Nathalie
;
Anwar, Ali
;
Purcell, Mark
...
http://arxiv.org/abs/2202.12443. , 2022
Link:
http://arxiv.org/abs/220..
?
5
Inferring Region Types via an Abstract Notion of Environmen..:
Schöpp, Ulrich
;
Xu, Chuangjie
doi:10.1007/978-3-031-21037-2_3. , 2022
Link:
https://zenodo.org/recor..
?
6
Inferring Region Types via an Abstract Notion of Environmen..:
Schöpp, Ulrich
;
Xu, Chuangjie
http://arxiv.org/abs/2209.02147. , 2022
Link:
http://arxiv.org/abs/220..
?
7
Type-based Enforcement of Infinitary Trace Properties for J..:
Erbatur, Serdar
;
Schöpp, Ulrich
;
Xu, Chuangjie
http://arxiv.org/abs/2107.11280. , 2021
Link:
http://arxiv.org/abs/210..
?
8
Semantical Analysis of Contextual Types:
Pientka, Brigitte
;
Schöpp, Ulrich
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7788623/. , 2020
Link:
http://www.ncbi.nlm.nih...
?
9
Computation by interaction for space-bounded functional pro..:
Dal Lago, Ugo
;
Schöpp, Ulrich
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ic.2015.04.006. , 2016
Link:
https://inria.hal.scienc..
?
10
Computation by interaction for space-bounded functional pro..:
Dal Lago, Ugo
;
Schöpp, Ulrich
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ic.2015.04.006. , 2016
Link:
https://inria.hal.scienc..
?
11
Computation by interaction for space-bounded functional pro..:
DAL LAGO, UGO
;
Schöpp, Ulrich
info:eu-repo/semantics/altIdentifier/wos/WOS:000375424800008. , 2016
Link:
http://hdl.handle.net/11..
?
12
On the Relation of Interaction Semantics to Continuations a..:
Schöpp, Ulrich
http://arxiv.org/abs/1410.4980. , 2014
Link:
http://arxiv.org/abs/141..
?
13
On the Relation of Interaction Semantics to Continuations a..:
Ulrich Schöpp
https://lmcs.episciences.org/977/pdf. , 2014
Link:
https://doi.org/10.2168/..
?
14
Chancen für eine Reform der Vereinten Nationen?:
Bauer, Steffen (Dr.)
;
Ernst, Renée (Dr.)
;
Fröhlich, Manuel (Prof. Dr.)
...
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/9024. , 2006
Link:
https://publishup.uni-po..
1-14