E-LIB Suche - Ergebnisse für: Schopp, Ulrich

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