Project publications

  1. Jan Kończak, Paweł T. Wojciechowski, Nuno Santos, Tomasz Żurkowski, and André Schiper. Recovery algorithms for Paxos-based state machine replication. IEEE Transactions on Dependable and Secure Computing, ():1–18, July 2019. Early Access. URL: http://www.cs.put.poznan.pl/pawelw/pub/tdsc19-accepted.pdf, doi:10.1109/TDSC.2019.2926723.
  2. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. Brief announcement: On mixing eventual and strong consistency: Bayou revisited. In Proceedings of PODC ‘19: the 38th ACM Symposium on Principles of Distributed Computing (Toronto, ON, Canada), pp. 458–460. July-August 2019. URL: http://www.cs.put.poznan.pl/pawelw/pub/podc19-arxiv.pdf, doi:10.1145/3293611.3331583.

Other publications

  1. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. Hybrid transactional replication: state-machine and deferred-update replication combined. IEEE Transactions on Parallel and Distributed Systems, 29(7):1499–1514, July 2018. Date of Publication: January 23, 2018. URL: http://www.cs.put.poznan.pl/pawelw/pub/tpds18.pdf, doi:10.1109/TPDS.2018.2796079.

Relevant patents

  1. Paweł T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński. A fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine. August 1, 2018. Date of filing: January 12, 2016. European Patent Specification No. EP 3 193 256 B1. URL: https://patents.google.com/patent/EP3193256B1.
  2. Paweł T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński. Fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine. November 20, 2018. Date of filing: January 14, 2016. United States Patent No. US 10,135,929 B2. URL: https://patents.google.com/patent/US10135929B2.

BibTeX

The bibtex data for project publications, other publications, and patents.

Copyrights

The following notices apply to the IEEE articles:

© 2018–2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.