Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Petr Kuznetsov
@inproceedings{DBLP:conf/ppopp/AksenovKKP24,
author = {Vitaly Aksenov and
Nikita Koval and
Petr Kuznetsov and
Anton Paramonov},
editor = {Michel Steuwer and
I{-}Ting Angelina Lee and
Milind Chabbi},
title = {Memory Bounds for Concurrent Bounded Queues},
booktitle = {Proceedings of the 29th {ACM} {SIGPLAN} Annual Symposium on Principles
and Practice of Parallel Programming, PPoPP 2024, Edinburgh, United
Kingdom, March 2-6, 2024},
pages = {188--199},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3627535.3638497},
doi = {10.1145/3627535.3638497},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/AksenovKKP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-12484,
author = {Guillermo Toyos{-}Marfurt and
Petr Kuznetsov},
title = {On the Bit Complexity of Iterated Memory},
journal = {CoRR},
volume = {abs/2402.12484},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.12484},
doi = {10.48550/ARXIV.2402.12484},
eprinttype = {arXiv},
eprint = {2402.12484},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-12484.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/KuznetsovPPT23,
author = {Petr Kuznetsov and
Yvonne{-}Anne Pignolet and
Pavel Ponomarev and
Andrei Tonkikh},
title = {Permissionless and asynchronous asset transfer},
journal = {Distributed Comput.},
volume = {36},
number = {3},
pages = {349--371},
year = {2023},
url = {https://doi.org/10.1007/s00446-023-00449-x},
doi = {10.1007/S00446-023-00449-X},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dc/KuznetsovPPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/TonkikhPKP23,
author = {Andrei Tonkikh and
Pavel Ponomarev and
Petr Kuznetsov and
Yvonne{-}Anne Pignolet},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared
Accounts},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {1556--1570},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3616587},
doi = {10.1145/3576915.3616587},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/TonkikhPKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BezerraK23,
author = {Jo{\~{a}}o Paulo Bezerra and
Petr Kuznetsov},
editor = {Alysson Bessani and
Xavier D{\'{e}}fago and
Junya Nakamura and
Koichi Wada and
Yukiko Yamauchi},
title = {A Tight Bound on Multiple Spending in Decentralized Cryptocurrencies},
booktitle = {27th International Conference on Principles of Distributed Systems,
{OPODIS} 2023, December 6-8, 2023, Tokyo, Japan},
series = {LIPIcs},
volume = {286},
pages = {31:1--31:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2023.31},
doi = {10.4230/LIPICS.OPODIS.2023.31},
timestamp = {Fri, 19 Jan 2024 14:57:09 +0100},
biburl = {https://dblp.org/rec/conf/opodis/BezerraK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-04221,
author = {Veronika Anikina and
Jo{\~{a}}o Paulo Bezerra and
Petr Kuznetsov and
Liron Schiff and
Stefan Schmid},
title = {Dynamic Probabilistic Reliable Broadcast},
journal = {CoRR},
volume = {abs/2306.04221},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.04221},
doi = {10.48550/ARXIV.2306.04221},
eprinttype = {arXiv},
eprint = {2306.04221},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-04221.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/SouzaTBPSSK23,
author = {Luciano Freitas de Souza and
Andrei Tonkikh and
Adda{-}Akram Bendoukha and
Sara {Tucci Piergiovanni} and
Renaud Sirdey and
Oana Stan and
Petr Kuznetsov},
title = {Homomorphic Sortition - Single Secret Leader Election for PoS Blockchains},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {113},
year = {2023},
url = {https://eprint.iacr.org/2023/113},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/SouzaTBPSSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GuerraouiKMPS22,
author = {Rachid Guerraoui and
Petr Kuznetsov and
Matteo Monti and
Matej Pavlovic and
Dragos{-}Adrian Seredinschi},
title = {The consensus number of a cryptocurrency},
journal = {Distributed Comput.},
volume = {35},
number = {1},
pages = {1--15},
year = {2022},
url = {https://doi.org/10.1007/s00446-021-00399-2},
doi = {10.1007/S00446-021-00399-2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/GuerraouiKMPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GuerraouiKMPS22a,
author = {Rachid Guerraoui and
Petr Kuznetsov and
Matteo Monti and
Matej Pavlovic and
Dragos{-}Adrian Seredinschi},
title = {Correction to: The consensus number of a cryptocurrency},
journal = {Distributed Comput.},
volume = {35},
number = {1},
pages = {17},
year = {2022},
url = {https://doi.org/10.1007/s00446-022-00422-0},
doi = {10.1007/S00446-022-00422-0},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/GuerraouiKMPS22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/KuznetsovT22,
author = {Petr Kuznetsov and
Andrei Tonkikh},
title = {Asynchronous reconfiguration with Byzantine failures},
journal = {Distributed Comput.},
volume = {35},
number = {6},
pages = {477--502},
year = {2022},
url = {https://doi.org/10.1007/s00446-022-00421-1},
doi = {10.1007/S00446-022-00421-1},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/KuznetsovT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcb/KunevKS22,
author = {Martin Kunev and
Petr Kuznetsov and
Denis Sheynikhovich},
title = {Agreement in Spiking Neural Networks},
journal = {J. Comput. Biol.},
volume = {29},
number = {4},
pages = {358--369},
year = {2022},
url = {https://doi.org/10.1089/cmb.2021.0365},
doi = {10.1089/CMB.2021.0365},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcb/KunevKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BezerraKK22,
author = {Jo{\~{a}}o Paulo Bezerra and
Petr Kuznetsov and
Alice Koroleva},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Relaxed Reliable Broadcast for Decentralized Trust},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {104--118},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_8},
doi = {10.1007/978-3-031-17436-0\_8},
timestamp = {Tue, 04 Oct 2022 18:09:10 +0200},
biburl = {https://dblp.org/rec/conf/netys/BezerraKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/SouzaKT22,
author = {Luciano Freitas de Souza and
Petr Kuznetsov and
Andrei Tonkikh},
editor = {Alessia Milani and
Philipp Woelfel},
title = {Brief Announcement: Asynchronous Randomness and Consensus without
Trusted Setup},
booktitle = {{PODC} '22: {ACM} Symposium on Principles of Distributed Computing,
Salerno, Italy, July 25 - 29, 2022},
pages = {103--105},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519270.3538461},
doi = {10.1145/3519270.3538461},
timestamp = {Mon, 25 Jul 2022 15:01:51 +0200},
biburl = {https://dblp.org/rec/conf/podc/SouzaKT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BezerraK22,
author = {Jo{\~{a}}o Paulo Bezerra and
Petr Kuznetsov},
editor = {Alessia Milani and
Philipp Woelfel},
title = {Brief Announcement: How to Tame Multiple Spending in Decentralized
Cryptocurrencies},
booktitle = {{PODC} '22: {ACM} Symposium on Principles of Distributed Computing,
Salerno, Italy, July 25 - 29, 2022},
pages = {427--429},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519270.3538465},
doi = {10.1145/3519270.3538465},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/BezerraK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/SouzaKT22,
author = {Luciano Freitas de Souza and
Petr Kuznetsov and
Andrei Tonkikh},
editor = {Christian Scheideler},
title = {Distributed Randomness from Approximate Agreement},
booktitle = {36th International Symposium on Distributed Computing, {DISC} 2022,
October 25-27, 2022, Augusta, Georgia, {USA}},
series = {LIPIcs},
volume = {246},
pages = {24:1--24:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.DISC.2022.24},
doi = {10.4230/LIPICS.DISC.2022.24},
timestamp = {Mon, 17 Oct 2022 16:44:53 +0200},
biburl = {https://dblp.org/rec/conf/wdag/SouzaKT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-11878,
author = {Luciano Freitas de Souza and
Petr Kuznetsov and
Andrei Tonkikh},
title = {Distributed Randomness from Approximate Agreement},
journal = {CoRR},
volume = {abs/2205.11878},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.11878},
doi = {10.48550/ARXIV.2205.11878},
eprinttype = {arXiv},
eprint = {2205.11878},
timestamp = {Mon, 30 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-11878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-14076,
author = {Jo{\~{a}}o Paulo Bezerra and
Petr Kuznetsov},
title = {How to Tame Multiple Spending in Decentralized Cryptocurrencies},
journal = {CoRR},
volume = {abs/2205.14076},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.14076},
doi = {10.48550/ARXIV.2205.14076},
eprinttype = {arXiv},
eprint = {2205.14076},
timestamp = {Tue, 31 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-14076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-11519,
author = {Luciano Freitas de Souza and
Andrei Tonkikh and
Sara {Tucci Piergiovanni} and
Renaud Sirdey and
Oana Stan and
Nicolas Quero and
Adda{-}Akram Bendoukha and
Petr Kuznetsov},
title = {Homomorphic Sortition - Secret Leader Election for Blockchain},
journal = {CoRR},
volume = {abs/2206.11519},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.11519},
doi = {10.48550/ARXIV.2206.11519},
eprinttype = {arXiv},
eprint = {2206.11519},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-11519.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-04895,
author = {Petr Kuznetsov and
Yvonne{-}Anne Pignolet and
Pavel Ponomarev and
Andrei Tonkikh},
title = {CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared
Accounts},
journal = {CoRR},
volume = {abs/2212.04895},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.04895},
doi = {10.48550/ARXIV.2212.04895},
eprinttype = {arXiv},
eprint = {2212.04895},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-04895.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/Kuznetsov21,
author = {Petr Kuznetsov},
editor = {Quentin Bramas and
Vincent Gramoli and
Alessia Milani},
title = {Accountable Distributed Computing (Invited Talk)},
booktitle = {25th International Conference on Principles of Distributed Systems,
{OPODIS} 2021, December 13-15, 2021, Strasbourg, France},
series = {LIPIcs},
volume = {217},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2021.2},
doi = {10.4230/LIPICS.OPODIS.2021.2},
timestamp = {Mon, 28 Feb 2022 16:25:59 +0100},
biburl = {https://dblp.org/rec/conf/opodis/Kuznetsov21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/SouzaTPSSQK21,
author = {Luciano Freitas de Souza and
Andrei Tonkikh and
Sara {Tucci Piergiovanni} and
Renaud Sirdey and
Oana Stan and
Nicolas Quero and
Petr Kuznetsov},
editor = {Quentin Bramas and
Vincent Gramoli and
Alessia Milani},
title = {RandSolomon: Optimally Resilient Random Number Generator with Deterministic
Termination},
booktitle = {25th International Conference on Principles of Distributed Systems,
{OPODIS} 2021, December 13-15, 2021, Strasbourg, France},
series = {LIPIcs},
volume = {217},
pages = {23:1--23:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2021.23},
doi = {10.4230/LIPICS.OPODIS.2021.23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/SouzaTPSSQK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/SouzaKRP21,
author = {Luciano Freitas de Souza and
Petr Kuznetsov and
Thibault Rieutord and
Sara {Tucci Piergiovanni}},
editor = {Quentin Bramas and
Vincent Gramoli and
Alessia Milani},
title = {Accountability and Reconfiguration: Self-Healing Lattice Agreement},
booktitle = {25th International Conference on Principles of Distributed Systems,
{OPODIS} 2021, December 13-15, 2021, Strasbourg, France},
series = {LIPIcs},
volume = {217},
pages = {25:1--25:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2021.25},
doi = {10.4230/LIPICS.OPODIS.2021.25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/SouzaKRP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/AksenovGKSR21,
author = {Vitaly Aksenov and
Vincent Gramoli and
Petr Kuznetsov and
Di Shang and
Srivatsan Ravi},
editor = {Victor Malyshkin},
title = {Optimal Concurrency for List-Based Sets},
booktitle = {Parallel Computing Technologies - 16th International Conference, PaCT
2021, Kaliningrad, Russia, September 13-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12942},
pages = {386--401},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86359-3\_29},
doi = {10.1007/978-3-030-86359-3\_29},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pact/AksenovGKSR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KuznetsovTZ21,
author = {Petr Kuznetsov and
Andrei Tonkikh and
Yan X. Zhang},
editor = {Avery Miller and
Keren Censor{-}Hillel and
Janne H. Korhonen},
title = {Revisiting Optimal Resilience of Fast Byzantine Consensus},
booktitle = {{PODC} '21: {ACM} Symposium on Principles of Distributed Computing,
Virtual Event, Italy, July 26-30, 2021},
pages = {343--353},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3465084.3467924},
doi = {10.1145/3465084.3467924},
timestamp = {Mon, 26 Jul 2021 09:04:22 +0200},
biburl = {https://dblp.org/rec/conf/podc/KuznetsovTZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/KuznetsovPPT21,
author = {Petr Kuznetsov and
Yvonne{-}Anne Pignolet and
Pavel Ponomarev and
Andrei Tonkikh},
editor = {Seth Gilbert},
title = {Permissionless and Asynchronous Asset Transfer},
booktitle = {35th International Symposium on Distributed Computing, {DISC} 2021,
October 4-8, 2021, Freiburg, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {209},
pages = {28:1--28:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.DISC.2021.28},
doi = {10.4230/LIPICS.DISC.2021.28},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/KuznetsovPPT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/SouzaKRP21,
author = {Luciano Freitas de Souza and
Petr Kuznetsov and
Thibault Rieutord and
Sara {Tucci Piergiovanni}},
editor = {Seth Gilbert},
title = {Brief Announcement: Accountability and Reconfiguration - Self-Healing
Lattice Agreement},
booktitle = {35th International Symposium on Distributed Computing, {DISC} 2021,
October 4-8, 2021, Freiburg, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {209},
pages = {54:1--54:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.DISC.2021.54},
doi = {10.4230/LIPICS.DISC.2021.54},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/SouzaKRP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-12825,
author = {Petr Kuznetsov and
Andrei Tonkikh and
Yan X. Zhang},
title = {Revisiting Optimal Resilience of Fast Byzantine Consensus},
journal = {CoRR},
volume = {abs/2102.12825},
year = {2021},
url = {https://arxiv.org/abs/2102.12825},
eprinttype = {arXiv},
eprint = {2102.12825},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-12825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-15003,
author = {Vitaly Aksenov and
Nikita Koval and
Petr Kuznetsov},
title = {Memory-Optimality for Non-Blocking Containers},
journal = {CoRR},
volume = {abs/2104.15003},
year = {2021},
url = {https://arxiv.org/abs/2104.15003},
eprinttype = {arXiv},
eprint = {2104.15003},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-15003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-04909,
author = {Luciano Freitas de Souza and
Petr Kuznetsov and
Thibault Rieutord and
Sara {Tucci Piergiovanni}},
title = {Accountability and Reconfiguration: Self-Healing Lattice Agreement},
journal = {CoRR},
volume = {abs/2105.04909},
year = {2021},
url = {https://arxiv.org/abs/2105.04909},
eprinttype = {arXiv},
eprint = {2105.04909},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-04909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-04966,
author = {Petr Kuznetsov and
Yvonne{-}Anne Pignolet and
Pavel Ponomarev and
Andrei Tonkikh},
title = {Permissionless and Asynchronous Asset Transfer [Technical Report]},
journal = {CoRR},
volume = {abs/2105.04966},
year = {2021},
url = {https://arxiv.org/abs/2105.04966},
eprinttype = {arXiv},
eprint = {2105.04966},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-04966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-04911,
author = {Luciano Freitas de Souza and
Sara {Tucci Piergiovanni} and
Renaud Sirdey and
Oana Stan and
Nicolas Quero and
Petr Kuznetsov},
title = {RandSolomon: optimally resilient multi-party random number generation
protocol},
journal = {CoRR},
volume = {abs/2109.04911},
year = {2021},
url = {https://arxiv.org/abs/2109.04911},
eprinttype = {arXiv},
eprint = {2109.04911},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04911.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08611,
author = {Jo{\~{a}}o Paulo Bezerra and
Petr Kuznetsov and
Alice Koroleva},
title = {Relaxed Reliable Broadcast for Decentralized Trust},
journal = {CoRR},
volume = {abs/2109.08611},
year = {2021},
url = {https://arxiv.org/abs/2109.08611},
eprinttype = {arXiv},
eprint = {2109.08611},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08611.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-05545,
author = {Vitaly Aksenov and
Daniil Bolotov and
Petr Kuznetsov},
title = {Peformance Prediction for Coarse-Grained Locking: {MCS} Case},
journal = {CoRR},
volume = {abs/2110.05545},
year = {2021},
url = {https://arxiv.org/abs/2110.05545},
eprinttype = {arXiv},
eprint = {2110.05545},
timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-05545.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FraigniaudRTKR20,
author = {Pierre Fraigniaud and
Sergio Rajsbaum and
Corentin Travers and
Petr Kuznetsov and
Thibault Rieutord},
title = {Perfect failure detection with very few bits},
journal = {Inf. Comput.},
volume = {275},
pages = {104604},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2020.104604},
doi = {10.1016/J.IC.2020.104604},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FraigniaudRTKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/AksenovK20,
author = {Vitaly Aksenov and
Petr Kuznetsov},
title = {Review of the Third Summer School on the Practice and Theory of Distributed
Computing {SPTDC} 2020},
journal = {{SIGACT} News},
volume = {51},
number = {4},
pages = {82--84},
year = {2020},
url = {https://doi.org/10.1145/3444815.3444828},
doi = {10.1145/3444815.3444828},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/AksenovK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/CollinsGKKMPPST20,
author = {Daniel Collins and
Rachid Guerraoui and
Jovan Komatovic and
Petr Kuznetsov and
Matteo Monti and
Matej Pavlovic and
Yvonne{-}Anne Pignolet and
Dragos{-}Adrian Seredinschi and
Andrei Tonkikh and
Athanasios Xygkis},
title = {Online Payments by Merely Broadcasting Messages},
booktitle = {50th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2020, Valencia, Spain, June 29 - July 2, 2020},
pages = {26--38},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DSN48063.2020.00023},
doi = {10.1109/DSN48063.2020.00023},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/CollinsGKKMPPST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/GuerraouiKKPST20,
author = {Rachid Guerraoui and
Jovan Komatovic and
Petr Kuznetsov and
Yvonne{-}Anne Pignolet and
Dragos{-}Adrian Seredinschi and
Andrei Tonkikh},
editor = {Quentin Bramas and
Rotem Oshman and
Paolo Romano},
title = {Dynamic Byzantine Reliable Broadcast},
booktitle = {24th International Conference on Principles of Distributed Systems,
{OPODIS} 2020, December 14-16, 2020, Strasbourg, France (Virtual Conference)},
series = {LIPIcs},
volume = {184},
pages = {23:1--23:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2020.23},
doi = {10.4230/LIPICS.OPODIS.2020.23},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/GuerraouiKKPST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/KuznetsovR20,
author = {Petr Kuznetsov and
Thibault Rieutord},
editor = {St{\'{e}}phane Devismes and
Neeraj Mittal},
title = {Affine Tasks for k-Test-and-Set},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 22nd
International Symposium, {SSS} 2020, Austin, TX, USA, November 18-21,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12514},
pages = {151--166},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64348-5\_12},
doi = {10.1007/978-3-030-64348-5\_12},
timestamp = {Wed, 25 Nov 2020 17:05:58 +0100},
biburl = {https://dblp.org/rec/conf/sss/KuznetsovR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/KuznetsovT20,
author = {Petr Kuznetsov and
Andrei Tonkikh},
editor = {Hagit Attiya},
title = {Asynchronous Reconfiguration with Byzantine Failures},
booktitle = {34th International Symposium on Distributed Computing, {DISC} 2020,
October 12-16, 2020, Virtual Conference},
series = {LIPIcs},
volume = {179},
pages = {27:1--27:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.DISC.2020.27},
doi = {10.4230/LIPICS.DISC.2020.27},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/wdag/KuznetsovT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/KuznetsovR20,
author = {Petr Kuznetsov and
Thibault Rieutord},
editor = {Hagit Attiya},
title = {Brief Announcement: On Decidability of 2-Process Affine Models},
booktitle = {34th International Symposium on Distributed Computing, {DISC} 2020,
October 12-16, 2020, Virtual Conference},
series = {LIPIcs},
volume = {179},
pages = {54:1--54:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.DISC.2020.54},
doi = {10.4230/LIPICS.DISC.2020.54},
timestamp = {Wed, 07 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/KuznetsovR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-08348,
author = {Petr Kuznetsov and
Thibault Rieutord and
Yuan He},
title = {An Asynchronous Computability Theorem for Fair Adversaries},
journal = {CoRR},
volume = {abs/2004.08348},
year = {2020},
url = {https://arxiv.org/abs/2004.08348},
eprinttype = {arXiv},
eprint = {2004.08348},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-08348.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-13184,
author = {Daniel Collins and
Rachid Guerraoui and
Jovan Komatovic and
Matteo Monti and
Athanasios Xygkis and
Matej Pavlovic and
Petr Kuznetsov and
Yvonne{-}Anne Pignolet and
Dragos{-}Adrian Seredinschi and
Andrei Tonkikh},
title = {Online Payments by Merely Broadcasting Messages (Extended Version)},
journal = {CoRR},
volume = {abs/2004.13184},
year = {2020},
url = {https://arxiv.org/abs/2004.13184},
eprinttype = {arXiv},
eprint = {2004.13184},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-13184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-13499,
author = {Petr Kuznetsov and
Andrei Tonkikh},
title = {Asynchronous Reconfiguration with Byzantine Failures},
journal = {CoRR},
volume = {abs/2005.13499},
year = {2020},
url = {https://arxiv.org/abs/2005.13499},
eprinttype = {arXiv},
eprint = {2005.13499},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-13499.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-02099,
author = {Petr Kuznetsov and
Thibault Rieutord},
title = {On Decidability of 2-process Affine Models},
journal = {CoRR},
volume = {abs/2008.02099},
year = {2020},
url = {https://arxiv.org/abs/2008.02099},
eprinttype = {arXiv},
eprint = {2008.02099},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/DuboisGKPS19,
author = {Swan Dubois and
Rachid Guerraoui and
Petr Kuznetsov and
Franck Petit and
Pierre Sens},
title = {The weakest failure detector for eventual consistency},
journal = {Distributed Comput.},
volume = {32},
number = {6},
pages = {479--492},
year = {2019},
url = {https://doi.org/10.1007/s00446-016-0292-9},
doi = {10.1007/S00446-016-0292-9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/DuboisGKPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Kuznetsov19,
author = {Petr Kuznetsov},
title = {{SPTCC} 2019 Review},
journal = {{SIGACT} News},
volume = {50},
number = {4},
pages = {48--55},
year = {2019},
url = {https://doi.org/10.1145/3374857.3374868},
doi = {10.1145/3374857.3374868},
timestamp = {Fri, 13 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Kuznetsov19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/KuznetsovRP19,
author = {Petr Kuznetsov and
Thibault Rieutord and
Sara {Tucci Piergiovanni}},
editor = {Pascal Felber and
Roy Friedman and
Seth Gilbert and
Avery Miller},
title = {Reconfigurable Lattice Agreement and Applications},
booktitle = {23rd International Conference on Principles of Distributed Systems,
{OPODIS} 2019, December 17-19, 2019, Neuch{\^{a}}tel, Switzerland},
series = {LIPIcs},
volume = {153},
pages = {31:1--31:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2019.31},
doi = {10.4230/LIPICS.OPODIS.2019.31},
timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/KuznetsovRP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GuerraouiKMPS19,
author = {Rachid Guerraoui and
Petr Kuznetsov and
Matteo Monti and
Matej Pavlovic and
Dragos{-}Adrian Seredinschi},
editor = {Peter Robinson and
Faith Ellen},
title = {The Consensus Number of a Cryptocurrency},
booktitle = {Proceedings of the 2019 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2019, Toronto, ON, Canada, July 29 - August 2, 2019},
pages = {307--316},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293611.3331589},
doi = {10.1145/3293611.3331589},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/GuerraouiKMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GuerraouiKMPS19,
author = {Rachid Guerraoui and
Petr Kuznetsov and
Matteo Monti and
Matej Pavlovic and
Dragos{-}Adrian Seredinschi},
editor = {Jukka Suomela},
title = {Scalable Byzantine Reliable Broadcast},
booktitle = {33rd International Symposium on Distributed Computing, {DISC} 2019,
October 14-18, 2019, Budapest, Hungary},
series = {LIPIcs},
volume = {146},
pages = {22:1--22:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.DISC.2019.22},
doi = {10.4230/LIPICS.DISC.2019.22},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wdag/GuerraouiKMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-11323,
author = {Vitaly Aksenov and
Dan Alistarh and
Petr Kuznetsov},
title = {Performance Prediction for Coarse-Grained Locking},
journal = {CoRR},
volume = {abs/1904.11323},
year = {2019},
url = {http://arxiv.org/abs/1904.11323},
eprinttype = {arXiv},
eprint = {1904.11323},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-11323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-05574,
author = {Rachid Guerraoui and
Petr Kuznetsov and
Matteo Monti and
Matej Pavlovic and
Dragos{-}Adrian Seredinschi},
title = {The Consensus Number of a Cryptocurrency (Extended Version)},
journal = {CoRR},
volume = {abs/1906.05574},
year = {2019},
url = {http://arxiv.org/abs/1906.05574},
eprinttype = {arXiv},
eprint = {1906.05574},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-05574.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-01738,
author = {Rachid Guerraoui and
Petr Kuznetsov and
Matteo Monti and
Matej Pavlovic and
Dragos{-}Adrian Seredinschi},
title = {Scalable Byzantine Reliable Broadcast (Extended Version)},
journal = {CoRR},
volume = {abs/1908.01738},
year = {2019},
url = {http://arxiv.org/abs/1908.01738},
eprinttype = {arXiv},
eprint = {1908.01738},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-01738.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-09264,
author = {Petr Kuznetsov and
Thibault Rieutord and
Sara {Tucci Piergiovanni}},
title = {Reconfigurable Lattice Agreement and Applications},
journal = {CoRR},
volume = {abs/1910.09264},
year = {2019},
url = {http://arxiv.org/abs/1910.09264},
eprinttype = {arXiv},
eprint = {1910.09264},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-09264.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AlistarhKKRS18,
author = {Dan Alistarh and
Justin Kopinsky and
Petr Kuznetsov and
Srivatsan Ravi and
Nir Shavit},
title = {Inherent limitations of hybrid transactional memory},
journal = {Distributed Comput.},
volume = {31},
number = {3},
pages = {167--185},
year = {2018},
url = {https://doi.org/10.1007/s00446-017-0305-3},
doi = {10.1007/S00446-017-0305-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/AlistarhKKRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Kuznetsov18,
author = {Petr Kuznetsov},
title = {The First Summer School on Practice and Theory of Concurrent Computing
{SPTCC} 2017},
journal = {{SIGACT} News},
volume = {49},
number = {1},
pages = {81--90},
year = {2018},
url = {https://doi.org/10.1145/3197406.3197421},
doi = {10.1145/3197406.3197421},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Kuznetsov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AksenovKS18,
author = {Vitaly Aksenov and
Petr Kuznetsov and
Anatoly Shalyto},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {On Helping and Stacks},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {107--121},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_8},
doi = {10.1007/978-3-030-05529-5\_8},
timestamp = {Tue, 21 Mar 2023 21:02:48 +0100},
biburl = {https://dblp.org/rec/conf/netys/AksenovKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/AksenovKS18,
author = {Vitaly Aksenov and
Petr Kuznetsov and
Anatoly Shalyto},
editor = {Jiannong Cao and
Faith Ellen and
Lu{\'{\i}}s Rodrigues and
Bernardo Ferreira},
title = {Parallel Combining: Benefits of Explicit Synchronization},
booktitle = {22nd International Conference on Principles of Distributed Systems,
{OPODIS} 2018, December 17-19, 2018, Hong Kong, China},
series = {LIPIcs},
volume = {125},
pages = {11:1--11:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2018.11},
doi = {10.4230/LIPICS.OPODIS.2018.11},
timestamp = {Sat, 29 Apr 2023 18:21:58 +0200},
biburl = {https://dblp.org/rec/conf/opodis/AksenovKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/KuznetsovY18,
author = {Petr Kuznetsov and
Nayuta Yanagisawa},
editor = {Jiannong Cao and
Faith Ellen and
Lu{\'{\i}}s Rodrigues and
Bernardo Ferreira},
title = {Task Computability in Unreliable Anonymous Networks},
booktitle = {22nd International Conference on Principles of Distributed Systems,
{OPODIS} 2018, December 17-19, 2018, Hong Kong, China},
series = {LIPIcs},
volume = {125},
pages = {23:1--23:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2018.23},
doi = {10.4230/LIPICS.OPODIS.2018.23},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/KuznetsovY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KuznetsovRH18,
author = {Petr Kuznetsov and
Thibault Rieutord and
Yuan He},
editor = {Calvin Newport and
Idit Keidar},
title = {An Asynchronous Computability Theorem for Fair Adversaries},
booktitle = {Proceedings of the 2018 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2018, Egham, United Kingdom, July 23-27, 2018},
pages = {387--396},
publisher = {{ACM}},
year = {2018},
url = {https://dl.acm.org/citation.cfm?id=3212765},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/KuznetsovRH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AksenovAK18,
author = {Vitaly Aksenov and
Dan Alistarh and
Petr Kuznetsov},
editor = {Calvin Newport and
Idit Keidar},
title = {Brief Announcement: Performance Prediction for Coarse-Grained Locking},
booktitle = {Proceedings of the 2018 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2018, Egham, United Kingdom, July 23-27, 2018},
pages = {411--413},
publisher = {{ACM}},
year = {2018},
url = {https://dl.acm.org/citation.cfm?id=3212785},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/AksenovAK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sss/2018,
editor = {Taisuke Izumi and
Petr Kuznetsov},
title = {Stabilization, Safety, and Security of Distributed Systems - 20th
International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11201},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03232-6},
doi = {10.1007/978-3-030-03232-6},
isbn = {978-3-030-03231-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-10844,
author = {Rachid Guerraoui and
Petr Kuznetsov and
Matteo Monti and
Matej Pavlovic and
Dragos{-}Adrian Seredinschi},
title = {{AT2:} Asynchronous Trustworthy Transfers},
journal = {CoRR},
volume = {abs/1812.10844},
year = {2018},
url = {http://arxiv.org/abs/1812.10844},
eprinttype = {arXiv},
eprint = {1812.10844},
timestamp = {Wed, 02 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-10844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/CapdevielleJKM17,
author = {Claire Capdevielle and
Colette Johnen and
Petr Kuznetsov and
Alessia Milani},
title = {On the uncontended complexity of anonymous agreement},
journal = {Distributed Comput.},
volume = {30},
number = {6},
pages = {459--468},
year = {2017},
url = {https://doi.org/10.1007/s00446-017-0297-z},
doi = {10.1007/S00446-017-0297-Z},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/CapdevielleJKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/KuznetsovR17,
author = {Petr Kuznetsov and
Srivatsan Ravi},
title = {Grasping the gap between blocking and non-blocking transactional memories},
journal = {J. Parallel Distributed Comput.},
volume = {101},
pages = {1--16},
year = {2017},
url = {https://doi.org/10.1016/j.jpdc.2016.10.008},
doi = {10.1016/J.JPDC.2016.10.008},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/KuznetsovR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KuznetsovP17,
author = {Petr Kuznetsov and
Sathya Peri},
title = {Non-interference and local correctness in transactional memory},
journal = {Theor. Comput. Sci.},
volume = {688},
pages = {103--116},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2016.06.021},
doi = {10.1016/J.TCS.2016.06.021},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KuznetsovP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/AksenovGKMR17,
author = {Vitaly Aksenov and
Vincent Gramoli and
Petr Kuznetsov and
Anna Malova and
Srivatsan Ravi},
editor = {Francisco F. Rivera and
Tom{\'{a}}s F. Pena and
Jos{\'{e}} Carlos Cabaleiro},
title = {A Concurrency-Optimal Binary Search Tree},
booktitle = {Euro-Par 2017: Parallel Processing - 23rd International Conference
on Parallel and Distributed Computing, Santiago de Compostela, Spain,
August 28 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10417},
pages = {580--593},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64203-1\_42},
doi = {10.1007/978-3-319-64203-1\_42},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/AksenovGKMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/KuznetsovR17,
author = {Petr Kuznetsov and
Thibault Rieutord},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Agreement Functions for Distributed Computing Models},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {175--190},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_14},
doi = {10.1007/978-3-319-59647-1\_14},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/netys/KuznetsovR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/ImbsKR17,
author = {Damien Imbs and
Petr Kuznetsov and
Thibault Rieutord},
editor = {James Aspnes and
Alysson Bessani and
Pascal Felber and
Jo{\~{a}}o Leit{\~{a}}o},
title = {Progress-Space Tradeoffs in Single-Writer Memory Implementations},
booktitle = {21st International Conference on Principles of Distributed Systems,
{OPODIS} 2017, Lisbon, Portugal, December 18-20, 2017},
series = {LIPIcs},
volume = {95},
pages = {9:1--9:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2017.9},
doi = {10.4230/LIPICS.OPODIS.2017.9},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/opodis/ImbsKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/KuznetsovR017,
author = {Petr Kuznetsov and
Thibault Rieutord and
Yuan He},
editor = {Andr{\'{e}}a W. Richa},
title = {Brief Announcement: Compact Topology of Shared-Memory Adversaries},
booktitle = {31st International Symposium on Distributed Computing, {DISC} 2017,
October 16-20, 2017, Vienna, Austria},
series = {LIPIcs},
volume = {91},
pages = {56:1--56:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.DISC.2017.56},
doi = {10.4230/LIPICS.DISC.2017.56},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/wdag/KuznetsovR017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KuznetsovR17,
author = {Petr Kuznetsov and
Thibault Rieutord},
title = {Agreement Functions for Distributed Computing Models},
journal = {CoRR},
volume = {abs/1702.00361},
year = {2017},
url = {http://arxiv.org/abs/1702.00361},
eprinttype = {arXiv},
eprint = {1702.00361},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KuznetsovR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AksenovGKMR17,
author = {Vitaly Aksenov and
Vincent Gramoli and
Petr Kuznetsov and
Anna Malova and
Srivatsan Ravi},
title = {A Concurrency-Optimal Binary Search Tree},
journal = {CoRR},
volume = {abs/1702.04441},
year = {2017},
url = {http://arxiv.org/abs/1702.04441},
eprinttype = {arXiv},
eprint = {1702.04441},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AksenovGKMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AksenovK17,
author = {Vitaly Aksenov and
Petr Kuznetsov},
title = {Flat Parallelization},
journal = {CoRR},
volume = {abs/1705.02851},
year = {2017},
url = {http://arxiv.org/abs/1705.02851},
eprinttype = {arXiv},
eprint = {1705.02851},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AksenovK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-01879,
author = {Damien Imbs and
Petr Kuznetsov and
Thibault Rieutord},
title = {Progress-Space Tradeoffs in Single-Writer Memory Implementations},
journal = {CoRR},
volume = {abs/1709.01879},
year = {2017},
url = {http://arxiv.org/abs/1709.01879},
eprinttype = {arXiv},
eprint = {1709.01879},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-01879.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07588,
author = {Vitaly Aksenov and
Petr Kuznetsov},
title = {Parallel Combining: Making Use of Free Cycles},
journal = {CoRR},
volume = {abs/1710.07588},
year = {2017},
url = {http://arxiv.org/abs/1710.07588},
eprinttype = {arXiv},
eprint = {1710.07588},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-07588.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/SchiffSK16,
author = {Liron Schiff and
Stefan Schmid and
Petr Kuznetsov},
title = {In-Band Synchronization for Distributed {SDN} Control Planes},
journal = {Comput. Commun. Rev.},
volume = {46},
number = {1},
pages = {37--43},
year = {2016},
url = {https://doi.org/10.1145/2875951.2875957},
doi = {10.1145/2875951.2875957},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/SchiffSK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/Gafni0KR16,
author = {Eli Gafni and
Yuan He and
Petr Kuznetsov and
Thibault Rieutord},
editor = {Panagiota Fatourou and
Ernesto Jim{\'{e}}nez and
Fernando Pedone},
title = {Read-Write Memory and k-Set Consensus as an Affine Task},
booktitle = {20th International Conference on Principles of Distributed Systems,
{OPODIS} 2016, December 13-16, 2016, Madrid, Spain},
series = {LIPIcs},
volume = {70},
pages = {6:1--6:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2016.6},
doi = {10.4230/LIPICS.OPODIS.2016.6},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/opodis/Gafni0KR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/Delporte-Gallet16,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Eli Gafni and
Petr Kuznetsov},
editor = {Panagiota Fatourou and
Ernesto Jim{\'{e}}nez and
Fernando Pedone},
title = {Set-Consensus Collections are Decidable},
booktitle = {20th International Conference on Principles of Distributed Systems,
{OPODIS} 2016, December 13-16, 2016, Madrid, Spain},
series = {LIPIcs},
volume = {70},
pages = {7:1--7:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2016.7},
doi = {10.4230/LIPICS.OPODIS.2016.7},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/Delporte-Gallet16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/GramoliKR16,
author = {Vincent Gramoli and
Petr Kuznetsov and
Srivatsan Ravi},
editor = {Jukka Suomela},
title = {In the Search for Optimal Concurrency},
booktitle = {Structural Information and Communication Complexity - 23rd International
Colloquium, {SIROCCO} 2016, Helsinki, Finland, July 19-21, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9988},
pages = {143--158},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48314-6\_10},
doi = {10.1007/978-3-319-48314-6\_10},
timestamp = {Tue, 29 Dec 2020 18:39:44 +0100},
biburl = {https://dblp.org/rec/conf/sirocco/GramoliKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/FraigniaudRTKR16,
author = {Pierre Fraigniaud and
Sergio Rajsbaum and
Corentin Travers and
Petr Kuznetsov and
Thibault Rieutord},
editor = {Borzoo Bonakdarpour and
Franck Petit},
title = {Perfect Failure Detection with Very Few Bits},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th
International Symposium, {SSS} 2016, Lyon, France, November 7-10,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10083},
pages = {154--169},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49259-9\_13},
doi = {10.1007/978-3-319-49259-9\_13},
timestamp = {Sun, 25 Oct 2020 22:45:03 +0100},
biburl = {https://dblp.org/rec/conf/sss/FraigniaudRTKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GramoliKR16,
author = {Vincent Gramoli and
Petr Kuznetsov and
Srivatsan Ravi},
title = {In the Search of Optimal Concurrency},
journal = {CoRR},
volume = {abs/1603.01384},
year = {2016},
url = {http://arxiv.org/abs/1603.01384},
eprinttype = {arXiv},
eprint = {1603.01384},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GramoliKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Delporte-Gallet16,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Eli Gafni and
Petr Kuznetsov},
title = {Set-Consensus Collections are Decidable},
journal = {CoRR},
volume = {abs/1607.05635},
year = {2016},
url = {http://arxiv.org/abs/1607.05635},
eprinttype = {arXiv},
eprint = {1607.05635},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Delporte-Gallet16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GafniHKR16,
author = {Eli Gafni and
Yuan He and
Petr Kuznetsov and
Thibault Rieutord},
title = {Read-Write Memory and k-Set Consensus as an Affine Task},
journal = {CoRR},
volume = {abs/1610.01423},
year = {2016},
url = {http://arxiv.org/abs/1610.01423},
eprinttype = {arXiv},
eprint = {1610.01423},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GafniHKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Delporte-GalletFGK15,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Eli Gafni and
Petr Kuznetsov},
title = {Wait-freedom with advice},
journal = {Distributed Comput.},
volume = {28},
number = {1},
pages = {3--19},
year = {2015},
url = {https://doi.org/10.1007/s00446-014-0231-6},
doi = {10.1007/S00446-014-0231-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Delporte-GalletFGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/KuznetsovR15,
author = {Petr Kuznetsov and
Srivatsan Ravi},
editor = {Sajal K. Das and
Dilip Krishnaswamy and
Santonu Karkar and
Amos Korman and
Mohan J. Kumar and
Marius Portmann and
Srikanth Sastry},
title = {On Partial Wait-Freedom in Transactional Memory},
booktitle = {Proceedings of the 2015 International Conference on Distributed Computing
and Networking, {ICDCN} 2015, Goa, India, January 4-7, 2015},
pages = {10:1--10:9},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2684464.2684473},
doi = {10.1145/2684464.2684473},
timestamp = {Wed, 11 Sep 2019 12:17:11 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/KuznetsovR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/CaniniKLS15,
author = {Marco Canini and
Petr Kuznetsov and
Dan Levin and
Stefan Schmid},
title = {A distributed and robust {SDN} control plane for transactional network
updates},
booktitle = {2015 {IEEE} Conference on Computer Communications, {INFOCOM} 2015,
Kowloon, Hong Kong, April 26 - May 1, 2015},
pages = {190--198},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/INFOCOM.2015.7218382},
doi = {10.1109/INFOCOM.2015.7218382},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/infocom/CaniniKLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/CapdevielleJKM15,
author = {Claire Capdevielle and
Colette Johnen and
Petr Kuznetsov and
Alessia Milani},
editor = {Emmanuelle Anceaume and
Christian Cachin and
Maria Gradinariu Potop{-}Butucaru},
title = {On the Uncontended Complexity of Anonymous Consensus},
booktitle = {19th International Conference on Principles of Distributed Systems,
{OPODIS} 2015, December 14-17, 2015, Rennes, France},
series = {LIPIcs},
volume = {46},
pages = {12:1--12:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2015.12},
doi = {10.4230/LIPICS.OPODIS.2015.12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/CapdevielleJKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/KuznetsovR15,
author = {Petr Kuznetsov and
Srivatsan Ravi},
editor = {Victor Malyshkin},
title = {Progressive Transactional Memory in Time and Space},
booktitle = {Parallel Computing Technologies - 13th International Conference, PaCT
2015, Petrozavodsk, Russia, August 31 - September 4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9251},
pages = {410--425},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21909-7\_40},
doi = {10.1007/978-3-319-21909-7\_40},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/pact/KuznetsovR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Delporte-Gallet15,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Petr Kuznetsov and
Eric Ruppert},
editor = {Chryssis Georgiou and
Paul G. Spirakis},
title = {On the Space Complexity of Set Agreement},
booktitle = {Proceedings of the 2015 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2015, Donostia-San Sebasti{\'{a}}n, Spain,
July 21 - 23, 2015},
pages = {271--280},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2767386.2767406},
doi = {10.1145/2767386.2767406},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/Delporte-Gallet15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DuboisGKPS15,
author = {Swan Dubois and
Rachid Guerraoui and
Petr Kuznetsov and
Franck Petit and
Pierre Sens},
editor = {Chryssis Georgiou and
Paul G. Spirakis},
title = {The Weakest Failure Detector for Eventual Consistency},
booktitle = {Proceedings of the 2015 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2015, Donostia-San Sebasti{\'{a}}n, Spain,
July 21 - 23, 2015},
pages = {375--384},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2767386.2767404},
doi = {10.1145/2767386.2767404},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/DuboisGKPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AlistarhKKRS15,
author = {Dan Alistarh and
Justin Kopinsky and
Petr Kuznetsov and
Srivatsan Ravi and
Nir Shavit},
editor = {Yoram Moses},
title = {Inherent Limitations of Hybrid Transactional Memory},
booktitle = {Distributed Computing - 29th International Symposium, {DISC} 2015,
Tokyo, Japan, October 7-9, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9363},
pages = {185--199},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48653-5\_13},
doi = {10.1007/978-3-662-48653-5\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AlistarhKKRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/KuznetsovR15,
author = {Petr Kuznetsov and
Srivatsan Ravi},
editor = {Yoram Moses},
title = {Grasping the Gap Between Blocking and Non-Blocking Transactional Memories},
booktitle = {Distributed Computing - 29th International Symposium, {DISC} 2015,
Tokyo, Japan, October 7-9, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9363},
pages = {232--247},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48653-5\_16},
doi = {10.1007/978-3-662-48653-5\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/KuznetsovR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cost/AttiyaHKR15,
author = {Hagit Attiya and
Sandeep Hans and
Petr Kuznetsov and
Srivatsan Ravi},
editor = {Rachid Guerraoui and
Paolo Romano},
title = {Safety and Deferred Update in Transactional Memory},
booktitle = {Transactional Memory. Foundations, Algorithms, Tools, and Applications
- {COST} Action Euro-TM {IC1001}},
series = {Lecture Notes in Computer Science},
volume = {8913},
pages = {50--71},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14720-8\_3},
doi = {10.1007/978-3-319-14720-8\_3},
timestamp = {Wed, 07 Dec 2022 23:14:03 +0100},
biburl = {https://dblp.org/rec/conf/cost/AttiyaHKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GramoliKRS15,
author = {Vincent Gramoli and
Petr Kuznetsov and
Srivatsan Ravi and
Di Shang},
title = {A Concurrency-Optimal List-Based Set},
journal = {CoRR},
volume = {abs/1502.01633},
year = {2015},
url = {http://arxiv.org/abs/1502.01633},
eprinttype = {arXiv},
eprint = {1502.01633},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GramoliKRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KuznetsovR15,
author = {Petr Kuznetsov and
Srivatsan Ravi},
title = {Why Transactional Memory Should Not Be Obstruction-Free},
journal = {CoRR},
volume = {abs/1502.02725},
year = {2015},
url = {http://arxiv.org/abs/1502.02725},
eprinttype = {arXiv},
eprint = {1502.02725},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KuznetsovR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KuznetsovR15a,
author = {Petr Kuznetsov and
Srivatsan Ravi},
title = {Progressive Transactional Memory in Time and Space},
journal = {CoRR},
volume = {abs/1502.04908},
year = {2015},
url = {http://arxiv.org/abs/1502.04908},
eprinttype = {arXiv},
eprint = {1502.04908},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KuznetsovR15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Delporte-Gallet15,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Petr Kuznetsov and
Eric Ruppert},
title = {On the Space Complexity of Set Agreement},
journal = {CoRR},
volume = {abs/1505.02690},
year = {2015},
url = {http://arxiv.org/abs/1505.02690},
eprinttype = {arXiv},
eprint = {1505.02690},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Delporte-Gallet15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DuboisGKPS15,
author = {Swan Dubois and
Rachid Guerraoui and
Petr Kuznetsov and
Franck Petit and
Pierre Sens},
title = {The Weakest Failure Detector for Eventual Consistency},
journal = {CoRR},
volume = {abs/1505.03469},
year = {2015},
url = {http://arxiv.org/abs/1505.03469},
eprinttype = {arXiv},
eprint = {1505.03469},
timestamp = {Wed, 18 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DuboisGKPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/KuznetsovP14,
author = {Petr Kuznetsov and
Sathya Peri},
editor = {Mainak Chatterjee and
Jiannong Cao and
Kishore Kothapalli and
Sergio Rajsbaum},
title = {Non-interference and Local Correctness in Transactional Memory},
booktitle = {Distributed Computing and Networking - 15th International Conference,
{ICDCN} 2014, Coimbatore, India, January 4-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8314},
pages = {197--211},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-45249-9\_13},
doi = {10.1007/978-3-642-45249-9\_13},
timestamp = {Tue, 14 Apr 2020 13:23:10 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/KuznetsovP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BouzidGK14,
author = {Zohir Bouzid and
Eli Gafni and
Petr Kuznetsov},
editor = {Marcos K. Aguilera and
Leonardo Querzoni and
Marc Shapiro},
title = {Strong Equivalence Relations for Iterated Models},
booktitle = {Principles of Distributed Systems - 18th International Conference,
{OPODIS} 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8878},
pages = {139--154},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14472-6\_10},
doi = {10.1007/978-3-319-14472-6\_10},
timestamp = {Mon, 15 Jun 2020 17:10:01 +0200},
biburl = {https://dblp.org/rec/conf/opodis/BouzidGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GafniKM14,
author = {Eli Gafni and
Petr Kuznetsov and
Ciprian Manolescu},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Shlomi Dolev},
title = {A generalized asynchronous computability theorem},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '14,
Paris, France, July 15-18, 2014},
pages = {222--231},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2611462.2611477},
doi = {10.1145/2611462.2611477},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/GafniKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BouzidGK14,
author = {Zohir Bouzid and
Eli Gafni and
Petr Kuznetsov},
title = {Live Equals Fast in Iterated Models},
journal = {CoRR},
volume = {abs/1402.2446},
year = {2014},
url = {http://arxiv.org/abs/1402.2446},
eprinttype = {arXiv},
eprint = {1402.2446},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BouzidGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlistarhKKRS14,
author = {Dan Alistarh and
Justin Kopinsky and
Petr Kuznetsov and
Srivatsan Ravi and
Nir Shavit},
title = {Inherent Limitations of Hybrid Transactional Memory},
journal = {CoRR},
volume = {abs/1405.5689},
year = {2014},
url = {http://arxiv.org/abs/1405.5689},
eprinttype = {arXiv},
eprint = {1405.5689},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlistarhKKRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KuznetsovR14,
author = {Petr Kuznetsov and
Srivatsan Ravi},
title = {On Partial Wait-Freedom in Transactional Memory},
journal = {CoRR},
volume = {abs/1407.6876},
year = {2014},
url = {http://arxiv.org/abs/1407.6876},
eprinttype = {arXiv},
eprint = {1407.6876},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KuznetsovR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AttiyaHKR13,
author = {Hagit Attiya and
Sandeep Hans and
Petr Kuznetsov and
Srivatsan Ravi},
title = {Safety of Deferred Update in Transactional Memory},
booktitle = {{IEEE} 33rd International Conference on Distributed Computing Systems,
{ICDCS} 2013, 8-11 July, 2013, Philadelphia, Pennsylvania, {USA}},
pages = {601--610},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICDCS.2013.57},
doi = {10.1109/ICDCS.2013.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/AttiyaHKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/CaniniKLS13,
author = {Marco Canini and
Petr Kuznetsov and
Dan Levin and
Stefan Schmid},
editor = {Nate Foster and
Rob Sherwood},
title = {Software transactional networking: concurrent and consistent policy
composition},
booktitle = {Proceedings of the Second {ACM} {SIGCOMM} Workshop on Hot Topics in
Software Defined Networking, HotSDN 2013, The Chinese University of
Hong Kong, Hong Kong, China, Friday, August 16, 2013},
pages = {1--6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491185.2491200},
doi = {10.1145/2491185.2491200},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/CaniniKLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/Kuznetsov13,
author = {Petr Kuznetsov},
editor = {Teruo Higashino and
Yoshiaki Katayama and
Toshimitsu Masuzawa and
Maria Potop{-}Butucaru and
Masafumi Yamashita},
title = {Universal Model Simulation: {BG} and Extended {BG} as Examples},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 15th
International Symposium, {SSS} 2013, Osaka, Japan, November 13-16,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8255},
pages = {17--31},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03089-0\_2},
doi = {10.1007/978-3-319-03089-0\_2},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/Kuznetsov13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-6297,
author = {Hagit Attiya and
Sandeep Hans and
Petr Kuznetsov and
Srivatsan Ravi},
title = {Safety of Deferred Update in Transactional Memory},
journal = {CoRR},
volume = {abs/1301.6297},
year = {2013},
url = {http://arxiv.org/abs/1301.6297},
eprinttype = {arXiv},
eprint = {1301.6297},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-6297.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1220,
author = {Eli Gafni and
Petr Kuznetsov and
Ciprian Manolescu},
title = {A generalized asynchronous computability theorem},
journal = {CoRR},
volume = {abs/1304.1220},
year = {2013},
url = {http://arxiv.org/abs/1304.1220},
eprinttype = {arXiv},
eprint = {1304.1220},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-1220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaniniKLS13,
author = {Marco Canini and
Petr Kuznetsov and
Dan Levin and
Stefan Schmid},
title = {A Distributed {SDN} Control Plane for Consistent Policy Updates},
journal = {CoRR},
volume = {abs/1305.7429},
year = {2013},
url = {http://arxiv.org/abs/1305.7429},
eprinttype = {arXiv},
eprint = {1305.7429},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaniniKLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kuznetsov13,
author = {Petr Kuznetsov},
title = {Simple {CHT:} {A} New Derivation of the Weakest Failure Detector for
Consensus},
journal = {CoRR},
volume = {abs/1310.1761},
year = {2013},
url = {http://arxiv.org/abs/1310.1761},
eprinttype = {arXiv},
eprint = {1310.1761},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kuznetsov13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AfekKN12,
author = {Yehuda Afek and
Petr Kuznetsov and
Israel Nir},
title = {Renaming and the weakest family of failure detectors},
journal = {Distributed Comput.},
volume = {25},
number = {6},
pages = {411--425},
year = {2012},
url = {https://doi.org/10.1007/s00446-012-0177-5},
doi = {10.1007/S00446-012-0177-5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/AfekKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Kuznetsov12,
author = {Petr Kuznetsov},
title = {Understanding Non-Uniform Failure Models},
journal = {Bull. {EATCS}},
volume = {106},
pages = {53--77},
year = {2012},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/80},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Kuznetsov12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GuerraouiHKT12,
author = {Rachid Guerraoui and
Vassos Hadzilacos and
Petr Kuznetsov and
Sam Toueg},
title = {The Weakest Failure Detectors to Solve Quittable Consensus and Nonblocking
Atomic Commit},
journal = {{SIAM} J. Comput.},
volume = {41},
number = {6},
pages = {1343--1379},
year = {2012},
url = {https://doi.org/10.1137/070698877},
doi = {10.1137/070698877},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/GuerraouiHKT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/KuznetsovR12,
author = {Petr Kuznetsov and
Srivatsan Ravi},
title = {{WTTM} 2011: the third workshop on the theory of transactional memory},
journal = {{SIGACT} News},
volume = {43},
number = {1},
pages = {87--92},
year = {2012},
url = {https://doi.org/10.1145/2160649.2160672},
doi = {10.1145/2160649.2160672},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/KuznetsovR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Delporte-GalletFGK12,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Eli Gafni and
Petr Kuznetsov},
editor = {Darek Kowalski and
Alessandro Panconesi},
title = {Wait-freedom with advice},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '12,
Funchal, Madeira, Portugal, July 16-18, 2012},
pages = {105--114},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2332432.2332456},
doi = {10.1145/2332432.2332456},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Delporte-GalletFGK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GramoliKR12,
author = {Vincent Gramoli and
Petr Kuznetsov and
Srivatsan Ravi},
editor = {Darek Kowalski and
Alessandro Panconesi},
title = {Brief announcement: From sequential to concurrent: correctness and
relative efficiency},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '12,
Funchal, Madeira, Portugal, July 16-18, 2012},
pages = {241--242},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2332432.2332480},
doi = {10.1145/2332432.2332480},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/GramoliKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/AlistarhGKL12,
author = {Dan Alistarh and
Rachid Guerraoui and
Petr Kuznetsov and
Giuliano Losa},
editor = {Guy E. Blelloch and
Maurice Herlihy},
title = {On the cost of composing shared-memory algorithms},
booktitle = {24th {ACM} Symposium on Parallelism in Algorithms and Architectures,
{SPAA} '12, Pittsburgh, PA, USA, June 25-27, 2012},
pages = {298--307},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2312005.2312057},
doi = {10.1145/2312005.2312057},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spaa/AlistarhGKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-4751,
author = {Vincent Gramoli and
Petr Kuznetsov and
Srivatsan Ravi},
title = {From Sequential to Concurrent: Correctness and Relative Efficiency},
journal = {CoRR},
volume = {abs/1203.4751},
year = {2012},
url = {http://arxiv.org/abs/1203.4751},
eprinttype = {arXiv},
eprint = {1203.4751},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-4751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-6315,
author = {Petr Kuznetsov and
Sathya Peri},
title = {On Non-Interference of Transactions},
journal = {CoRR},
volume = {abs/1211.6315},
year = {2012},
url = {http://arxiv.org/abs/1211.6315},
eprinttype = {arXiv},
eprint = {1211.6315},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-6315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/FreilingGK11,
author = {Felix C. Freiling and
Rachid Guerraoui and
Petr Kuznetsov},
title = {The failure detector abstraction},
journal = {{ACM} Comput. Surv.},
volume = {43},
number = {2},
pages = {9:1--9:40},
year = {2011},
url = {https://doi.org/10.1145/1883612.1883616},
doi = {10.1145/1883612.1883616},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/FreilingGK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GafniK11,
author = {Eli Gafni and
Petr Kuznetsov},
title = {On set consensus numbers},
journal = {Distributed Comput.},
volume = {24},
number = {3-4},
pages = {149--163},
year = {2011},
url = {https://doi.org/10.1007/s00446-011-0142-8},
doi = {10.1007/S00446-011-0142-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/GafniK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AttieGKLR11,
author = {Paul C. Attie and
Rachid Guerraoui and
Petr Kuznetsov and
Nancy A. Lynch and
Sergio Rajsbaum},
title = {The impossibility of boosting distributed service resilience},
journal = {Inf. Comput.},
volume = {209},
number = {6},
pages = {927--950},
year = {2011},
url = {https://doi.org/10.1016/j.ic.2010.07.005},
doi = {10.1016/J.IC.2010.07.005},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AttieGKLR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/GafniK11,
author = {Eli Gafni and
Petr Kuznetsov},
editor = {Marcos Kawazoe Aguilera and
Haifeng Yu and
Nitin H. Vaidya and
Vikram Srinivasan and
Romit Roy Choudhury},
title = {Relating \emph{L}{\textbackslash}mathcal\{L\}-Resilience and Wait-Freedom
via Hitting Sets},
booktitle = {Distributed Computing and Networking - 12th International Conference,
{ICDCN} 2011, Bangalore, India, January 2-5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6522},
pages = {191--202},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-17679-1\_17},
doi = {10.1007/978-3-642-17679-1\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/GafniK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/KuznetsovR11,
author = {Petr Kuznetsov and
Srivatsan Ravi},
editor = {Antonio Fern{\'{a}}ndez Anta and
Giuseppe Lipari and
Matthieu Roy},
title = {On the Cost of Concurrency in Transactional Memory},
booktitle = {Principles of Distributed Systems - 15th International Conference,
{OPODIS} 2011, Toulouse, France, December 13-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7109},
pages = {112--127},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25873-2\_9},
doi = {10.1007/978-3-642-25873-2\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/KuznetsovR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AttiyaGHKMV11,
author = {Hagit Attiya and
Rachid Guerraoui and
Danny Hendler and
Petr Kuznetsov and
Maged M. Michael and
Martin T. Vechev},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Laws of order: expensive synchronization in concurrent algorithms
cannot be eliminated},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {487--498},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926442},
doi = {10.1145/1926385.1926442},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/AttiyaGHKMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/PostNKD11,
author = {Ansley Post and
Juan Navarro and
Petr Kuznetsov and
Peter Druschel},
editor = {Jason Nieh and
Carl A. Waldspurger},
title = {Autonomous Storage Management for Personal Devices with PodBase},
booktitle = {2011 {USENIX} Annual Technical Conference, Portland, OR, USA, June
15-17, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/usenixatc11/autonomous-storage-management-personal-devices-podbase},
timestamp = {Mon, 01 Feb 2021 08:43:25 +0100},
biburl = {https://dblp.org/rec/conf/usenix/PostNKD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Delporte-GalletFGK11,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Eli Gafni and
Petr Kuznetsov},
editor = {David Peleg},
title = {Brief Announcement: On the Meaning of Solving a Task with a Failure
Detector},
booktitle = {Distributed Computing - 25th International Symposium, {DISC} 2011,
Rome, Italy, September 20-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6950},
pages = {145--146},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24100-0\_12},
doi = {10.1007/978-3-642-24100-0\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/Delporte-GalletFGK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-1302,
author = {Petr Kuznetsov and
Srivatsan Ravi},
title = {On the Cost of Concurrency in Transactional Memory},
journal = {CoRR},
volume = {abs/1103.1302},
year = {2011},
url = {http://arxiv.org/abs/1103.1302},
eprinttype = {arXiv},
eprint = {1103.1302},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-1302.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-3056,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Eli Gafni and
Petr Kuznetsov},
title = {Impersonal Failure Detection},
journal = {CoRR},
volume = {abs/1109.3056},
year = {2011},
url = {http://arxiv.org/abs/1109.3056},
eprinttype = {arXiv},
eprint = {1109.3056},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-3056.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/GafniK10,
author = {Eli Gafni and
Petr Kuznetsov},
editor = {Chenyang Lu and
Toshimitsu Masuzawa and
Mohamed Mosbah},
title = {Turning Adversaries into Friends: Simplified, Made Constructive, and
Extended},
booktitle = {Principles of Distributed Systems - 14th International Conference,
{OPODIS} 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6490},
pages = {380--394},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17653-1\_28},
doi = {10.1007/978-3-642-17653-1\_28},
timestamp = {Tue, 11 Oct 2022 14:59:07 +0200},
biburl = {https://dblp.org/rec/conf/opodis/GafniK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GafniK10,
author = {Eli Gafni and
Petr Kuznetsov},
editor = {Andr{\'{e}}a W. Richa and
Rachid Guerraoui},
title = {Brief announcement: on L-resilience, hitting sets, and colorless tasks},
booktitle = {Proceedings of the 29th Annual {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2010, Zurich, Switzerland, July 25-28, 2010},
pages = {81--82},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1835698.1835719},
doi = {10.1145/1835698.1835719},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/GafniK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/KuznetsovS10,
author = {Petr Kuznetsov and
Stefan Schmid},
editor = {Boaz Patt{-}Shamir and
T{\'{\i}}naz Ekim},
title = {Towards Network Games with Social Preferences},
booktitle = {Structural Information and Communication Complexity, 17th International
Colloquium, {SIROCCO} 2010, Sirince, Turkey, June 7-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6058},
pages = {14--28},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13284-1\_3},
doi = {10.1007/978-3-642-13284-1\_3},
timestamp = {Fri, 17 Apr 2020 13:19:16 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/KuznetsovS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-5134,
author = {Petr Kuznetsov and
Stefan Schmid},
title = {Towards Network Games with Social Preferences},
journal = {CoRR},
volume = {abs/1001.5134},
year = {2010},
url = {http://arxiv.org/abs/1001.5134},
eprinttype = {arXiv},
eprint = {1001.5134},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-5134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-4701,
author = {Eli Gafni and
Petr Kuznetsov},
title = {L-Resilient Adversaries and Hitting Sets},
journal = {CoRR},
volume = {abs/1004.4701},
year = {2010},
url = {http://arxiv.org/abs/1004.4701},
eprinttype = {arXiv},
eprint = {1004.4701},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-4701.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GuerraouiHKLN09,
author = {Rachid Guerraoui and
Maurice Herlihy and
Petr Kuznetsov and
Nancy A. Lynch and
Calvin C. Newport},
title = {On the weakest failure detector ever},
journal = {Distributed Comput.},
volume = {21},
number = {5},
pages = {353--366},
year = {2009},
url = {https://doi.org/10.1007/s00446-009-0079-3},
doi = {10.1007/S00446-009-0079-3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/GuerraouiHKLN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AttiyaGHK09,
author = {Hagit Attiya and
Rachid Guerraoui and
Danny Hendler and
Petr Kuznetsov},
title = {The complexity of obstruction-free implementations},
journal = {J. {ACM}},
volume = {56},
number = {4},
pages = {24:1--24:33},
year = {2009},
url = {https://doi.org/10.1145/1538902.1538908},
doi = {10.1145/1538902.1538908},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AttiyaGHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/KuznetsovR09,
author = {Petr Kuznetsov and
Rodrigo Rodrigues},
title = {BFTW\({}^{\mbox{3}}\): why? when? where? workshop on the theory and
practice of byzantine fault tolerance},
journal = {{SIGACT} News},
volume = {40},
number = {4},
pages = {82--86},
year = {2009},
url = {https://doi.org/10.1145/1711475.1711494},
doi = {10.1145/1711475.1711494},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/KuznetsovR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/SinghFKRM09,
author = {Atul Singh and
Pedro Fonseca and
Petr Kuznetsov and
Rodrigo Rodrigues and
Petros Maniatis},
editor = {Jennifer Rexford and
Emin G{\"{u}}n Sirer},
title = {Zeno: Eventually Consistent Byzantine-Fault Tolerance},
booktitle = {Proceedings of the 6th {USENIX} Symposium on Networked Systems Design
and Implementation, {NSDI} 2009, April 22-24, 2009, Boston, MA, {USA}},
pages = {169--184},
publisher = {{USENIX} Association},
year = {2009},
url = {http://www.usenix.org/events/nsdi09/tech/full\_papers/singh/singh.pdf},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/SinghFKRM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/HaeberlenK09,
author = {Andreas Haeberlen and
Petr Kuznetsov},
editor = {Tarek F. Abdelzaher and
Michel Raynal and
Nicola Santoro},
title = {The Fault Detection Problem},
booktitle = {Principles of Distributed Systems, 13th International Conference,
{OPODIS} 2009, N{\^{\i}}mes, France, December 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5923},
pages = {99--114},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10877-8\_10},
doi = {10.1007/978-3-642-10877-8\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/HaeberlenK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GafniK09,
author = {Eli Gafni and
Petr Kuznetsov},
editor = {Srikanta Tirthapura and
Lorenzo Alvisi},
title = {The weakest failure detector for solving k-set agreement},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2009, Calgary, Alberta, Canada, August 10-12, 2009},
pages = {83--91},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1582716.1582735},
doi = {10.1145/1582716.1582735},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/GafniK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GafniK09,
author = {Eli Gafni and
Petr Kuznetsov},
editor = {Idit Keidar},
title = {On Set Consensus Numbers},
booktitle = {Distributed Computing, 23rd International Symposium, {DISC} 2009,
Elche, Spain, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5805},
pages = {35--47},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04355-0\_8},
doi = {10.1007/978-3-642-04355-0\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/GafniK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GuerraouiK08,
author = {Rachid Guerraoui and
Petr Kouznetsov},
title = {Failure detectors as type boosters},
journal = {Distributed Comput.},
volume = {20},
number = {5},
pages = {343--358},
year = {2008},
url = {https://doi.org/10.1007/s00446-007-0043-z},
doi = {10.1007/S00446-007-0043-Z},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/GuerraouiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GuerraouiKK08,
author = {Rachid Guerraoui and
Michal Kapalka and
Petr Kouznetsov},
title = {The weakest failure detectors to boost obstruction-freedom},
journal = {Distributed Comput.},
volume = {20},
number = {6},
pages = {415--433},
year = {2008},
url = {https://doi.org/10.1007/s00446-007-0046-9},
doi = {10.1007/S00446-007-0046-9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/GuerraouiKK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GuerraouiK08,
author = {Rachid Guerraoui and
Petr Kuznetsov},
title = {The gap in circumventing the impossibility of consensus},
journal = {J. Comput. Syst. Sci.},
volume = {74},
number = {5},
pages = {823--830},
year = {2008},
url = {https://doi.org/10.1016/j.jcss.2007.10.002},
doi = {10.1016/J.JCSS.2007.10.002},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GuerraouiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptps/PostKD08,
author = {Ansley Post and
Petr Kuznetsov and
Peter Druschel},
editor = {Adriana Iamnitchi and
Stefan Saroiu},
title = {PodBase: transparent storage management for personal devices},
booktitle = {Proceedings of the 7th international conference on Peer-to-peer systems,
IPTPS'08, Tampa, FL, USA, February 25-26, 2008},
pages = {1},
publisher = {{USENIX}},
year = {2008},
url = {http://www.iptps.org/papers-2008/50.pdf},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iptps/PostKD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladis/Singh0K0M08,
author = {Atul Singh and
Pedro Fonseca and
Petr Kuznetsov and
Rodrigo Rodrigues and
Petros Maniatis},
editor = {Eliezer Dekel and
Gregory V. Chockler},
title = {Defining weakly consistent Byzantine fault-tolerant services},
booktitle = {Proceedings of the 2nd Workshop on Large-Scale Distributed Systems
and Middleware, {LADIS} '08, Yorktown Heights, New York, USA, September
15-17, 2008},
pages = {11:1--11:5},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1529974.1529990},
doi = {10.1145/1529974.1529990},
timestamp = {Mon, 20 Dec 2021 10:53:44 +0100},
biburl = {https://dblp.org/rec/conf/ladis/Singh0K0M08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/GafniK07,
author = {Eli Gafni and
Petr Kuznetsov},
editor = {Eduardo Tovar and
Philippas Tsigas and
Hac{\`{e}}ne Fouchal},
title = {N-Consensus is the Second Strongest Object for {N+1} Processes},
booktitle = {Principles of Distributed Systems, 11th International Conference,
{OPODIS} 2007, Guadeloupe, French West Indies, December 17-20, 2007.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4878},
pages = {260--273},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77096-1\_19},
doi = {10.1007/978-3-540-77096-1\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/GafniK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GuerraouiHKLN07,
author = {Rachid Guerraoui and
Maurice Herlihy and
Petr Kouznetsov and
Nancy A. Lynch and
Calvin C. Newport},
editor = {Indranil Gupta and
Roger Wattenhofer},
title = {On the weakest failure detector ever},
booktitle = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2007, Portland, Oregon, USA, August
12-15, 2007},
pages = {235--243},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1281100.1281135},
doi = {10.1145/1281100.1281135},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/GuerraouiHKLN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/HaeberlenKD07,
author = {Andreas Haeberlen and
Petr Kouznetsov and
Peter Druschel},
editor = {Thomas C. Bressoud and
M. Frans Kaashoek},
title = {PeerReview: practical accountability for distributed systems},
booktitle = {Proceedings of the 21st {ACM} Symposium on Operating Systems Principles
2007, {SOSP} 2007, Stevenson, Washington, USA, October 14-17, 2007},
pages = {175--188},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294261.1294279},
doi = {10.1145/1294261.1294279},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/HaeberlenKD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/HaeberlenKD06,
author = {Andreas Haeberlen and
Petr Kouznetsov and
Peter Druschel},
editor = {George Candea and
Ken Birman},
title = {The Case for Byzantine Fault Detection},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/case-byzantine-fault-detection},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/HaeberlenKD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AttiyaGHK06,
author = {Hagit Attiya and
Rachid Guerraoui and
Danny Hendler and
Petr Kouznetsov},
editor = {Eric Ruppert and
Dahlia Malkhi},
title = {Synchronizing without locks is inherently expensive},
booktitle = {Proceedings of the Twenty-Fifth Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2006, Denver, CO, USA, July 23-26,
2006},
pages = {300--307},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146381.1146427},
doi = {10.1145/1146381.1146427},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/AttiyaGHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GuerraouiKK06,
author = {Rachid Guerraoui and
Michal Kapalka and
Petr Kouznetsov},
editor = {Shlomi Dolev},
title = {The Weakest Failure Detectors to Boost Obstruction-Freedom},
booktitle = {Distributed Computing, 20th International Symposium, {DISC} 2006,
Stockholm, Sweden, September 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4167},
pages = {399--412},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11864219\_28},
doi = {10.1007/11864219\_28},
timestamp = {Sat, 19 Oct 2019 20:32:37 +0200},
biburl = {https://dblp.org/rec/conf/wdag/GuerraouiKK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DruschelHK06,
author = {Peter Druschel and
Andreas Haeberlen and
Petr Kouznetsov},
editor = {Christian Cachin and
Felix C. Freiling and
Jaap{-}Henk Hoepman},
title = {Abstracting out Byzantine Behavior},
booktitle = {From Security to Dependability, 10.09. - 15.09.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06371},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/850},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DruschelHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/Delporte-GalletFGK05,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Rachid Guerraoui and
Petr Kouznetsov},
title = {Mutual exclusion in asynchronous systems with failure detectors},
journal = {J. Parallel Distributed Comput.},
volume = {65},
number = {4},
pages = {492--505},
year = {2005},
url = {https://doi.org/10.1016/j.jpdc.2004.11.008},
doi = {10.1016/J.JPDC.2004.11.008},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/Delporte-GalletFGK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AttieGKLR05,
author = {Paul C. Attie and
Rachid Guerraoui and
Petr Kouznetsov and
Nancy A. Lynch and
Sergio Rajsbaum},
title = {The Impossibility of Boosting Distributed Service Resilience},
booktitle = {25th International Conference on Distributed Computing Systems {(ICDCS}
2005), 6-10 June 2005, Columbus, OH, {USA}},
pages = {39--48},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICDCS.2005.79},
doi = {10.1109/ICDCS.2005.79},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/AttieGKLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AttiyaGK05,
author = {Hagit Attiya and
Rachid Guerraoui and
Petr Kouznetsov},
editor = {Pierre Fraigniaud},
title = {Computing with Reads and Writes in the Absence of Step Contention},
booktitle = {Distributed Computing, 19th International Conference, {DISC} 2005,
Cracow, Poland, September 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3724},
pages = {122--136},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11561927\_11},
doi = {10.1007/11561927\_11},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AttiyaGK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/EugsterGK04,
author = {Patrick Th. Eugster and
Rachid Guerraoui and
Petr Kouznetsov},
title = {D-Reliable Broadcast: {A} Probabilistic Measure of Broadcast Reliability},
booktitle = {24th International Conference on Distributed Computing Systems {(ICDCS}
2004), 24-26 March 2004, Hachioji, Tokyo, Japan},
pages = {636--643},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICDCS.2004.1281631},
doi = {10.1109/ICDCS.2004.1281631},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/EugsterGK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Delporte-GalletFGHKT04,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Rachid Guerraoui and
Vassos Hadzilacos and
Petr Kouznetsov and
Sam Toueg},
editor = {Soma Chaudhuri and
Shay Kutten},
title = {The weakest failure detectors to solve certain fundamental problems
in distributed computing},
booktitle = {Proceedings of the Twenty-Third Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2004, St. John's, Newfoundland, Canada,
July 25-28, 2004},
pages = {338--346},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1011767.1011818},
doi = {10.1145/1011767.1011818},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Delporte-GalletFGHKT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/EugsterGHKK03,
author = {Patrick Th. Eugster and
Rachid Guerraoui and
Sidath B. Handurukande and
Petr Kouznetsov and
Anne{-}Marie Kermarrec},
title = {Lightweight probabilistic broadcast},
journal = {{ACM} Trans. Comput. Syst.},
volume = {21},
number = {4},
pages = {341--374},
year = {2003},
url = {https://doi.org/10.1145/945506.945507},
doi = {10.1145/945506.945507},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocs/EugsterGHKK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GuerraouiK03,
author = {Rachid Guerraoui and
Petr Kouznetsov},
editor = {Faith Ellen Fich},
title = {On Failure Detectors and Type Boosters},
booktitle = {Distributed Computing, 17th International Conference, {DISC} 2003,
Sorrento, Italy, October 1-3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2848},
pages = {292--305},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39989-6\_21},
doi = {10.1007/978-3-540-39989-6\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/GuerraouiK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/GuerraouiK02,
author = {Rachid Guerraoui and
Petr Kouznetsov},
editor = {Ricardo A. Baeza{-}Yates and
Ugo Montanari and
Nicola Santoro},
title = {On the Weakest Failure Detector for Non-Blocking Atomic Commit},
booktitle = {Foundations of Information Technology in the Era of Networking and
Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
- {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {223},
pages = {461--473},
publisher = {Kluwer},
year = {2002},
url = {https://doi.org/10.1007/978-0-387-35608-2\_38},
doi = {10.1007/978-0-387-35608-2\_38},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/GuerraouiK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuerraouiKP03,
author = {Rachid Guerraoui and
Petr Kouznetsov and
Bastian Pochon},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {A Note on Set Agreement with Omission Failures},
booktitle = {4th Workshop on GEometry and Topology in COncurrency and distributed
systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
France, October 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {81},
pages = {48--58},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80835-1},
doi = {10.1016/S1571-0661(04)80835-1},
timestamp = {Wed, 07 Dec 2022 09:37:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuerraouiKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/EugsterGHKK01,
author = {Patrick Th. Eugster and
Rachid Guerraoui and
Sidath B. Handurukande and
Petr Kouznetsov and
Anne{-}Marie Kermarrec},
title = {Lightweight Probabilistic Broadcast},
booktitle = {2001 International Conference on Dependable Systems and Networks {(DSN}
2001) (formerly: FTCS), 1-4 July 2001, G{\"{o}}teborg, Sweden,
Proceedings},
pages = {443--452},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DSN.2001.941428},
doi = {10.1109/DSN.2001.941428},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/EugsterGHKK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/KouznetsovGHK01,
author = {Petr Kouznetsov and
Rachid Guerraoui and
Sidath B. Handurukande and
Anne{-}Marie Kermarrec},
title = {Reducing Noise in Gossip-Based Reliable Broadcast},
booktitle = {20th Symposium on Reliable Distributed Systems {(SRDS} 2001), 28-31
October 2001, New Orleans, LA, {USA}},
pages = {186--189},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/RELDIS.2001.969775},
doi = {10.1109/RELDIS.2001.969775},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/KouznetsovGHK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
