Safa Zouari
Publikasjoner
2025
-
Zouari, Safa.
(2025)
The talk that will make the event order haters happy.
Annen presentasjon
2024
-
Zouari, Safa;
Ziemanski, Krzysztof;
Fahrenberg, Uli.
(2024)
Bisimulations and Logics for Higher-Dimensional Automata.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
2023
-
Zouari, Safa.
(2023)
Logical Characterization of concurrent Bisimulation over Higher >Dimensional Automata.
Annen presentasjon
Tidsskriftspublikasjoner
-
Zouari, Safa;
Ziemanski, Krzysztof;
Fahrenberg, Uli.
(2024)
Bisimulations and Logics for Higher-Dimensional Automata.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
UTSTILLING
-
Zouari, Safa.
(2025)
The talk that will make the event order haters happy.
Annen presentasjon
-
Zouari, Safa.
(2023)
Logical Characterization of concurrent Bisimulation over Higher >Dimensional Automata.
Annen presentasjon
Formidling
2024
-
Faglig foredragZouari, Safa. (2024) Modal logic for Higher Dimensional automata. Modal logic over Higher Dimensional Automata , University of Edinburgh- School of Informatics 17.10.2024 - 17.10.2024
2022
-
Vitenskapelig foredragZouari, Safa. (2022) Logical Characterization of Hereditary History-preserving Bisimulation over Higher Dimensional Automata. YR CONCUR 22 , University of Warsaw 12.09.2022 - 12.09.2022
2021
-
PosterZouari, Safa. (2021) Data Completion associated with Helmholtz equation using integral equations. Jyvaskyla summer school , Jyväskylä, remotely 16.08.2021 - 16.08.2021