From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Deciding Probabilistic Program Equivalence in NetKAT., , , , , и . CoRR, (2017)Formal Foundations for Networking (Dagstuhl Seminar 15071)., , , и . Dagstuhl Reports, 5 (2): 44-63 (2015)Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency., , , , , и . CoRR, (2014)NetChain: Scale-Free Sub-RTT Coordination (Extended Version)., , , , , , , и . CoRR, (2018)Tutorial: Practical verification of network programs., , , и . FMCAD, стр. 9-10. IEEE, (2013)Abstractions for software-defined networks., , и . Commun. ACM, 57 (10): 86-95 (2014)Specifying and Verifying the Correctness of Dynamic Software Updates., , , , и . VSTTE, том 7152 из Lecture Notes in Computer Science, стр. 278-293. Springer, (2012)The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis., , , , , , , и . SIGMOD Conference, стр. 1311-1326. ACM, (2015)Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing., , , , , и . CoRR, (2016)Formal Abstractions for Packet Scheduling., , , , и . CoRR, (2022)