CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  BibTeX Generator Login  
   
banner bottom
[ BibTeX Generator ]
Go to the bibtex generator form
Articles   Book Chapters   In Proceedings   Other Publications   
Henrique Moniz ( 15 publications )
Tuesday 23rd of October 2018 07:28:28 AM


*** Articles ( 4 ) ***

@article{ moniz12byzantine,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia },
        title = { Byzantine Fault-Tolerant Consensus in Wireless Ad hoc Networks },
        journal = { IEEE Transactions on Mobile Computing },
        year = { 2012 }
}

@article{ moniz11healer,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia and Paulo Jorge Esteves Veríssimo },
        title = { Randomization can be a Healer: Consensus with Dynamic Omission Failures },
        journal = { Distributed Computing },
        year = { 2011 },
        volume = { 24 },
        number = { 3-4 },
        pages = { 165-175 }
}

@article{ moniz11ritas,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia and Paulo Jorge Esteves Veríssimo },
        title = { RITAS: Services for Randomized Intrusion Tolerance },
        journal = { IEEE Transactions on Dependable and Secure Computing },
        year = { 2011 },
        volume = { 8 },
        number = { 1 },
        pages = { 122-136 }
}

@article{ vavala11randomized,
        author = { Bruno Vavala and hm and Nuno Ferreira Neves },
        title = { Randomized Consensus in Wireless Environments },
        journal = { IARIA International Journal in Intelligent Systems },
        year = { 2011 },
        volume = { 4 },
        number = { 1&2 },
        pages = { 1-12 }
}


*** Book Chapters ( 1 ) ***

@inbook{ moniz09approach,
        author = { hm },
        title = { A Distributed Systems Approach to Air- borne Self-Separation },
        publisher = { IGI Global },
        year = { 2009 }
}


*** In Proceedings ( 9 ) ***

@inproceedings{ dixit12adaptive,
        author = { Monica Dixit and hm and António Casimiro Ferreira da Costa },
        title = { Timeout-based Adaptive Consensus: Improving Performance through Adaptation },
        booktitle = { Proceedings of the 27th ACM Symposium on Applied Computing (SAC) },
        publisher = { ACM },
        year = { 2012 }
}

@inproceedings{ moniz10turquois,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia },
        title = { Turquois: Byzantine Consensus in Wireless Ad Hoc Networks },
        booktitle = { Proceedings of the 40th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) },
        publisher = { IEEE },
        year = { 2010 }
}

@inproceedings{ vavala10randomized,
        author = { Bruno Vavala and Nuno Ferreira Neves and hm and Miguel Pupo Correia },
        title = { Randomized Consensus in Wireless Environ- ments: A Case Where More is Better },
        booktitle = { 3rd International Conference on Dependability (DEPEND) },
        publisher = { IARIA },
        year = { 2010 }
}

@inproceedings{ moniz09healer,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia and Paulo Jorge Esteves Veríssimo },
        title = { Randomization can be a Healer: Consensus with Dynamic Omission Failures },
        booktitle = { Proceedings of the 23rd International Symposium on Distributed Computing (DISC) },
        publisher = { EATCS },
        year = { 2009 }
}

@inproceedings{ masci08services,
        author = { hm },
        title = { Services for Fault-Tolerant Conflict Resolution in Air Traffic Management },
        booktitle = { RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE) },
        publisher = { Elsevier },
        year = { 2008 }
}

@inproceedings{ moniz07intrusion,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia and António Casimiro Ferreira da Costa and Paulo Jorge Esteves Veríssimo },
        title = { Intrusion Tolerance in Wireless Environments: An Experimental Evaluation },
        booktitle = { Proceedings of the 13th IEEE Pacific Rim Depend- able Computing conference (PRDC) },
        publisher = { IEEE },
        year = { 2007 }
}

@inproceedings{ bessani07tradeoffs,
        author = { Alysson Neves Bessani and Miguel Pupo Correia and hm and Nuno Ferreira Neves and Paulo Jorge Esteves Veríssimo },
        title = { When 3f+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus },
        booktitle = { Proceedings of 21st Interna- tional Symposium on Distributed Computing (DISC) },
        publisher = { ACM },
        year = { 2007 }
}

@inproceedings{ moniz06comparisonl,
        author = { hm and Nuno Ferreira Neves and Miguel Puco Correia and Paulo Jorge Esteves Veríssimo },
        title = { Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols },
        booktitle = { Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS) },
        publisher = { IEEE },
        year = { 2006 }
}

@inproceedings{ moniz06randomized,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia and Paulo Jorge Esteves Veríssimo },
        title = { Randomized Intrusion-Tolerant Asyn- chronous Services },
        booktitle = { Proceedings of the 36th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) },
        publisher = { IEEE },
        year = { 2006 }
}


*** Other Publications ( 1 ) ***

@misc{ ladis-dias-14,
        author = { hm and Ricardo Dias and João Leitão and Natacha Crooks and Lorenzo Alvisi and Allen Clement and rodrod },
        title = { Towards a Consistent Understanding of Consistency Levels },
        year = { 2014 },
        month = { 10 },
        howpublished = { LADIS '14: 8th Workshop on Large-Scale Distributed Systems and Middleware },
        note = { URL={http://ladisworkshop.org/} }
}