A topological set theory implied by ZF and GPK+∞. - Andreas Fackler (J. Log. Anal., 2013)

Protocol for Asynchronous, Reliable, Secure and Efficient Consensus (PARSEC) Version 2.0. - Pierre Chevalier; Bartlomiej Kaminski; Fraser Hutchison; Qi Ma; Spandan Sharma; Andreas Fackler; William J. Buchanan (CoRR, 2019)

Highway: Efficient Consensus with Flexible Finality. - Daniel Kane 001; Andreas Fackler; Adam Gagol; Damian Straszak (CoRR, 2021)

From Weakly-terminating Binary Agreement and Reliable Broadcast to Atomic Broadcast. - Andreas Fackler; Samuel Schlesinger; Matthew Doty (CoRR, 2022)