Demo Data from SIGIR 2026 / reviewers in the wild / expert
Safa Zouari
dblp:367/7152
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2026
0009-0005-4882-5524ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 3 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Concurrent programming · 100% | |
| Theoretical computer science
1 paper |
Automata and formal languages · 100% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Concurrent programming
concurrency theory |
1.0 | 1 | 2026 | Forgetting Event Order in Higher-Dimensional Automata · LICS 2026 |
Concurrent programming
event ordering |
1.0 | 1 | 2026 | Forgetting Event Order in Higher-Dimensional Automata · LICS 2026 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Bisimulations and Modal Logics for Higher Dimensional AutomataabstractHigher-Dimensional Automata (HDAs) provide a geometric model of true concurrency. While hereditary history-preserving (hhp) bisimilarity is the finest behavioural equivalence in van Glabbeek's spectrum, no modal logic has previously characterised it on HDAs. We introduce several new intermediate equivalences that sit strictly between ST- and hhp-bisimilarity. We show how separating similarity and subsumption of paths leads to a clean formulation of these equivalences, and we present a modal logic that characterises hhp-bisimilarity. Natural fragments characterise ST-bisimilarity and the intermediate notions. Safa Zouari, Rob J. van Glabbeek, Krzysztof Ziemianski |
CONCUR | 1 |
| 2026 | Forgetting Event Order in Higher-Dimensional Automata
Safa Zouari |
LICS | 1 |
| 2024 | Bisimulations and Logics for Higher-Dimensional Automata
Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg |
ICTAC | 1 |