Author Miguel Correia
From Navigators
A list of all pages that have property "Author" with value "Miguel Correia"- Publication:2017 Costa +
- Publication:Alysson-bessani2006sharing-memory-183 +
- Publication:Alysson-bessani2007decoupled-quorum-based-188 +
- Publication:Alysson-bessani2007intrusion-tolerant-protection-184 +
- Publication:Alysson-bessani2007when-3f1-196 +
- Publication:Alysson-bessani2008depspace-a-203 +
- Publication:Alysson-bessani2008the-crutial-213 +
- Publication:Antonio-casimiro2002recent-advances-106 +
- Publication:Antunes10 +
- Publication:Atc13-durability +
- Publication:BFT-TO +
- Publication:Bessani09tc2 +
- Publication:Bessani09tpds +
- Publication:Bessani10aqs-hd +
- Publication:Bessani10bft hadoop fa +
- Publication:Bessani11depsky +
- Publication:Bessani14scfs +
- Publication:CODASPY 2016 +
- Publication:Cheapcis09 +
- Publication:ComputerNetworks 2016 +
- Publication:Computing2018 +
- Publication:Correia08jpdc +
- Publication:Correia10a +
- Publication:Correia2012:CoC +
- Publication:Costa2015Medusa +
- Publication:Costa2017 +
- Publication:CostaPBC11 +
- Publication:DSN 2017 +
- Publication:DSN BCRB 2018 +
- Publication:DSNa 2016 +
- Publication:EDCC 2017 +
- Publication:Fabio-favarim2006fault-tolerant-multiuser-182 +
- Publication:Fabio-favarim2007exploiting-tuple-190 +
- Publication:Fabio-favarim2007gridts-a-189 +
- Publication:Giuliana-santos2007on-the-195 +
- Publication:Gunjan-khanna2007automated-rule-based-193 +
- Publication:Henrique-moniz2006experimental-comparison-177 +
- Publication:Henrique-moniz2006randomized-intrusion-tolerant-176 +
- Publication:Henrique-moniz2007intrusion-tolerance-197 +
- Publication:IEEETR 2018 +
- Publication:IEEETR15 +
- Publication:ISSTA 2016 +
- Publication:J-armstrong2002complete-specification-128 +
- Publication:Joao-antunes2005diagnostico-de-162 +
- Publication:Jose-pascoal2005ftp-tolerante-163 +
- Publication:Junior10 +
- Publication:LIP69151 +
- Publication:LIP6928 +
- Publication:Miguel-correia2001the-architecture-3 +
- Publication:Miguel-correia2001the-design-103 +
- Publication:Miguel-correia2002efficient-byzantine-resilient-116 +
- Publication:Miguel-correia2002the-design-115 +
- Publication:Miguel-correia2003a-simple-122 +
- Publication:Miguel-correia2003low-complexity-141 +
- Publication:Miguel-correia2004from-consensus-153 +
- Publication:Miguel-correia2004how-to-151 +
- Publication:Miguel-correia2004how-to-152 +
- Publication:Miguel-correia2005low-complexity-145 +
- Publication:Miguel-correia2005servicos-distribuidos-160 +
- Publication:Miguel-correia2006from-consensus-161 +
- Publication:Miguel-correia2007worm-it--181 +
- Publication:Moniz09healer +
- Publication:Moniz09raptor +
- Publication:Moniz10a +
- Publication:Moniz10ritas +
- Publication:Nuno-ferreira-neves2004wormhole-aware-byzantine-148 +
- Publication:Nuno-ferreira-neves2005solving-vector-167 +
- Publication:Nuno-ferreira-neves2006using-attack-179 +
- Publication:Pan-jieke2005um-nucleo-164 +
- Publication:Pan-jieke2007specification-based-intrusion-191 +
- Publication:Paulo-sousa2007resilient-intrusion-198 +
- Publication:Paulo-verissimo2000the-middleware-12 +
- Publication:Paulo-verissimo2000the-middleware-13 +
- Publication:Paulo-verissimo2002intrusion-tolerant-architectures-124 +
- Publication:Paulo-verissimo2003intrusion-tolerant-architectures-123 +
- Publication:Paulo-verissimo2006crutial-the-173 +
- Publication:Paulo-verissimo2007the-crutial-215 +
- Publication:Paulo-verissimo2008the-crutial-192 +
- Publication:Paulo-verissimo2009designing-modular-216 +
- Publication:PedroCosta 2013 +
- Publication:Rafael-ferraz2004an-intrusion-tolerant-150 +
- Publication:SEPTIC TR +
- Publication:Sacramento TrustCom 2018 +
- Publication:Sacramento19 Botnets +
- Publication:SmartMeter-INDIN2013 +
- Publication:Sousa09intrusion +
- Publication:Sousa10highly +
- Publication:Spinning09 +
- Publication:TR 22 +
- Publication:Tiago-jorge2004concretizacao-de-149 +
- Publication:Verissimo09his +
- Publication:Veronese09b +
- Publication:Veronese10ebawa +
- Publication:Veronese13FTolerance +
- Publication:WAP-DSN2014 +
- Publication:WAP-WWW2014 +
- Publication:Wagner-saback-dantas2007evaluating-byzantine-187 +
- Publication:Wagner-saback-dantas2009not-quickly-225 +