E-LIB Suche - Ergebnisse für: Rossberg, Andreas

1

Wasm SpecTec: Engineering a Formal Language Standard:

Breitner, Joachim ; Gardner, Philippa ; Lee, Jaehyun...
http://arxiv.org/abs/2311.07223. , 2023

Link: http://arxiv.org/abs/231..

2

Continuing WebAssembly with Effect Handlers:

Phipps-Costin, Luna ; Rossberg, Andreas ; Guha, Arjun...
http://arxiv.org/abs/2308.08347. , 2023

Link: http://arxiv.org/abs/230..

3

Foundations of WebAssembly (Dagstuhl Seminar 23101):

Bhargavan, Karthikeyan ; Protzenko, Jonathan ; Rossberg, Andreas.
doi:10.4230/DagRep.13.3.1. , 2023

Link: https://doi.org/10.4230/..

4

Scalable Handling of Effects (Dagstuhl Seminar 21292):

Ahman, Danel ; Ahmed, Amal ; Lindley, Sam.
doi:10.4230/DagRep.11.6.54. , 2021

Link: https://doi.org/10.4230/..

5

Weakening WebAssembly:

Pichon-Pharabod, Jean ; Watt, Conrad ; Rossberg, Andreas
https://www.repository.cam.ac.uk/handle/1810/302089. , 2019

Link: https://www.repository.c..

6

Structural investigations of (La,Pu)PO4 monazite solid solu..:

ARINICHEVA Yulia ; POPA Karin ; SCHEINOST A.C...
JRC103781. , 2017

Link: https://publications.jrc..

7

Typed open programming : a higher-order, typed approach to ..:

Rossberg, Andreas
http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-12627. , 2007

Link: http://nbn-resolving.org..

8

Generativity and dynamic opacity for abstract types (extend..:

Rossberg, Andreas
http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-2795. , 2004

Link: http://nbn-resolving.org..

9

Generativity and dynamic opacity for abstract types:

Rossberg, Andreas
http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-2742. , 2003

Link: http://nbn-resolving.org..

10

Dynamic opacity for abstract types:

Rossberg, Andreas
http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-2925. , 2002

Link: http://nbn-resolving.org..

11

Immobilization of technetium by iron corrosion phases: less..:

Mayordomo, Natalia ; Rodríguez, Diana M ; Brendler, Vinzenz...
info:eu-repo/semantics/altIdentifier/doi/10.5194/sand-2-155-2023. , 2023

Link: https://publikationen.bi..

12

Immobilization of technetium by iron corrosion phases: less..:

Mayordomo, Natalia ; Rodríguez, Diana M ; Brendler, Vinzenz...
doi:10.5194/sand-2-155-2023. , 2023

Link: https://doi.org/10.5194/..

13

Chloride green rust as scavenger of technetium: Immobilizat..:

Mayordomo, Natalia ; Rossberg, André ; Rodriguez, Diana M...
https://publikationen.bibliothek.kit.edu/1000162913. , 2023

Link: https://publikationen.bi..

14

Bioinformatic Analysis of the Perilymph Proteome to Generat..:

van Dieken, Alina ; Staecker, Hinrich ; Schmitt, Heike...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9096870/. , 2022

Link: http://www.ncbi.nlm.nih...

15

Technetium immobilization by chukanovite and its oxidative ..:

Schmeide, Katja ; Rossberg, Andre ; Bok, Frank...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.scitotenv.2021.145334. , 2021

Link: https://hal.science/hal-..