Rojo Fanamperana Randrianomentsoa
Projektass.in(FWF) / MSc
Role
-
PreDoc Researcher
Embedded Computing Systems, E191-02
Projects
-
Reasoning about Knowledge in Byzantine Distributed Systems
2020 – 2025 / Austrian Science Fund (FWF)
Publications: 135862 / 138795 / 139841 / 153197 / 153663 / 153250 / 154041 / 191139 / 190040 / 191632 / 190029 / 189852 / 190629 / 191144 / 191422 / 193444 / 192652 / 192758 / 192762 / 192722 / 193899 / 193320 / 193705 / 193728 / 197171 / 200368 / 58204 / 58247 / 58669 / 58670 / 135853 / 81441 / 87072 / 87263
Publications
-
Impure simplicial complexes: complete axiomatization
/
Randrianomentsoa, R. F., van Ditmarsch, H., & Kuznets, R. (2023). Impure simplicial complexes: complete axiomatization. Logical Methods in Computer Science, 19(4), Article 3. https://doi.org/10.46298/lmcs-19(4:3)2023
Download: publisher pdf (525 KB)
Project: ByzDEL (2020–2025) -
Simplicial Introduction
/
van Ditmarsch, H., Kuznets, R., & Randrianomentsoa, R. F. (2023, October 6). Simplicial Introduction [Presentation]. Prague CELIA Workshop 2023, Prague, Czechia.
Project: ByzDEL (2020–2025) -
On Two- and Three-valued Semantics for Impure Simplicial Complexes
/
van Ditmarsch, H., Kuznets, R., & Randrianomentsoa, R. (2023). On Two- and Three-valued Semantics for Impure Simplicial Complexes. In A. Achilleos & D. Della Monica (Eds.), Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (pp. 50–66). Open Publishing Association. https://doi.org/10.4204/EPTCS.390.4
Download: publisher pdf (222 KB)
Project: ByzDEL (2020–2025) -
Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed Systems
/
Randrianomentsoa, R. F., Rincon Galeana, H., & Schmid, U. (2022, October 24). Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed Systems [Conference Presentation]. Workshop on Connections between Epistemic Logic and Topology (CELT’22), University of Amsterdam, Netherlands (the). http://hdl.handle.net/20.500.12708/153197
Project: ByzDEL (2020–2025)