{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T17:40:09Z","timestamp":1746034809250,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/issre.2003.1251043","type":"proceedings-article","created":{"date-parts":[[2005,4,25]],"date-time":"2005-04-25T14:49:51Z","timestamp":1114440591000},"page":"203-214","source":"Crossref","is-referenced-by-count":6,"title":["Automating the analysis of voting systems"],"prefix":"10.1109","author":[{"given":"S.","family":"Yacoub","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Xiaofan Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Simske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Burns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8655(03)00035-7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1989.105617"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/24.765926"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1142\/S021853939400009X"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/24.370218"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/21.155943"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(03)00074-7"},{"key":"ref17","article-title":"Meta-Algorithmic Patterns","author":"yacoub","year":"2002","journal-title":"Hewlett-Packard Laboratories Technical Report"},{"key":"ref18","first-page":"606","article-title":"Voting with WiTesses: A Consistency Scheme for Replicated Files","author":"paris","year":"1986","journal-title":"Proceedings of the 6th International Conference on Distributed Computing Systems"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/34.273716","article-title":"Decision Combination in Multiple Classifier Systems","volume":"16","author":"ho","year":"1994","journal-title":"Ieee Transactions on PAMI"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1990.93957"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICPR.1994.576970"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/24.106783"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(01)00034-5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/3468.618255"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1990.93959"},{"key":"ref1","first-page":"161","article-title":"Performance Characterization of Quorum-Consensus Algorithms for Replicated Data","author":"ahammad","year":"1987","journal-title":"Proc Symp Reliability Distributed Software Database Syst"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(00)00089-2"}],"event":{"name":"14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.","location":"Denver, Colorado, USA"},"container-title":["14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8855\/27999\/01251043.pdf?arnumber=1251043","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T14:47:33Z","timestamp":1497624453000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1251043\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/issre.2003.1251043","relation":{},"subject":[]}}