E-LIB Suche - Ergebnisse für: Stucki, Sandro

1

Renewable wood-phase change material composites for passive..:

Leibnitz, Oskar ; Dreimol, Christopher H. ; Stucki, Sandro...
Next Materials. 2 (2024) - p. 100132 , 2024

Link: https://doi.org/10.1016/..

2

High-performance timber-concrete-composites with polymer co..:

Stucki, Sandro ; Kelch, Steffen ; Mamie, Tim...
Construction and Building Materials. 411 (2024) - p. 134069 , 2024

Link: https://doi.org/10.1016/..

3

The influence of wood surface treatments with different bio..:

Stucki, Sandro ; Lange, Heiko ; Dreimol, Christopher H...
Journal of Adhesion Science and Technology. 37 (2023) 22 - p. 3167-3186 , 2023

Link: https://doi.org/10.1080/..

4

Reconciling Shannon and Scott with a Lattice of Computable ..:

Hunt, Sebastian ; Sands, David ; Stucki, Sandro
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1987-2016 , 2023

Link: https://doi.org/10.1145/..

5

Design and Implementation of a Lightweight Deep CNN-Based P..:

Yan, Wenqing ; Tang, Jingwei ; Stucki, Sandro
IEEE Access. 11 (2023) - p. 79984-79993 , 2023

Link: https://doi.org/10.1109/..

6

Passive climate regulation with transpiring wood for buildi..:

Ding, Yong ; Dreimol, Christopher H. ; Zboray, Robert...
Materials Horizons. 10 (2023) 1 - p. 257-267 , 2023

Link: https://doi.org/10.1039/..

7

Lifting On-Demand Analysis to Higher-Order Languages:

, In: Static Analysis; Lecture Notes in Computer Science,

Schoepe, Daniel ; Seekatz, David ; Stoilkovska, Ilina... - p. 460-484 , 2023

Link: https://doi.org/10.1007/..

8

Scalable and sustainable wood for efficient mechanical ener..:

Sun, Jianguo ; Schütz, Urs ; Tu, Kunkun...
Nano Energy. 102 (2022) - p. 107670 , 2022

Link: https://doi.org/10.1016/..

9

Precise Analysis of Purpose Limitation in Data Flow Diagram:

, In: Proceedings of the 17th International Conference on Availability, Reliability and Security,

Alshareef, Hanaa ; Tuma, Katja ; Stucki, Sandro.. - p. 1-11 , 2022

Link: https://dl.acm.org/doi/1..

10

Natural Wood-Based Catalytic Membrane Microreactors for Con..:

Tu, Kunkun ; Büchele, Simon ; Mitchell, Sharon...
ACS Applied Materials & Interfaces. 14 (2022) 6 - p. 8417-8426 , 2022

Link: https://doi.org/10.1021/..

11

Thermoresponsive Smart Gating Wood Membranes:

Ding, Yong ; Panzarasa, Guido ; Stucki, Sandro..
ACS Sustainable Chemistry & Engineering. 10 (2022) 17 - p. 5517-5525 , 2022

Link: https://doi.org/10.1021/..

12

A theory of higher-order subtyping with type intervals:

Stucki, Sandro ; Giarrusso, Paolo G.
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-30 , 2021

Link: https://dl.acm.org/doi/1..

13

Gray-box monitoring of hyperproperties with an application ..:

Stucki, Sandro ; Sánchez, César ; Schneider, Gerardo.
Formal Methods in System Design. 58 (2021) 1-2 - p. 126-159 , 2021

Link: https://doi.org/10.1007/..

14

A theory of higher-order subtyping with type intervals:

Stucki, Sandro ; Giarrusso, Paolo G.
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-30 , 2021

Link: https://doi.org/10.1145/..

15

Refining Privacy-Aware Data Flow Diagrams:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Alshareef, Hanaa ; Stucki, Sandro ; Schneider, Gerardo - p. 121-140 , 2021

Link: https://doi.org/10.1007/..