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.

 

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

NetEgg: A Scenario-Based Programming Toolkit for SDN Policies., , , , , , и . IEEE/ACM Trans. Netw., 26 (5): 2104-2117 (2018)Automatic Repair for Network Programs., , , и . TACAS (2), том 13244 из Lecture Notes in Computer Science, стр. 353-372. Springer, (2022)A Program Logic for Verifying Secure Routing Protocols., , , , , и . FORTE, том 8461 из Lecture Notes in Computer Science, стр. 117-132. Springer, (2014)The Case for a Hybrid P2P Search Infrastructure., , , и . IPTPS, том 3279 из Lecture Notes in Computer Science, стр. 141-150. Springer, (2004)Complex Queries in DHT-based Peer-to-Peer Networks., , , , , и . IPTPS, том 2429 из Lecture Notes in Computer Science, стр. 242-259. Springer, (2002)Declarative Reconfigurable Trust Management., , , , и . CIDR, www.cidrdb.org, (2009)FDP: A Teaching and Demonstration Platform for Networking., , , , и . SIGCSE, стр. 1376. ACM, (2021)FDP: a teaching and demo platform for SDN., , , , и . CoNEXT, стр. 524-525. ACM, (2020)Templating Shuffles., , , , и . CIDR, www.cidrdb.org, (2023)Secure network provenance., , , , , и . SOSP, стр. 295-310. ACM, (2011)