25
Publications
932
Citations
16
H-Index
1999
Active since
Petr Kuznetsov is an author at Télécom Paris specializing in computer science, engineering, and formal verification.
Top concepts
EngineeringComputer ScienceFormal VerificationFormal MethodsParallel ComputingSystems EngineeringDistributed SystemsParallel ProgrammingCloud ComputingSystem Software
Publications per year
1999–2022
25
25
A distributed and robust SDN control plane for transactional network updates
Marco Canini, Petr Kuznetsov, Dan Levin et al. · 2015 · 113 citations
Engineering, Network Operation, Software-defined Networking +14
Hagit Attiya, Rachid Guerraoui, Danny Hendler et al. · ACM SIGPLAN Notices · 2011 · 97 citations · Full text
Zeno: eventually consistent Byzantine-fault tolerance
Atul Singh, Pedro Fonseca, Petr Kuznetsov et al. · 2009 · 81 citations
The Consensus Number of a Cryptocurrency
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti et al. · 2019 · 74 citations · Full text
Blockchain Consensus Protocol, Engineering, Information Security +14
Rows per page
1–5 of 25