Author of the publication

Datalog and emerging applications: an interactive tutorial.

, , and . SIGMOD Conference, page 1213-1216. ACM, (2011)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

NetEgg: A Scenario-Based Programming Toolkit for SDN Policies., , , , , , and . IEEE/ACM Trans. Netw., 26 (5): 2104-2117 (2018)A Program Logic for Verifying Secure Routing Protocols., , , , , and . FORTE, volume 8461 of Lecture Notes in Computer Science, page 117-132. Springer, (2014)Performance Modeling of MapReduce Jobs in Heterogeneous Cloud Environments., , and . IEEE CLOUD, page 839-846. IEEE Computer Society, (2013)Complex Queries in DHT-based Peer-to-Peer Networks., , , , , and . IPTPS, volume 2429 of Lecture Notes in Computer Science, page 242-259. Springer, (2002)The Case for a Hybrid P2P Search Infrastructure., , , and . IPTPS, volume 3279 of Lecture Notes in Computer Science, page 141-150. Springer, (2004)FDP: a teaching and demo platform for SDN., , , , and . CoNEXT, page 524-525. ACM, (2020)Declarative Reconfigurable Trust Management., , , , and . CIDR, www.cidrdb.org, (2009)FDP: A Teaching and Demonstration Platform for Networking., , , , and . SIGCSE, page 1376. ACM, (2021)Automatic Repair for Network Programs., , , and . TACAS (2), volume 13244 of Lecture Notes in Computer Science, page 353-372. Springer, (2022)A3: An Extensible Platform for Application-Aware Anonymity., , , , , and . NDSS, The Internet Society, (2010)