Concepedia

Petr Kuznetsov

PK

Statistics

Publications

25

Citations

932

H-Index

16

Active since

1999

Affiliations

Télécom Paris(Current)

Technische Universität Berlin

École Polytechnique Fédérale de Lausanne

Laboratoire Traitement et Communication de l’Information

Deutsche Telekom (United Kingdom)

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

Publications

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

Engineering, Computer Architecture, Law +17

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

In-Band Synchronization for Distributed SDN Control Planes

Liron Schiff, Stefan Schmid, Petr Kuznetsov · ACM SIGCOMM Computer Communication Review · 2016 · 73 citations

Engineering, Network Operation, Networked Control +17

Rows per page

1–5 of 25