-
1
Harnessing heap analysis for the synthesis of superoptimized bytecode
Veröffentlicht in The Journal of systems and software
VolltextArtikel -
2
-
3
-
4
Don’t run on fumes—Parametric gas bounds for smart contracts
Veröffentlicht in The Journal of systems and software
VolltextArtikel -
5
-
6
-
7
The visual word form area (VWFA) is part of both language and attention circuitry
Veröffentlicht in Nature communications
VolltextArtikel -
8
Genome sequence of the oyster mushroom Pleurotus ostreatus strain PC9
Veröffentlicht in G3 : genes - genomes - genetics
VolltextArtikel -
9
-
10
A toolkit for ISN’s registry initiative, SharE-RR
Veröffentlicht in Kidney international
VolltextArtikel -
11
-
12
-
13
-
14
-
15
Editorial: Glomerular filtration rate in Chronic Kidney Disease
Veröffentlicht in Frontiers in medicine
VolltextArtikel -
16
Proposal and Analysis of a Novel Class of PUFs Based on Galois Ring Oscillators
Veröffentlicht in IEEE access
VolltextArtikel -
17
Peak resource analysis of concurrent distributed systems
Veröffentlicht in The Journal of systems and software
VolltextArtikel -
18
-
19
Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis
Veröffentlicht in IEEE access
VolltextArtikel -
20