( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Recent Advances in Declarative Networking.

, , , , , , , и . PADL, том 7149 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2012)

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.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Paul Wang

Lien Wang

Scheifoo Wang

 

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

Automating SDN Composition: A Database Perspective., и . SOSR, стр. 203-204. ACM, (2017)Reflections on Data Integration for SDN., , и . SDN-NFV@CODASPY, стр. 65-68. ACM, (2017)A Logical Approach to Representing and Reasoning About Interdomain Routing Policies., и . Datalog, том 2368 из CEUR Workshop Proceedings, стр. 68-79. CEUR-WS.org, (2019)Ravel: A Database-Defined Network., , , , и . SOSR, стр. 5. ACM, (2016)Formally Verifiable Networking., , , , , и . HotNets, ACM SIGCOMM, (2009)Declarative Network Verification., , , и . PADL, том 5418 из Lecture Notes in Computer Science, стр. 61-75. Springer, (2009)Access control for a database-defined network., и . Sarnoff Symposium, стр. 1-2. IEEE, (2016)Verifying Java Programs By Theorem Prover HOL., , , и . COMPSAC (1), стр. 139-142. IEEE Computer Society, (2006)Structural Semantics Management: an Application of the Chase in Networking., , , и . MASCOTS, стр. 1-4. IEEE, (2023)A Network Use for Incomplete Knowledge Management., и . CIDR, www.cidrdb.org, (2022)