VLDB 2026 Research / reviewers in the wild / expert
Tanjona Ralaivaosaona
dblp:355/6153
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Fan-Causality and Uniform Continuity on Final Coalgebras
Henning Basold, Tanjona Ralaivaosaona, Jurriaan Rot |
RAMICS | 2 |
| 2023 | Composition and Recursion for Causal StructuresabstractCausality appears in various contexts as a property where present behaviour can only depend on past events, but not on future events. In this paper, we compare three different notions of causality that capture the idea of causality in the form of restrictions on morphisms between coinductively defined structures, such as final coalgebras and chains, in fairly general categories. We then focus on one presentation and show that it gives rise to a traced symmetric monoidal category of causal morphisms. This shows that causal morphisms are closed under sequential and parallel composition and, crucially, under recursion. Henning Basold, Tanjona Ralaivaosaona |
CALCO | 2 |