Follow
Maciej Kokociński
Maciej Kokociński
Institute of Computing Science, Poznan University of Technology
Verified email at cs.put.edu.pl
Title
Cited by
Cited by
Year
Hybrid replication: State-machine-based and deferred-update replication schemes combined
T Kobus, M Kokocinski, PT Wojciechowski
2013 IEEE 33rd International Conference on Distributed Computing Systems …, 2013
552013
Model-driven comparison of state-machine-based and deferred-update replication schemes
PT Wojciechowski, T Kobus, M Kokocinski
2012 IEEE 31st Symposium on Reliable Distributed Systems, 101-110, 2012
312012
State-machine and deferred-update replication: Analysis and comparison
PT Wojciechowski, T Kobus, M Kokociński
IEEE Transactions on Parallel and Distributed Systems 28 (3), 891-904, 2016
132016
Jiffy: A lock-free skip list with batch updates and snapshots
T Kobus, M Kokociński, PT Wojciechowski
Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of …, 2022
112022
Make the leader work: Executive deferred update replication
M Kokocinski, T Kobus, PT Wojciechowski
2014 IEEE 33rd International Symposium on Reliable Distributed Systems, 89-94, 2014
102014
Introduction to transactional replication
T Kobus, M Kokociński, PT Wojciechowski
Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST …, 2015
72015
The correctness criterion for deferred update replication
T Kobus, M Kokocinski, PT Wojciechowski
Program of TRANSACT 15, 2015
62015
On mixing eventual and strong consistency: Bayou revisited
M Kokociński, T Kobus, PT Wojciechowski
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing …, 2019
42019
Relaxing real-time order in opacity and linearizability
T Kobus, M Kokociński, PT Wojciechowski
Journal of Parallel and Distributed Computing 100, 57-70, 2017
42017
On mixing eventual and strong consistency: Acute cloud types
M Kokociński, T Kobus, PT Wojciechowski
IEEE Transactions on Parallel and Distributed Systems 33 (6), 1338-1356, 2021
32021
Hybrid transactional replication: State-machine and deferred-update replication combined
T Kobus, M Kokociński, PT Wojciechowski
IEEE Transactions on Parallel and Distributed Systems 29 (7), 1499-1514, 2018
32018
Fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine
PT Wojciechowski, T Kobus, M Kokocinski
US Patent 10,135,929, 2018
22018
Brief announcement: Eventually consistent linearizability
M Kokociński, T Kobus, PT Wojciechowski
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing …, 2015
22015
On the correctness of highly available systems in the presence of failures
M Kokociński, T Kobus, PT Wojciechowski
Journal of Parallel and Distributed Computing 180, 104707, 2023
2023
Creek: Low-latency, Mixed-Consistency Transactional Replication Scheme
T Kobus, M Kokociński, PT Wojciechowski
arXiv preprint arXiv:1907.00748, 2019
2019
Creek: a General Mixed-Consistency Transactional Replication Scheme.
T Kobus, M Kokocinski, PT Wojciechowski
CoRR, 2019
2019
Paxos STM–User Guide
T Kobus, M Kokocinski, PT Wojciechowski
2011
Correctness of Highly-Available Eventually-Consistent Replicated Systems
M Kokocinski
Sieci komputerowe
T Kobus, M Kokociński
Comparison of State-Machine and Deferred-Update Replication
PT Wojciechowski, T Kobus, M Kokocinski
The system can't perform the operation now. Try again later.
Articles 1–20