Randomized Intrusion-Tolerant Asynchronous Services. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (DSN, 2006)

Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (SRDS, 2006)

Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; António Casimiro; Paulo Veríssimo (PRDC, 2007)

When 3f+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus. - Alysson Neves Bessani; Miguel Correia 001; Henrique Moniz; Nuno Ferreira Neves; Paulo Veríssimo (DISC, 2007)

Services for fault-tolerant conflict resolution in air traffic management. - Paolo Masci 001; Henrique Moniz; Alessandra Tedeschi (SERENE, 2008)

Turquois: Byzantine consensus in wireless ad hoc networks. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001 (DSN, 2010)

Randomization can be a healer: consensus with dynamic omission failures. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (Distributed Comput., 2011)

RITAS: Services for Randomized Intrusion Tolerance. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (IEEE Trans. Dependable Secur. Comput., 2011)

Timeout-based adaptive consensus: improving performance through adaptation. - Monica Dixit; Henrique Moniz; António Casimiro (SAC, 2012)

Byzantine Fault-Tolerant Consensus in Wireless Ad Hoc Networks. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001 (IEEE Trans. Mob. Comput., 2013)

Blotter: Low Latency Transactions for Geo-Replicated Storage. - Henrique Moniz; João Leitão 001; Ricardo J. Dias; Johannes Gehrke; Nuno M. Preguiça; Rodrigo Rodrigues 001 (WWW, 2017)

Achieving Low Latency Transactions for Geo-replicated Storage with Blotter. - Henrique Moniz; João Leitão 001; Ricardo J. Dias; Johannes Gehrke; Nuno M. Preguiça; Rodrigo Rodrigues 001 (Encyclopedia of Big Data Technologies, 2019)

The Istanbul BFT Consensus Algorithm. - Henrique Moniz (CoRR, 2020)

Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance. - Afonso N. Oliveira; Henrique Moniz; Rodrigo Rodrigues 001 (CoRR, 2022)

Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance. - Diogo S. Antunes; Afonso N. Oliveira; André Breda; Matheus Guilherme Franco; Henrique Moniz; Rodrigo Rodrigues 001 (NSDI, 2024)