Wenchao Zhou und Limin Jia - Info zur Person

(1 - 8 von 8

)

Limin Jia's Pubulications - Andrew.cmu.edu - Carnegie Mellon University

www.andrew.cmu.edu

Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, and Boon Thau Loo. In Proceedings of the 17th International Symposium on Principles and Practice of ...

Limin's Homepage

www.andrew.cmu.edu

Recent publications (full list). Distributed Provenance Compression. Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Limin Jia, Boon Loo and Wenchao Zhou.

[ ] A Program Logic for Verifying Secure Routing Protocols

arxiv.org

... Limin Jia (Carnegie Mellon University), Hao Xu (University of Pennsylvania), Cheng Luo (University of Pennsylvania), Wenchao Zhou (Georgetown University) ...

LNCS Formal Techniques for Distributed Objects, Components,...

ifip.hal.science

Citation. Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, et al.. A Program Logic for Verifying Secure Routing Protocols. 34th Formal Techniques for ...

CiteSeerX — A formal framework for secure routing protocols

citeseerx.ist.psu.edu

author = {Chen Chen and Limin Jia and Hao Xu and Cheng Luo and Wenchao Zhou and Boon Thau Loo}, title = {A formal framework for secure routing ...

Accepted papers « SIGMOD/PODS 2017

sigmod2017.org

QFix: Diagnosing errors through query histories. Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo and Wenchao Zhou.

NSF Award Search: Award # NGNI-Small: Declarative Secure...

www.nsf.gov

Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J.T. Gurney, Boon Thau Loo, and Jennifer Rexford.. "FSR: Formal Analysis and ...

SIGMOD accepted papers « SIGMOD/PODS 2017

sigmod2017.org

Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Limin Jia, Boon Loo and Wenchao Zhou. DAG Reduction: Fast Answering Reachability Queries Junfeng Zhou ...

Alle Infos zum Namen "Wenchao Zhou"

Verwandte Suchanfragen zu Wenchao Zhou

Personen
Vorname "Wenchao" (15)
Name "Zhou" (1156)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wenchao Zhou und Limin Jia Person-Info