Safa Zouari
Forskning
Publikasjoner
2024
-
Zouari, Safa;
Ziemanski, Krzysztof;
Fahrenberg, Uli.
(2024)
Bisimulations and Logics for Higher-Dimensional Automata.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Tidsskriftspublikasjoner
-
Zouari, Safa;
Ziemanski, Krzysztof;
Fahrenberg, Uli.
(2024)
Bisimulations and Logics for Higher-Dimensional Automata.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Formidling
2022
-
Vitenskapelig foredragZouari, Safa. (2022) Logical Characterization of Hereditary History-preserving Bisimulation over Higher Dimensional Automata. YR CONCUR 22 , University of Warsaw 2022-09-12 - 2022-09-12
2021
-
PosterZouari, Safa. (2021) Data Completion associated with Helmholtz equation using integral equations. University of Jyväskylä Jyvaskyla summer school , Jyväskylä, remotely 2021-08-16 - 2021-08-16