The semantics of PASCAL in lcf

von Aiello, L.
Veröffentlicht 1974

Call Me Back, I Have a Type Invariant

von Aiello, M. Anthony
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)

Anisotropies in the diffuse gamma-ray background measured by the Fermi LAT

Veröffentlicht in Physical review / D (2012)

Geopolymer Concrete Structures: Bond with Deformed Steel Bars

von Romanazzi, V.
Veröffentlicht in Proceedings of the 3rd RILEM Spring Convention and Conference (RSCC 2020) ; Volume 2: New materials and structures for ultra-durability (2021)