Cristin-person-ID: 1410658

Person

Safa Zouari

Stipendiat
ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet

Resultater Resultater

Logical Characterization of Hereditary History-preserving Bisimulation over Higher Dimensional Automata.

Zouari, Safa. 2022, YR CONCUR 22. NTNUVitenskapelig foredrag

Data Completion associated with Helmholtz equation using integral equations.

Zouari, Safa. 2021, Jyvaskyla summer school . NTNUPoster

Bisimulations and Logics for Higher-Dimensional Automata.

Zouari, Safa; Fahrenberg, Uli. 2024, arXiv.org. NTNUVitenskapelig artikkel

1 - 3 av 3