Safa Zouari
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
2025
-
Annen presentasjonZouari, Safa. (2025) The talk that will make the event order haters happy. Third International Workshop on Pomsets and Related Structures (RaPS)
2024
-
ForedragZouari, Safa. (2024) Modal logic for Higher Dimensional automata. Modal logic over Higher Dimensional Automata
2023
-
Annen presentasjonZouari, Safa. (2023) Logical Characterization of concurrent Bisimulation over Higher >Dimensional Automata. 7th International Workshop "Women in Logic"
2022
-
KonferanseforedragZouari, Safa. (2022) Logical Characterization of Hereditary History-preserving Bisimulation over Higher Dimensional Automata. YR CONCUR 22
2021
-
KonferanseposterZouari, Safa. (2021) Data Completion associated with Helmholtz equation using integral equations. Jyvaskyla summer school