Wenchao Zhou

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Limin Jia 0001

> Home > Persons > Wenchao Zhou

Publications

2018
[j14]
- view
  - electronic edition @ computer.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/debu/Chen0LWHJLZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/debu/Chen0LWHJLZ17
Ang Chen, Chen Chen, Lay Kuan Loh, Yang Wu, Andreas Haeberlen, Limin Jia, Boon Thau Loo, Wenchao Zhou:
Data Center Diagnostics with Network Provenance. IEEE Data Eng. Bull. 41(1): 74-85 (2018)
2017
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/ChenLLAJLZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/ChenLLAJLZ17
Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou:
Distributed Provenance Compression. SIGMOD Conference 2017: 203-218
2015
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChenJXLZL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChenJXLZL15
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo:
A Program Logic for Verifying Secure Routing Protocols. Log. Methods Comput. Sci. 11(4) (2015)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/ChenLJZL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/ChenLJZL15
Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo:
Automated verification of safety properties of declarative networking programs. PPDP 2015: 79-90
2014
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/ChenJXLZL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/ChenJXLZL14
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo:
A Program Logic for Verifying Secure Routing Protocols. FORTE 2014: 117-132
[c25]
- view
  - electronic edition @ usenix.org
  - no references & citations available
- export record
  dblp key:
  - conf/ons/ChenJZL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ons/ChenJZL14
Chen Chen, Limin Jia, Wenchao Zhou, Boon Thau Loo:
Proof-based Verification of Software Defined Networks. ONS 2014
2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ton/WangJZRLRNST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ton/WangJZRLRNST12
Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. 20(6): 1814-1827 (2012)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icnp/ChenJLZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icnp/ChenJLZ12
Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou:
Reduction-based security analysis of Internet routing protocols. ICNP 2012: 1-6
2011
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/RenZWJGLR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/RenZWJGLR11
Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford:
FSR: formal analysis and implementation toolkit for safe inter-domain routing. SIGCOMM 2011: 440-441

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.