Achievements
Kyrill Winkler, Ami Paz, Hugo Rincon Galeana, Stefan Schmid, and Ulrich Schmid. The Time Complexity of Consensus Under Oblivious Message Adversaries. In Yael Tauman Kalai, editor, 14th Innovations in Theoretical
Computer Science Conference (ITCS 2023), volume 251 of Leibniz International Proceedings in Informatics (LIPIcs), pages 100:1–100:28, Dagstuhl, Germany, 2023. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
URL: https://drops.dagstuhl.de/opus/volltexte/2023/17603,
doi:10.4230/LIPIcs.ITCS.2023.100
(pdf download below)
Hugo Rincon Galeana, Sergio Rajsbaum, and Ulrich Schmid. Continuous Tasks and the Asynchronous Computability Theorem. In Mark Braverman, editor, 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), volume 215 of Leibniz International Proceedings in Informatics (LIPIcs), pages 73:1–73:27, Dagstuhl, Germany, 2022. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. URL: https://
drops.dagstuhl.de/opus/volltexte/2022/15669, doi:10.4230/LIPIcs.
ITCS.2022.73
(pdf download below)
Rojo Randrianomentsoa, Hugo Rincon-Galeana, and Ulrich Schmid. Towards a topological semantics for epistemic reasoning in byzantine faulttolerant distributed systems. In Workshop on Connections between Epistemic Logic and Topology (CELT’22), University of Amsterdam, October
24-26, 2022., 2022. URL: https://easychair.org/cfp/CELT2022
Hugo Rincon Galeana, Ulrich Schmid, Kyrill Winkler, Ami Paz, and Stefan Schmid. Topological characterization of consensus solvability in directed dynamic networks, 2023. (submitted to J. Topology). URL: http://arxiv.org/abs/2304.02316, arXiv:2304.02316
(pdf download below)