˜Laœ reversibilità nella conservazione

von Bussi, Laura
Veröffentlicht in Tema (1996)

Alcune considerazioni in merito agli interventi con nastri FRP su volte in muratura

von Bussi, Laura
Veröffentlicht in Quaderni dell'Istituto di Storia dell'Architettura / Università degli Studi di Roma La Sapienza, Dipartimento di Storia dell'Architettura, Restauro e Conservazione dei Beni Architettonici (2007)

Le terme del Sarno a Pompei : iter di un'analisi per la conoscenza, il restauro e la protezione sismica del monumento

von Ioppolo, Giovanni
Veröffentlicht 1992

˜Leœ terme del sarno a Pompei : iter di un'analisi per la conoscenza, il restauro e la protezione sismica del monumento

Veröffentlicht 1992

<<Le>> Terme del Sarno a Pompei

Veröffentlicht 1992

Towards a Spatial Model Checker on GPU

von Bussi, Laura
Veröffentlicht in FORTE (41. : 2021 : Online) Formal Techniques for Distributed Objects, Components, and Systems (2021)

A Spatial Logic with Time and Quantifiers

von Bussi, Laura
Veröffentlicht in DaLí (5. : 2023 : Tiflis) Dynamic logic - new trends and applications (2024)

Towards Model Checking Video Streams Using VoxLogicA on GPUs

von Bussi, Laura
Veröffentlicht in DataMod (10. : 2021 : Online) From data to models and back (2022)

On Binding in the Spatial Logics for Closure Spaces

von Bussi, Laura
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)

von Belmonte, Gina
Veröffentlicht in MEDI (10. : 2021 : Online) Advances in Model and Data Engineering in the Digitalization Era (2021)