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.

 

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

A Program Logic for Verifying Secure Routing Protocols., , , , , и . FORTE, том 8461 из Lecture Notes in Computer Science, стр. 117-132. Springer, (2014)Performance Modeling of MapReduce Jobs in Heterogeneous Cloud Environments., , и . IEEE CLOUD, стр. 839-846. IEEE Computer Society, (2013)Complex Queries in DHT-based Peer-to-Peer Networks., , , , , и . IPTPS, том 2429 из Lecture Notes in Computer Science, стр. 242-259. Springer, (2002)The Case for a Hybrid P2P Search Infrastructure., , , и . IPTPS, том 3279 из Lecture Notes in Computer Science, стр. 141-150. Springer, (2004)NetEgg: A Scenario-Based Programming Toolkit for SDN Policies., , , , , , и . IEEE/ACM Trans. Netw., 26 (5): 2104-2117 (2018)Declarative Reconfigurable Trust Management., , , , и . CIDR, www.cidrdb.org, (2009)FDP: A Teaching and Demonstration Platform for Networking., , , , и . SIGCSE, стр. 1376. ACM, (2021)Automatic Repair for Network Programs., , , и . TACAS (2), том 13244 из Lecture Notes in Computer Science, стр. 353-372. Springer, (2022)FDP: a teaching and demo platform for SDN., , , , и . CoNEXT, стр. 524-525. ACM, (2020)Having your cake and eating it too: routing security with privacy protections., , , , и . HotNets, стр. 15. ACM, (2011)